Reading about the nonempty list type in Haskell: https://wiki.haskell.org/Non-empty_list (example of the 'enforce everything in the type system' philosophy)
miniblog.
Related Posts
I've released difftastic 0.62! In this release:
* Updated parsers for Bash, C, C++, C#, CSS, Go, Haskell, HTML, Java, JavaScript, JSON, Julia, Lua, Objective-C, OCaml, PHP, Python, Ruby, Scala, TOML, TypeScript and XML.
* Obligatory crash fixes.
I still find it weird that constructors aren't first class functions in OCaml.
`id Just` is legal in Haskell, but `id Some` is an error in OCaml.
Are there any advantages of the OCaml approach?
I've released difftastic 0.54! In this release:
* Added support for the Salesforce Apex programming language
* Improvements to Clojure and Haskell parsing
* Difftastic will now show if file permissions changes



