サクサク読めて、アプリ限定の機能も多数!
Cyan言語のダイナミックさを危険としている。確かに型チェックとか静的なチェックは困難だろうな。一方、CyanをVMだと考えれば、ソースコードを生成するSSAな言語のコンパイラをかぶせることは可能だろうな。
kgbu のブックマーク 2008/12/08 09:30
はてなブログ | 無料ブログを作成しよう[型理論][lambda][programming-functional][programming language][あとで読む][ssa][interpreter][compiler][あるある][いまさら訊けない]Cyan言語のダイナミックさを危険としている。確かに型チェックとか静的なチェックは困難だろうな。一方、CyanをVMだと考えれば、ソースコードを生成するSSAな言語のコンパイラをかぶせることは可能だろうな。2008/12/08 09:30
このブックマークにはスターがありません。 最初のスターをつけてみよう!
hatena.blog2008/12/08
【読書感想】論理的思考とは何か ☆☆☆☆ 論理的思考とは何か (岩波新書 新赤版 2036)作者:渡邉 雅子岩波書店Amazon Kindle版もあります。論理的思考とは何か (岩波新書)作者:渡邉 雅子岩波書店Amazon 論理的思考法...
10 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
Cyan言語のダイナミックさを危険としている。確かに型チェックとか静的なチェックは困難だろうな。一方、CyanをVMだと考えれば、ソースコードを生成するSSAな言語のコンパイラをかぶせることは可能だろうな。
kgbu のブックマーク 2008/12/08 09:30
このブックマークにはスターがありません。
最初のスターをつけてみよう!
はてなブログ | 無料ブログを作成しよう
hatena.blog2008/12/08
【読書感想】論理的思考とは何か ☆☆☆☆ 論理的思考とは何か (岩波新書 新赤版 2036)作者:渡邉 雅子岩波書店Amazon Kindle版もあります。論理的思考とは何か (岩波新書)作者:渡邉 雅子岩波書店Amazon 論理的思考法...
10 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /