「関数型言語」に関するFAQ形式の一般的説明likers
- N. Tabuchi@ntabee
おとなのじじょうで組み合せ最適化の solver を書いています
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- 渡邊 裕貴@magicant
大学(院)では型システムについて研究してゐました。 長らくスマートフォン用電子書籍ビューアーを作る仕事をしてゐました。 最近はとあるスマートフォン用漫画配信サービスに携わってゐます。 趣味では yash といふコマンドラインシェルを作ってゐます。
- @piotzkhider
4月から勉強しはじめた初心者
- @zoetro
YAMLエンジニア
- @heignamerican
なんかメモるよ
37 / 37