Type-checked non-empty strings

A neat technique for defining a non-empty string constructor in Haskell.
46 points by surprisetalk 117 days ago exploring-better-ways.bellroy.com 29 comments
Summary not yet generated for this article.

Comments (29 of ) ⌛

Loading more comments... ⌛
Scroll down to load more comments
No comments available.
Type to search HN and engineering blog articles
Press Escape to close  |  ↑↓ to navigate  |  Enter to open