undefined | Better HN

0 pointskobeya8y ago0 comments

Or to encapsulate a nil in a Maybe monad, so that you only have to deal with it in contexts where you explicity denote acceptance of nils. Then the type system won't let you get away with ignoring the possibility of a nil.

0 comments

p4lindromica8y ago

you can do a maybe monad without nil types by substituting nil with a single-valued singleton type

j / k navigate · click thread line to collapse

0 pointskobeya8y ago0 comments

Or to encapsulate a nil in a Maybe monad, so that you only have to deal with it in contexts where you explicity denote acceptance of nils. Then the type system won't let you get away with ignoring the possibility of a nil.

0 comments

p4lindromica8y ago

you can do a maybe monad without nil types by substituting nil with a single-valued singleton type

j / k navigate · click thread line to collapse