Hacker News Reader

I stopped reading when they cried in joy at the ability to auto infer types instead of writing them. This has always led, in my limited experience, to unreadable code after 2 weeks.

Why do people want to write short leetcode, Ill never get it.

View on HN

Part of the cool bit about Unison is that the code is stored in a content-addressed database and is then rendered out to files to edit at your command (including with your own set of custom names for things, I think). I imagine that Unison would allow you to work on code that has entirely specified types while perhaps a coworker of yours let them all be inferred, without irritation to either of you.

Yeah, Unison doesn’t just infer the types, it will add type signatures automatically to top-level definitions.

Reply on news.ycombinator.com