JavaとScalaとC#のジェネリクス機能比較表 - Onion開発しつつ、PEGEXを開発する日記
JavaとScalaとC#のジェネリクスは、いずれも継承を持ったオブジェクト指向言語においてParametric Polymorphismを実現するための手段であり、それぞれ異なった特性を持っている。というわけで、それぞれの言語においてジェネリクスがどのようにサポートされているかを比較した表を用意してみた。後で気が向いたら、各項目の説明を追加するかも。 Java(5.0以降) Scala C#(4.0) ジェネリックなクラス ○ ○ ○ ジェネリックなメソッド ○ ○ ○ 型パラメータの上限 ○ ○ ○ 型パラメータの下限 × ○ × 型パラメータの推論 ○ ○ ○ 全ての型のサブタイプ(ScalaにおけるNothing) × ○ × definition-site variance × ○ ○ use-site variance ○(Wildcard) ○(Existential Typ
Formal type theory, autumn 2009
582655: Formal Type Theory (4 cr), autumn 2009 News 2010-05-18 The Spring 2010 Coq project assignment and its sample solution are now available. 2010-04-08 The questions and sample solutions to the March 26th separate exam are now available. 2010-01-10 The results are in. See the final version of the checklist for details of the exercise points. Those who failed, or wish to raise their grade, can
Type Inference in Context
Adam Gundry, Conor McBride and James McKinna We consider the problems of first-order unification and type inference from a very general perspective on problem-solving, namely that of information increase in the problem context. This leads to a powerful technique for implementing type inference algorithms. We describe a unification algorithm and illustrate the technique by applying it to the famili
IU Webmaster redirect
The contents you are looking for have moved. You will be redirected to the new location automatically. Please bookmark the correct page at http://homes.soic.indiana.edu/jsiek/
多相関数と部分型と value restriction - skymountainの日記
http://d.hatena.ne.jp/eagletmt/20100716 を見ての感想ですが特に意味のあることを書いているわけではありません． 本来はコメント欄に書くべきことなのかもしれないですが，せっかく開設したのでこちらに書きます． あと別に疑問に答えるとかそんな大層なもんではないです．すいません． reference と subtyping 整数の型 Int と数字の型 Number の間には Int <: Number という部分型関係が成り立っているとすると，このとき Int ref <: Number ref という関係は成り立たない．逆に ref Number <: ref Int という関係も成り立たない． ref Int の値を ref Number の場所で使うことを考えればすぐわかることだけど， 実は ref Int は ref Int 自身とだけ部分型関係を持
SML# - ランク１多相性の理論
ランク１多相性を可能にした理論である． 内容に関するお断り：本ページの文責は，大堀淳にある．ここに示された見解や解釈等はSML＃開発チーム全体を代表するものでは必ずしもない．不正確な表現や見方の責は大堀淳にある． 論文の著作件に関するお断り：The documents made available in this page are the author's verisons of published articles. They are included here by the author as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by
Mark P Jones: Typing Haskell in Haskell
REVISED VERSION Last updated: Thanksgiving day, November 23, 2000 Abstract Haskell benefits from a sophisticated type system, but implementors, programmers, and researchers suffer because it has no formal description. To remedy this shortcoming, we present a Haskell program that implements a Haskell typechecker, thus providing a mathematically rigorous specification in a notation that is familiar
Typed Tagless-Final Interpretations: Introductory Course
The first course on typed tagless-final embeddings of domain-specific languages has been presented at the Spring School on Generic and Indexed Programming (SSGIP) <http://www.comlab.ox.ac.uk/projects/gip/school.html> at Wadham College, Oxford, UK on 22nd to 26th March 2010. This page collects the notes for the course in the form of the extensively commented Haskell and OCaml code. Lecture Notes In
Uniqueness Typing Simplified | Lambda the Ultimate
Uniqueness Typing Simplified, by Edsko de Vries, Rinus Plasmeijer, and David M. Abrahamson. We present a uniqueness type system that is simpler than both Clean’s uniqueness system and a system we proposed previously. The new type system is straightforward to implement and add to existing compilers, and can easily be extended with advanced features such as higher rank types and impredicativity. W
Type arithmetic - HaskellWiki
Type arithmetic (or type-level computation) are calculations on the type-level, often implemented in Haskell using functional dependencies to represent functions. A simple example of type-level computation are operations on Peano numbers: data Zero data Succ a class Add a b ab | a b -> ab, a ab -> b instance Add Zero b b instance (Add a b ab) => Add (Succ a) b (Succ ab) Many other representations
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
haskell-jp:585
Type checking polarity
型理論-4- | CiNii Research
型理論-3- | CiNii Research
型理論-2- | CiNii Research
型理論-1- | CiNii Research
http://web.yl.is.s.u-tokyo.ac.jp/~oiwa/lecture/ocaml/2001/misc/valuerestriction.pdf
Simon Peyton-Jones - Microsoft Research
Linear Types vs. Uniqueness Typing | Lambda the Ultimate
Generalized zipWithN