Tasty » Adam Sampson's types bookmarks

C&C - Archives edit / delete

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 edit / delete

"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 edit / delete

to language-design reading-list teaching types ... on 22 January 2016

PEP 483 - The Theory of Type Hints | Python.org edit / delete

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 edit / delete

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

Clay Programming Language edit / delete

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

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

Epigram edit / delete

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