契約機能による優れたデザインの関数型言語を探しています(できればファーストクラスですが、優れたライブラリでもかまいません)。これまでに見つけた最高のものはRacket http://racket-lang.org/ですが、探しています。 JVMまたはCLRのいずれかで何かを実行します。
契約機能による優れたデザインの関数型言語を探しています(できればファーストクラスですが、優れたライブラリでもかまいません)。これまでに見つけた最高のものはRacket http://racket-lang.org/ですが、探しています。 JVMまたはCLRのいずれかで何かを実行します。