typochon @typochon@functional.cafe

@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 #haskell 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^^

@tfb Mmh interesting, why is it particularly useful for dependent types?

Wikipedia page on Scott encoding : https://en.wikipedia.org/wiki/Mogensen%E2%80%93Scott_encoding

and on Church encoding : https://en.wikipedia.org/wiki/Church_encoding

Is there a reason why Scott encoding is very rarely mentionned compared to Church encoding? I may have a false impression, but I only found out about Scott encoding while reading something about the Reduceron (https://www.cs.york.ac.uk/fp/reduceron/) and I've never seen it in the courses about lambda calculus I followed.

Considering how everything is so much simpler using this encoding, I find that a bit weird :/ Well unless teachers like to torture students with the pred function but…

Really happy with today's solution! If carefully parametrized, the same topological function is enough for both parts :)

https://gitlab.com/chupin/advent-of-code-2018/blob/master/Day07.hs

Day 5 was soooo much easier than day 4 (that I still haven't finished… I will… at some point). Mostly due to the power of foldr though^^

Pretty sure my solution for part 2 is very suboptimal but I like anyway

Day 2 done. Quite happy with my solution and the data structure I used, though I'd be curious to know if it's really useful^^

@Doshirae Plus quelques garanties agréables (les valeurs stockées sont uniques et ordonnées)

@Doshirae Parce qu'un Set ça donne une recherche en O(log n) contre O(n) pour une liste

@Doshirae Parce qu'ici je sais que j'ai des listes infinies, donc que j'ai pas besoin de m'intéresser au cas []. C'est surtout de la coquetterie ^^

@Doshirae Ça permet d'utiliser la syntaxe des listes pour des types « listoïdes ». Donc le [] dans l'appel à go est converti en S.empty. Ça marche aussi avec Map pour les listes de paires.

@Doshirae D'ailleurs un symbole qui commence par : c'est toujours un constructeur infix

@Doshirae C'est le constructeur pour Stream, défini là : https://gitlab.com/chupin/advent-of-code-2018/blob/master/Stream.hs

J'aime pas avoir des clauses manquantes dans mon pattern-matching alors j'introduis souvent ce type quand je manipule des listes toujours infinies

@Doshirae Bah y a pas beaucoup d'autres choix ^^

Mais c'est vrai qu'au départ j'avais le cas '-' : num = - read num mais en te lisant j'ai vu que c'était con^^

I'll be publishing my Advent of Code solutions here : https://gitlab.com/chupin/advent-of-code-2018

Should be mostly #Haskell but I might sneak some #OCaml or #Rust if I feel like it ;)

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

https://ctan.org/pkg/acronym?lang=en

@otini @abs cleverref does this (if I understand the question correctly) : https://tex.stackexchange.com/questions/230828/when-referencing-a-figure-make-text-and-figure-name-clickable