エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
未来の大統一言語を妄想する - mizchi's blog
記事へのコメント8件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
未来の大統一言語を妄想する - mizchi's blog
未来では全てのプログラミング言語が1つになる? : ギズモード・ジャパン これ読んでwyvern調べてみたけ... 未来では全てのプログラミング言語が1つになる? : ギズモード・ジャパン これ読んでwyvern調べてみたけどJVM言語ですごいがっかりした。wyvernlang/wyvern そういえば昨日LLDiverっていう軽量言語のイベントに出て喋ったりしてたんだけど、大統一言語ってどうよ?って話があって、まあ現時点じゃよくわかんないよねって感じだった。 「俺が考えた最強の言語」 以下、自分の理想です。現実は甘くないのはわかってる。妄想なのでマジレスは控えるように。 内部表現はLispのS式で、文法拡張マクロを持つ 意味的論型システムと、機械的なバッファサイズとしての型システムは分離 定理証明とか型理論とかは隔離しないと永遠に(議論もコンパイル時間も)終わらない気がする 推論器とかどうするんだって気はするが… ATS言語とかそうなんだっけ? 最適化レベル/ランタイム方式/意味論的型システム/文法マ