Conversation

ShriramKrishnamurthi
@ShriramKMurthi
Uh, no. Schools of informatics are a reaction to (and expensive, constructive evidence of) the closedness of computer science departments.
Quote Tweet
julesh
@_julesh_
·
Mathematics is culturally "closed world" - there is a fixed-for-all-time list of things that "count" as mathematics. Computer science is culturally "open world" - you can invent something totally new that has never been seen before, and probably be welcome in cs departments
Show this thread
12
89
deech
@deech
Im still shocked by how even academia ignores ATS and Shen. Tbf the latter does his best to antagonize academics but even so ...
4
10
ShriramKrishnamurthi
@ShriramKMurthi
ATS is Hongwei Xi's, right? Not sure why that's ignored, he's literally a prof! I've tried to look at it but it feels like in part I'm seeing the limitations of ASCII syntax, and there seem to be several other languages that do similar things. »
2
deech
@deech
I see a few langs with linear types, refinement types, dependent types, ad-hoc proofs and streaming semantics but none that bring it all together and are this dedicated to C. Also "seeing the limitations of ASCII syntax" is a <chefs-kiss> way of phrasing it.
1
6
deech
@deech
AFAIK Xanadu is the latest and greatest ATS. There was some activity with Temptory but he appears to be backporting those features to Xanadu.
2