Write You a Haskell ( Stephen Diehl )

Darcs | Proceedings of the 2005 ACM SIGPLAN workshop on Haskell

We at Binghamton intend, at least for ourselves (and I believe Alberta at least expressed this interest) to abstract whatever we have that we feel we would be proud enough to make available to other people in printed form. We would hope by somewhere in ...

Types of types: Haskell's Kind system

Kinda?

Prism: An Impure Functional Language With Typed Effects - Stephen Diehl

Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future

Implementing a Hindley-Milner Type System (Part 1) | Blog

First part of a tutorial on implementing a Hindley-Milner type system for a simple, purely functional programming language in Haskell. We go over syntax representation, how the Hindley-Milner type system is defined, polymorphism vs. monomorphism, generalization, and instantiation.

Graphics and FPL: Porting a Haskell graphics framework to Rust (luminance)

I wanted to write that new article to discuss about something important I’ve been doing for several weeks. It’s actually been a month that ...

Aaron Steven White

computational semanticist. into modular synths and tiki. https://aaronstevenwhite.io

bmillwood/bluesky-tools

Haskell library providing tools for working with the Bluesky social network / the AT protocol

Typechecker Zoo - Stephen Diehl

Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future

Gödel, Escher, Bach: An Eternal Golden Braid

Douglas Hofstadter's book is concerned directly with th…

ghc-plugin-core-of-name/README.md at main · ocramz/ghc-plugin-core-of-name

Output the Core of a given Haskell expression with a GHC plugin - ocramz/ghc-plugin-core-of-name

We’re gonna need a lot more mathematicians

[This is a guest post by Amit Sahai. This blog post was initially written in a different file format and converted using AI. — T.] When I was an undergraduate student, I remember talking with…

GHC/Typed holes - HaskellWiki

Typed holes are a powerful feature in GHC inspired by Agda. But what are typed holes, and how do they help us write code?

Aaron Steven White

computational semanticist. into modular synths and rum. https://aaronstevenwhite.io

Gabriella439/grace

A prompt engineering functional programming language