Zulip Chat Archive

Stream: new members

Topic: difference between Haskell and Lean


vxctyxeha (Apr 16 2025 at 04:11):

what s the difference between haskell and lean

Notification Bot (Apr 16 2025 at 05:46):

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

Ruben Van de Velde (Apr 16 2025 at 05:46):

They're different languages

Aaron Liu (Apr 16 2025 at 11:07):

For example, Lean has dependent types.

Martin Dvořák (Apr 17 2025 at 09:33):

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 (Apr 18 2025 at 00:02):

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

Michael Rothgang (Apr 18 2025 at 07:38):

(deleted)


Last updated: May 02 2025 at 03:31 UTC