3 ms·
This article is intriguing, I liked the playful tone, particularly in light of the subject. I’m hoping the talk gets streamed to YouTube. This also makes me in
by throwaway17_17 4y ago
This article is intriguing, I liked the playful tone, particularly in light of the subject. I’m hoping the talk gets streamed to YouTube.
This also makes me interested in the formalization attempts I have heard are ongoing for TS’s type system. Anyone with good paper/videos on that development feel free to drop a link.
- rrishi 4y agoWhich article were you referring to? The link in the post goes to a GitHub repo.