[tempodox]

semantics ... based on Haskell while using eager evaluation is kind of a contradiction in terms. The difference between eager and lazy evaluation is rather large.

[xixixao]

Definitely. Type classes are the semantic part of Shem taken from Haskell. Perhaps that is not the best summary, it's the type system that is the most obvious connection between Shem and Haskell.

[chc4]

Rust also has Haskell's typeclasses in the form of its traits. I don't think anyone would go around claiming it's "Haskell based".

When I think Haskell, I think lazy evaluation and only providing purely functional type patternmatching predicates.