News for hackers. Stuff that matters.

A comment on What I Want from a Type System (2016). Parent comment

Re:What I Want from a Type System (2016) by azhenley on Monday July 01, 2019 @01:07PM (#20327443)
I agree with your comment. GitHub does seem to be moving towards adding IDE-like features though: https://github.com/github/semantic
[ Parent | on HN ]

There are no comments on this comment yet.