副作用を極力排除しようとするfunctionalな方向性の言語においては、GUIのような副作用の塊は扱えないという直観を持っている人も多いことでしょう。確かにfunctionalな言語でunit型を返す関数ばかり扱っていると、"普通に手続きを書いているのと何が違うの…

Changesだけぱっと見ても分かりづらいので、OCaml Version 3.12で採用予定の一級市民的モジュールの文法だけさらしておきます。 # module type Seq = sig type 'a t val of_list : 'a list -> 'a t val map : ('a -> 'b) -> 'a t -> 'b t end;; module type …

毎年恒例のPPLに参加。e-mobileがまさかの圏外で仕事的にやや不都合だったけど、今年も色々な話が聞けて面白かったです。運営してくださった皆様、ありがとうございました。とりあえず感想がかけそうなものだけ書いておきます。 Towards Formal Construction…