News for hackers. Stuff that matters.

A comment on Functional Programming in Lean – a book on using Lean 4 to write programs. Parent comment

Re:Functional Programming in Lean – a book on using Lean 4 t... by epgui on Sunday May 28, 2023 @11:12PM (#36110182)
Agda and Idris both also position themselves similarly.
[ Parent | on HN ]
Re:Functional Programming in Lean – a book on using Lean 4 t... by siknad on Monday May 29, 2023 @07:15AM (#36112835)
Lean4 is intended to be both, while Idris is more on the programming side and Agda - one the proof side. Maybe I'm mistaken about Idris, but Agda really doesn't prioritize programming: library handling, ffi, and tooling are all rudimentary.
[ Parent | on HN ]
Re:Functional Programming in Lean – a book on using Lean 4 t... by epgui on Monday May 29, 2023 @06:22PM (#36118799)
You may be right— My knowledge of these languages does not run very deep (although I am enthusiastic about them and am learning).
[ Parent | on HN ]