Alecs P. Hacker

I do refinement types, precisely liquid types not dependent types

Imagine looking for usefulness in beauty

I would work through the tutorial ignoring what you don't understand

I do all the normie things and all the nerd things

Ah, maybe n the first read you should just ignore the typing rules? But your issue is with the typing rules in general or with the one of bidirectional type checking

I'm literally a normie, I do all the normie things

No I'm sure in the past they were cheaper

There is an Haskell version davidchristiansen.dk/tutorials/im... but I haven't read it

I don't know of a tutorial specifically for bidirectional type checking but this tutorial on implementing dependent types davidchristiansen.dk/tutorials/nbe/ is pretty nice and uses a bidirectional typing algorithm

Why are cigarettes *more* expensive at the airport?

Bidirectional type checking

Uhm yeah but I still hate it

Dot notation for record doesn't count?

Can't wait to go from 40 degrees in Spain to 40 degrees in Italy

For having it, especially for having it only sometimes

I don't read the manual mostly because I can't read

I will never forgive Haskell for that

Steal money from the workers idk if it can be automated

Bit -> bait

I won't fall a bit ever again

Heli board/openboard

I think it has some pretty cool ingredients, taken in moderation, but the quasi-religious veneration paid to it was problematic for a long time. Complete type inference is no compensation for stupid types.

HM type inference ruined a whole generation of PLs

You only need a debugger in bad programming languages

Your body will be used to test nukes anyway

Sometimes you can also hear "Oggi lavoro in smart" "today I will work remote"

Smart working means remote working

modern italian is full of english words even when perfectly good Italian ones exist and the craziest part is how we use fake english that makes no sense to actual english speakers like smart working

So the person in charge of education was literally a WWE character

Haskell labubu