TypEr: A Type Annotator of Erlang Code Tobias Lindahl and Kostis Sagonas Dept of Information Technology Uppsala University Tobias Lindahl: TypEr: A Type Annotator of Erlang Code. Erlang Workshop 2005 Background to this work Erlang is dynamically typed and type safe. It possible to infer types for variables based on their usage. • Example: The arguments to addition must be numbers or else the call
Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interface which can assist the programmer in writing the program. Agda is a proof assistant. It is an interactive system for wr
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
