typochon boosted

@philipwhite Algorithm J is where type variables are mutable and can be overwritten with an instantiating type, right?

I think all the people I know use this one instead of using explicit substitutions, even in I just use the ST monad. I think I've never been able to type recursive constructs correctly with explicit substitutions anyway, I get the composition all mixed up^^

Lambda calculus, question Show more

Lambda calculus, question Show more

typochon boosted

#android #vieprivée
Bonjour Mastodon,
Linuxien aguerri, libriste et soucieux de la protection des données personnelles, je suis complètement novice s'agissant d'android. Je ne sais pas comment protéger un minimum sa vie privée, quels sont les dispositifs de pistage à désactiver, les applications à éviter ou au contraire à utiliser...
Est-ce que tu aurais de la doc à me conseiller ?

Advent of code (Day 7, part 1 & 2) Show more

Advent of code Show more

Advent of code Show more

re: Advent of code Show more

re: Advent of code Show more

re: Advent of code Show more

re: Advent of code Show more

re: Advent of code Show more

re: Advent of code Show more

re: Advent of code Show more

Advent of code Show more

@otini @abs For the second problem, I don't know :/ Maybe some variant of what the acronym package does ?

ctan.org/pkg/acronym?lang=en

typochon boosted

Petit mensonge Show more

Show more
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.