ProofSummit2017とML勉強会#2に参加してきました。 とりあえず二日連続はつらいものがあった。 個々の感想 SML#の話は良かった。言語や処理系の機能が列挙されていると個人的に楽しい。そういう意味ではATSも楽しいんだけど、機能(のアップデート)が少なかっ…

8/25,26でなにやらイベントが連続していたので行ってきました。 ProofSummit2013 OCamlMeeting2013 なごやまつり 後続のせいでかなり地味な印象になってしまったけど(^^、聴いて意味があったのは前半。 OCamlSummit 期待していた Generic Pretty Printer は…

流石に二日連続はきついな. テンション高いうちに書いとこう.とりあえずリアルで遭遇したはてなーにご挨拶 List.map (fun id->(string_of_id id)^"さんお疲れ様でした.") [ id:finalfusion ; id:mzp ] 注)短くしません Code Golf とりあえずプロゴルファーの…