Essentially, I’d like to be able to do something l...

# announcements

[alex.hart]

Essentially, I’d like to be able to do something like:

data class Note(title: DString.NonEmpty, body: DString.NonEmpty)

Sort of building data validation into the type system… a poor man’s dependent types I guess