Get the latest tech news

Type-checked non-empty strings


A neat technique for defining a non-empty string constructor in Haskell.

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of type

type

Related news:

News photo

Show HN: Bun-sqlgen – Type-safe raw SQL for Bun, no ORM

News photo

Words of Type

News photo

Show HN: Hsrs – Type-Safe Haskell Bindings Generator for Rust