mbg / hindley-milner

Template for Hindley-Milner based languages

I am a Software Engineer at GitHub, working on CodeQL. Previously I worked at Tweag where I consulted for Hachi Security and Juspay. I like open-source, teaching, and all things to do with programming languages!

I maintain a number of Haskell libraries, which you can find on Hackage. Some that you might be interested in are:

• wai-rate-limit, which allows you to add rate limiting to your web applications; also available specifically for Servant.
• wai-saml2 if you are building a SAML2 Service Provider.
• logstash implements various logger backends that can write to Logstash.
• network-wait lets you wait for networked services to become available.
• moss, a client for Moss, which is a code similarity checking tool.
• c14n provides Haskell bindings for the C14N implementation (XML normalisation) in libxml2.
• time-units-types, a small library for representing time units at the type-level.
• hindley-milner is a template for when you are building a Hindley Milner derived language and want a starting point.
• hoop is an experimental library I built while studying for a PhD, which implements an object system in Haskell.

For all of my functional programming teaching materials, head over to the fpclass organisation.

You can also find my website at michael-gale.co.uk.

hindley-milner's Issues

Convert to Unix line endings instead of Windows line endings?

By default, git on Windows is configured to convert to Unix line endings when pushing the code and to convert back to Windows line endings when pulling the code. However, for some reason this repository has Windows line endings (perhaps because you have an unusual git configuration), which means that anybody who checks out the code on a Unix platform will have to deal with Windows line endings (typically by running the dos2unix program on every project file, which is what I did).

Normally I wouldn't care what line endings a project is written in if I'm just using the project as a dependency. However, the purpose of this project is to be forked and modified, in which case the line endings matter because the code is designed to be modified.