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