difference between Haskell and Lean

Stream: new members

[vxctyxeha]

what s the difference between haskell and lean

[Notification Bot]

This topic was moved here from #new members > irrducible by Ruben Van de Velde.

[Ruben Van de Velde]

They're different languages

[Aaron Liu]

For example, Lean has dependent types.

[Martin Dvořák]

They have similar syntax; however, be careful about the following:

Double colon :: denotes type in Haskell but head :: tail in Lean.
Single colon : denotes head : tail in Haskell but type in Lean.
Haskell uses = for declarations, whereäs Lean uses := for declarations.

Obviously, the Lean syntax is better!

[Tomas Skrivan]

Also a big difference is that Haskell is lazy and Lean is a strict language.

[Michael Rothgang]

(deleted)