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 empath75 on Monday July 01, 2019 @06:43AM (#20324080)
Use an IDE
[ Parent | on HN ]
Re:What I Want from a Type System (2016) by wereHamster on Monday July 01, 2019 @07:24AM (#20324279)
I'm not always using an IDE when looking at code. Sometimes I read code directly on GitHub, or repl.it, or codesandbox, or ….
[ Parent | on HN ]
Re:What I Want from a Type System (2016) by Waterluvian on Monday July 01, 2019 @07:49AM (#20324395)
Maybe those can evolve further too.

I've always appreciated the advantages of code being legible as plain text files. But maybe it is just a little absurd when language design is shaped to fit the desire not to evolve the storage format and editing interface.

[ Parent | on HN ]
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 ]