This paper proposes a new conceptual framework of a liberal social order, which emphasizes the freedom of action in social interaction and the freedom of participation in social rule-making process. Our articulation of public decision-making process can be interpreted as a formal way of capturing the essence of constitutional democracy, which is an impure mixture of constructivist rationalism a...

Over seven years, we have developed several network protocol libraries including anti-spam, DNS, HTTP/1.1, HTTP/2 and TLS 1.3 in Haskell. Based on these experiences, we regard Haskell as a safe and highly-concurrent network programming language thanks to its strong type system and lightweight threads (i.e. green threads). This paper describes advantages and disadvantages of Haskell and reports ...

Pawns is a programming language under development that supports algebraic data types, polymorphism, higher order functions and “pure” declarative programming. It also supports impure imperative features including destructive update of shared data structures via pointers, allowing significantly increased efficiency for some operations. A novelty of Pawns is that all impure “effects” must be made...

Distributed Fault Tolerance entails detecting errors, confining the damage caused, recovery from the errors, and providing continued service on a network of co-operating machines. Functional languages potentially offer benefits for distributed fault tolerance: many computations are pure, and hence have no side-effects to be reversed during error recovery. Moreover functional languages have a hi...

We have systematically investigated the low-temperature electron dephasing times τ φ in more than 40 three-dimensional polycrystalline impure metals with distinct material characteristics. In all cases, a saturation of the dephasing time is observed below about a (few) degree(s) Kelvin, depending on samples. The value of the saturated dephasing time τ 0 [≡ τ φ (T → 0 K)] falls basically in the ...

The logi /fun tional language Mer ury allows the programmer to annotate predi ates and fun tions to mark impure predi ates, allowing impure ode to be safely integrated into a de larative language. By using purity de larations with the foreign language interfa e, programmers an take advantage of many of the features of a high level programming language while writing imperative ode to interfa e w...