News for hackers. Stuff that matters.

A comment on Type inference has usability problems. Parent comment

Re:Type inference has usability problems by mrgriffin on Friday June 28, 2019 @10:23AM (#20304559)
Not OP, but my understanding is that it's a common approach in Idris. Here's the creator of the language deriving the implementation of zipWith without writing any code: https://www.youtube.com/watch?v=X36ye-1x_HQ&t=1274

Some other examples include:

- Haskell: https://hackage.haskell.org/package/ghc-justdoit

- Scala: https://github.com/TypeChecked/alphabet-soup

- Agda: https://youtu.be/3U3lV5VPmOU?t=3159

I was under the impression that justDoIt comes from Scala, but I can't find a reference for that.

[ Parent | on HN ]

There are no comments on this comment yet.