RLX: a cross-platform graphical roguelike engine
Welcome to the RLX project page. RLX is a next-generation roguelike game engine currently being ported to Common Lisp. http://dto.github.com/notebook/invader.html – Invader Tactics home page (game using RLX) http://dto.github.com/notebook/blast.html – Blast Tactics homepage (another RLX demo) http://github.com/dto/rlx/tree/master/INSTALL – QUICK START INSTALL GUIDE http://dto.github.com/notebook/r
コンパイルは(テストではなく)証明である - あどけない話
「プログラムのテストはバグの存在を示すことにかけてはとても効率的な方法ですが、バグの不在を示すことにかけては絶望的なほどに不適切です。プログラムの信頼性を顕著に向上させる唯一の方法は、その正当性に対して説得力のある証明を与えることです」 -- Edsger W. Dijkstra 静的型付き言語では、コンパイル時に型が検査される。この型検査に関連して型推論という機能を持つ言語がある。型推論は、大きく分けて2つの意味で使われているようだ。 命令型言語の多くに見られる型推論：型検査の過程で、省略された型を補うこと 関数型言語の多くに見られる型推論：未知の型を変数として方程式を立て、方程式を解いて未知の型を求めること。型推論自体が型検査の役割を果たす この記事では、後者の型推論を話題にする。 静的型付き関数型言語の利点として、よく「コンパイルはテストである」という説明がなされる。プログラムは式で
lambda prolog - Google 検索
λProlog, also written lambda Prolog, is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming.
Prolog で型チェック：Rainy Day Codings：So-net blog
Prolog の力といえば単一化ですが、[1] の記事でやったような型チェックの場合も、同じ型であるかどうかの判断というのは単一化でうまく書けそうです。 型チェックのところだけ書きたいので構文木は適当に与えられているものとします。 整数と真偽値と条件分岐と変数束縛とラムダから成る簡単な言語を想定して Prolog で型チェックを行ってみます。 type_of(Num, _, number) :- number(Num). type_of(true, _, bool). type_of(false, _, bool). type_of(if(Cond, True, False), Env, T) :- type_of(Cond, Env, bool), type_of(True, Env, T), type_of(False, Env, T). type_of(let(Sym, Val, B
Efficient and Insightful Generalization
How OCaml type checker works -- or what polymorphism and garbage collection have in common There is more to Hindley-Milner type inference than the Algorithm W. In 1988, Didier Rémy was looking to speed up the type inference in Caml and discovered an elegant method of type generalization. Not only it is fast, avoiding scanning the type environment. It smoothly extends to catching of locally-declare
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - MateVM/MateVM: A Java JIT compiler written in Haskell
Is there industry demand for PhD's in math/statistics/CS theory?
「ITmedia News スマート」更新終了のお知らせ - ITmedia ニュース
How OCaml type checker works -- or what polymorphism and garbage collection have in common | Lambda the Ultimate