« Books | Main | Books »
Thursday
Sep012022

Haskell "done right"

DateThu 2022-09-01

There is a small portion of Java developers who dream about programming in Scala.
There is a sizable portion of Scala developers who dream about programming in Haskell.
All Haskell programmers want to program in Idris.

From IdrisTddNotes by Rober Peszek.

This tallies with my impression that Idris is Haskell "done right".

AuthorTristram Brelstaff | CommentPost a Comment |
in ,

Reader Comments

There are no comments for this journal entry. To create a new comment, use the form below.

PostPost a New Comment

Enter your information below to add a new comment.
Author Email (optional):
Author URL (optional):
Post:
 
All HTML will be escaped. Hyperlinks will be created for URLs automatically.

Notify me of follow-up comments via email.