User:Ruud Koot: Difference between revisions
Content added Content deleted
No edit summary |
No edit summary |
||
Line 13: | Line 13: | ||
{{mylang|Mathematica|some}} |
{{mylang|Mathematica|some}} |
||
{{mylangend}} |
{{mylangend}} |
||
== Todo == |
|||
* [[Ad-hoc polymorphism]] ([[function overloading]]) |
|||
* [[Parametric polymorphism]] |
|||
* [[Subtype polymorphism]] ([[inclusion polymorphism]], [[subtyping]]) |
Revision as of 16:47, 21 April 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 |