アカウント名:
パスワード:
CもJavaも知りませんが。Ocamlはどうでしょうか。これもよくしらないのですが、コーディング量は最小で実行性能もそこそこある。
しかし、いまだに仕様記述から自動プログラミングできるという言語できていないのかな？どの言語も言語そのものと山ほどあるライブラリーを覚えないといけないのでよほどのど根性がないてやってられない。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
アレゲはアレゲ以上のなにものでもなさげ -- アレゲ研究家
Ruby は後でよい、Lisp の方を (スコア:0)
Re: (スコア:0)
Ocamlはどうでしょうか。
これもよくしらないのですが、コーディング量は最小で実行性能もそこそこある。
しかし、いまだに仕様記述から自動プログラミングできるという言語できていないのかな？
どの言語も言語そのものと山ほどあるライブラリーを覚えないといけないので
よほどのど根性がないてやってられない。
Re:Ruby は後でよい、Lisp の方を (スコア:1)
Javaしか使っていませんが、OCamlとSacalaには興味があるんですよね。でも、いまだに手をつけていないのですが。
これはプログラミング言語ではなく仕様記述言語のことでしょうか。であれば、いくつか実用化されているようですが。たしかFelicaは本格的に仕様記述言語を導入したと、どこかで見た気がします。Felicaの場合はVDMをつかったとか。
私はフォーマルメソッドの専門家ではないので、VDMでの仕様記述でなにがどこまで生成されるかわかりませんが、組込系では徐々に導入されているようですね。
Webアプリとかは多分導入が難しいんだろうなぁ。