未来では全てのプログラミング言語が1つになる？ : ギズモード・ジャパン これ読んでwyvern調べてみたけどJVM言語ですごいがっかりした。wyvernlang/wyvern そういえば昨日LLDiverっていう軽量言語のイベントに出て喋ったりしてたんだけど、大統一言語ってどうよ？って話があって、まあ現時点じゃよくわかんないよねって感じだった。 「俺が考えた最強の言語」 以下、自分の理想です。現実は甘くないのはわかってる。妄想なのでマジレスは控えるように。 内部表現はLispのS式で、文法拡張マクロを持つ 意味的論型システムと、機械的なバッファサイズとしての型システムは分離 定理証明とか型理論とかは隔離しないと永遠に(議論もコンパイル時間も)終わらない気がする 推論器とかどうするんだって気はするが… ATS言語とかそうなんだっけ？ 最適化レベル/ランタイム方式/意味論的型システム/文法マ
