2015-05-13 宣言的とは、宣言とは 「宣言的」というあやふやな言葉にもう少しまともな定義はつけられないかという試み。 宣言とはInvariantであるとして、対象のシステムを明示した方がいいのでは、という話。 参考link: https://existentialtype.wordpress.com/2013/07/18/what-if-anything-is-a-declarative-language/ https://existentialtype.wordpress.com/2013/07/22/there-is-such-a-thing-as-a-declarative-language/ http://cx4a.org/posts/2014-11-17-about-declarative.html http://d.hatena.ne.jp/sh-2/20091006/1254847253