FRESH

Hacker News

Type-checked non-empty strings

53 points by surprisetalk

by muglug

1 subcomments

Very cool that the language allows specification of a type in this way.
I added a similar type — “non-empty-string” to a typechecker for PHP, and it’s been adopted widely in the PHP ecosystem. It turns out to be pretty handy, especially when there’s a full type system to support it.

by VMG

1 subcomments

Empty strings are usually an artifact of lazy developers paying a minimal "empty" value for a type (just as 0 for numbers).
A type like NonEmptyString is a weak defense against that, as a lazy dev can just pass a single space character or something similar.

by IshKebab

4 subcomments

"Huh never heard of Bellroy... I wonder what they're using Haskell for..."
Turns out it's some kind of bags and accessories brand!

by ivanjermakov

4 subcomments

Language is not mentioned in a title, so my first thought was about TypeScript type wizardry. Turns out it's as simple as `Exclude<string, "">`.
https://www.typescriptlang.org/docs/handbook/utility-types.h...
Edit: nevermind, LLM fooled me.

by swordlucky666

0 subcomment

[dead]