|
|
|
|
|
|
by mgreenbe
6127 days ago
|
|
|
Or any of the other soft/partial/gradual typing work that's been ongoing since the 80s. Check out Jeremy Siek's papers on gradual typing for some of the latest. Also Tobin-Hochstadt and Felleisen's work on Typed Scheme. On the one hand, this is ridiculous. On the other hand, I'm happy to see people outside of PL thinking about programming languages. There are a number of texts that can help a novice learn more about the topic, with Pierce's Types and Programming Languages being the foremost. |
|
|