A float walks into a gradual type system(ruudvanasseldonk.com)20 points by ruuda 1 year ago | 3 comments
A type system for RCL, part 2: The type system(ruudvanasseldonk.com)23 points by todsacerdoti 2 years ago | 5 comments
A reasonable configuration language(ruudvanasseldonk.com)112 points by todsacerdoti 2 years ago | 65 comments