search

devtut / generate

Generate contents for DevTut
https://devtut.github.io/
195 stars 341 forks source link

Records are product types #28

Open ubavic opened 2 years ago

ubavic commented 2 years ago

On the page Record Syntax, records are described as a generalization of sum types:

Records are an extension of sum algebraic data type that allow fields to be named:

This is obviously wrong. It can confuse beginners, so I think that it should be fixed.

imranpollob commented 2 years ago

Cloud you please try to fix it and throw a pr?