bandcamp embed, volume warning 

@toastal Fair, but that's not too bad for me either although my personal limit is straight-up noisecore japanesestreamhardcore.bandcam

  1. I have type families for type-level computation.
  2. I really don't like the 2,3,4-way relationships type-level programming through constraints produce.
Show thread

Thinking of trading multiple type class parameters and functional dependencies for associated types

re: kinda long code block image w/o alt text 

ok I give up, I'm keeping where

Show thread

re: kinda long code block image w/o alt text 

alternatively:

Still not sure of a good alternative for where

Show thread

re: kinda long code block image w/o alt text 

Should I just use where for this?

Show thread

re: kinda long code block image w/o alt text 

oh my god how did it end up being this fucking quirky hahahahaha

Show thread

kinda long code block image w/o alt text 

Tentative syntax for my not-so-secret compiler project.

I often forget that OCaml has object-oriented features and is technically the sussus amogus of FP languages

Here I am again struggling to engineer a lexer

Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.