2015-05-01から1ヶ月間の記事一覧

Haskellの遅延評価についてメモ

以前から考えていたことを吐き出したのでメモしておく。 あとで検証してまとめたい。 実用上知っておくべき部分はもっと少なくていいはずだし、そちらも出来るならまとめたい。 window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(…

宣言的とは、宣言とは

「宣言的」というあやふやな言葉にもう少しまともな定義はつけられないかという試み。 宣言とはInvariantであるとして、対象のシステムを明示した方がいいのでは、という話。 参考link: https://existentialtype.wordpress.com/2013/07/18/what-if-anything-…