« earlier | later » Page 1 of 1
Lots of interesting articles introducing aspects of programming language design. CMP409 students should have a flip through this.
to cmp409 language-design types ... on 24 October 2018
lukasmartinelli/py14: Python to C++ 14 transpiler
"C++14 has such powerful type deduction that it is possible to transpile Python into C++ without worrying about the missing type annotations in python. Only a small subset of Python is working"
to c++ compiler python translation type-inference types ... on 28 February 2016
Classic Papers in Programming Languages and Logic
to language-design reading-list teaching types ... on 22 January 2016
PEP 483 - The Theory of Type Hints | Python.org
A type-theoretic approach to Python -- good to see!
to language-design programming python type-theory types ... on 22 March 2015
Go's Declaration Syntax - The Go Blog
Discussion of Go's slightly unusual type declarations. I appreciate what they're trying to do -- but occam solved the same problem in the 1980s without having to write all the declarations backwards...
to go language-design syntax types ... on 23 November 2014
A modern C++-style language; uses Haskell-ish type inference techniques to allow reasonably pretty generic programming.
to c++ generics language-design type-inference types ... on 14 December 2013
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
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 | |
| 2 | c++ |
| 1 | cmp409 |
| 2 | compiler |
| 1 | concurrency |
| 1 | design |
| 1 | functional |
| 1 | generics |
| 1 | go |
| 1 | haskell |
| 1 | language |
| 6 | language-design |
| 1 | llvm |
| 2 | programming |
| 2 | python |
| 1 | reading-list |
| 2 | research |
| 1 | syntax |
| 1 | teaching |
| 1 | tock |
| 1 | translation |
| 2 | type-inference |
| 1 | type-theory |
| 9 | types |
tasty by Adam Sampson.