lucille development blog » Blog Archive » Introduction to type inference
JS 実装をしようかな、と思い立ち、 まずは型推論の知識をしっかり取得するところから初めようと考えています. そもそも、型推論とはなんぞや、というところからおさらいしてみます. 私が型推論について知りたいことの一番の目的は、 「型推論を行うことで動的言語の事前コンパイルを可能にしプログラムの実行を早くすることができるのではないか」, ということになりますので、それに特化した内容になっています. もちろん型推論には、プログラムを早くするという以外の目的もありますが、 ここではそれらは取り上げないことにします. 型推論(type inference)とは、簡単に言うと、 var muda = 7 というコードがあったら、 「変数 muda って Int 型(整数型)じゃね？」 とコンパイラがよろしく変数の型を決定してくれる(推測してくれる)機能になります. 静的な関数型言語(Ocam
lucille development blog » Blog Archive » Playing with Pure
http://pure-lang.sourceforge.net/ コンパイルが通ったのでちょっと遊んでみました. Pure 言語とはなんぞや Pure とは、和○○○○主演のドラマで,,, と 信頼関係のコントのネタに出てきそうですが、 そうではなくて、 項書換え(term rewriting)ベースの関数型言語です。 Pure 言語の開発者は、同じような特徴の言語として、 Q 言語をすでに開発していますが、 Pure 言語はそれの後継を目論んでいるようです. Pure 言語が Q 言語と異なるところは、 先進的な言語的特徴を取り入れているところと、 LLVM バックエンドの採用で高速に実行できるところです. (どんだけ高速に実行できるのかは不明) また LLVM バックエンドを採用していることで、 C 言語との親和性も高いです. とりあえず使ってみる pure 言
lucille development blog » Blog Archive » The Pure Programming Language
The Pure Programming Language http://pure-lang.sourceforge.net/ Pure is a functional programming language based on term rewriting. It has a modern syntax featuring curried function applications, lexical closures and equational definitions with pattern matching, and thus is somewhat similar to languages of the Haskell and ML variety. But Pure is also a very dynamic and reflective language, and is
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
