Clay and Clay - Two, safer languages for systems programming
a guest Aug 29th, 2016 1,396 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
- OK. There's been a few C alternatives showing up on Hacker News and Lobsters. I found two more with the same name, Clay, that each had interesting properties for systems programming. It wasn't immediately clear they were different languages with me losing time discovering that as I dug up info. Hence, me experimenting with a double submission via Pastebin making it extra clear to prevent others having similar trouble. To keep discussion on them easy to follow, I suggest just naming them after year they were made: Clay2008 for Wittie's and Clay2011 for Sreeram's.
- Clay - A type-safe, systems programming language (2008):
- Wittie's page both has the compiler prototype for Clay2008 and other interesting work including driver verification and assembly with GC:
- Clay2011 Programming Language Description:
- Clay2011 Github:
- Clay2011 author shows up in this Reddit to answer many questions about the language. I found the comments on generics-by-default and type propagation to be most interesting. Link:
- Nick P. (nickpsecurity)
RAW Paste Data