amuletml/amulet

Record types?

Closed this issue · 4 comments

Lupus commented

Are there any plans to support record types? Currently records are only possible in variants, not as something first class.

Amulet uses polymorphic rows/records, so it should be possible to declare one as a type alias:

type person <- { name : string, age : int }

Or have it be inferred by in a function parameter.

Lupus commented

Oh, cool! Would be awesome to have some more documentation on the language :)

I think we'll all agree on that one :). It's definitely something we're aware of, just a matter of planning and writing docs. If there's anything else you feel could be clarified, it would be good to know!