Goで本質的に並列な関数型言語つくった - Qiita 並列グラフ簡約 ってなんだ Concept | Cloe programming language 実行順序が不定らしい, DAGの族を評価するみたいな? fhe の一種?で Functional Encryption というのがあるらしい. なんのことだ? GC? Forget Homomorphic Encryption, Here Comes Functional Encryption – Kudelski Security Research watchlater 並列化をする言語を設計した博士論文 https://www.cs.cmu.edu/~guyb/papers/Ble90.pdf