News for hackers. Stuff that matters.

A comment on Idris: A Language for Type-Driven Development. Parent comment

Re:Idris: A Language for Type-Driven Development by ekidd on Friday January 20, 2023 @08:32PM (#34462815)
> Does that work in anything but boilerplate code?

It depends on the problem and the language.

The most impressive I've ever seen was implementing "call with current continuation" as a monad, given nothing but the type signature.

Generally, it works best in strongly-typed, functional languages.

[ Parent | on HN ]
Re:Idris: A Language for Type-Driven Development by still_grokking on Saturday January 21, 2023 @03:24AM (#34464846)
> The most impressive I've ever seen was implementing "call with current continuation" as a monad, given nothing but the type signature.

That sounds cool. Where to find this? I get only irrelevant search results.

[ Parent | on HN ]