User:Ruud Koot: Difference between revisions
Content added Content deleted
(bio) |
|||
| Line 1: | Line 1: | ||
| ⚫ | |||
{{mylangbegin}} |
{{mylangbegin}} |
||
{{mylang|x86 Assembly|some}} |
{{mylang|x86 Assembly|some}} |
||
| Line 13: | Line 11: | ||
{{mylang|Mathematica|some}} |
{{mylang|Mathematica|some}} |
||
{{mylangend}} |
{{mylangend}} |
||
I'm a [[wp:Computer science|computer scientist]] interested in [[wp:programming language theory|programming language theory]] (from [[wp:type theory|type theory]] to [[wp:compiler construction|compiler construction]]). I have experience with various mainstream ([[C++]], [[Java]], [[Python]]) and non-mainstream ([[Prolog]], [[CLIPS]], [[Mathematica]]) programming language, but my main interest lies in strongly-typed functional programming languages ([[Haskell]], [[ML]], [[Clean]]), dependently-typed languages ([[Agda]], [[Epigram]]) and proof assistants ([[Coq]], [[Isabelle]]), as well as low-level languages ([[assembly]], [[λ-calculus]]). |
|||
== Todo == |
== Todo == |
||
| Line 20: | Line 20: | ||
* [[Parametric polymorphism]] |
* [[Parametric polymorphism]] |
||
* [[Subtype polymorphism]] ([[inclusion polymorphism]], [[subtyping]]) |
* [[Subtype polymorphism]] ([[inclusion polymorphism]], [[subtyping]]) |
||
== External links == |
|||
| ⚫ | |||
Revision as of 02:57, 14 September 2011
| My Favorite Languages | |
| Language | Proficiency |
| x86 Assembly | some |
| C | yes |
| Java | yes |
| Python | some |
| Haskell | yes |
| Agda | learning |
| Coq | learning |
| Prolog | some |
| OBJ | to do |
| Mathematica | some |
I'm a computer scientist interested in programming language theory (from type theory to compiler construction). I have experience with various mainstream (C++, Java, Python) and non-mainstream (Prolog, CLIPS, Mathematica) programming language, but my main interest lies in strongly-typed functional programming languages (Haskell, ML, Clean), dependently-typed languages (Agda, Epigram) and proof assistants (Coq, Isabelle), as well as low-level languages (assembly, λ-calculus).
Todo
- Aliasing
- Ad-hoc polymorphism (function overloading)
- Bounded quantification
- Parametric polymorphism
- Subtype polymorphism (inclusion polymorphism, subtyping)