News for hackers. Stuff that matters.

A comment on The Bagel Language. Parent comment

Re:The Bagel Language by run-types on Sunday September 19, 2021 @09:45PM (#28589632)
Here is a very useful generic type alias:

    type Maybe<T> = Some<T> | Error
Not sure why you'd want to disallow that.
[ Parent | on HN ]
Re:The Bagel Language by brundolf on Sunday September 19, 2021 @09:56PM (#28589688)
Right, but I plan on including really fundamental stuff like this at the language level (I don't know for sure that it will look exactly like this, but there will be a story for this situation built-in)
[ Parent | on HN ]