« earlier | later » Page 1 of 1
Things that amuse me edit / delete
Using the high-level LLVM bindings in Haskell to compile a typed language. This is awfully cute, but I'm not sure how you'd handle a language that let the user define their own datatypes -- you'd need a Haskell-type-level representation of source-level datatype names...
to compiler haskell llvm research tock types ... on 16 June 2009
Dependently-typed programming language with fun syntax. (Via MrTea.)
to functional language-design types ... on 15 June 2008
Sage: A Programming Language with Hybrid Type-Checking edit / delete
A functional language with a type system that lets you say things like "X is a balanced tree". Might be worth borrowing some ideas from for concurrency safety checks using a type system.
to concurrency design language programming research types ... on 07 June 2006
« earlier | later » Page 1 of 1
| - types | |
| 1 | + compiler |
| 1 | + concurrency |
| 1 | + design |
| 1 | + functional |
| 1 | + haskell |
| 1 | + language |
| 1 | + language-design |
| 1 | + llvm |
| 1 | + programming |
| 2 | + research |
| 1 | + tock |
tasty by Adam Sampson.