News for hackers. Stuff that matters.
Re:Unison – A statically-typed purely functional language by hota_mazi on Tuesday August 27, 2019 @12:11PM (#20811214)
When I read this:

    > If you look at what programmers spend their time doing when programming (other than thinking of course), it’s actually stuff like:
    >
    > - Adding imports to the code to be able to resolve names
    >
It makes me wonder whether the authors have used a modern IDE in the past ten years.

The video in this page is also showing nothing that hasn't existed for years in pretty much all IDE's under the sun.

Re:Unison – A statically-typed purely functional language by westoncb on Tuesday August 27, 2019 @12:56PM (#20811870)
If you skim it, it will look that way.

What the editor is tackling has some overlap with common IDE features, but it’s taking a deeper approach to addressing them.

You listed one item from a big list of tasks, but the more interesting thing is what’s written after the list about how unison addresses the items.

And before demeaning the creators it may be worth it to look into their background a bit and see if it’s more likely to you that they are unaware of modern IDEs or if it’s possible you haven’t fully grasped some of their ideas yet.

Re:Unison – A statically-typed purely functional language by hota_mazi on Tuesday August 27, 2019 @03:32PM (#20813582)
I am well aware of their background (I own their book) and this is precisely why I think they haven't used a lot of IDE's. Actually, these past years, I've heard a few times from one of them claiming that with a good language, one doesn't need an IDE.