Show more
lyxia boosted
lyxia boosted

I've just realized "resumption" and "continuation" are synonymous. I somehow did equate the two subconsciously when reading papers using either words. Now I'm just shocked my subconsciousness did that without telling me.

Nyalas are badly painted antelopes.

lyxia boosted

Sinon, mon cours d’OCaml est officiellement complet !

Il est dispo ici si vous voulez le lire : ocaml.gelez.xyz/

Ça couvre toutes les bases du langage : les fonctions, les types de base, la création de types, la récursivité, le polymorphisme, l’ordre supérieur, la curryfication, le type list, et les arbres. Bref pas mal de trucs pour découvrir tout l’aspect fonctionnel du langage.
Le tout avec des petits quiz interactifs et des exercices corrigés pour chaque chapitre.

Du coup si vous voulez apprendre le OCaml (qui est un langage fonctionnel assez abordable à mon avis) je pense que c’est une bonne introduction en français (enfin j’espère).

Et c’est sur GitHub aussi, si jamais vous trouvez une faute ou si vous voyez un truc à améliorer : github.com/elegaanz/cours-ocaml/

#BoostWelcome #OCaml #FP #ProgrammationFonctionelle

homepages.inf.ed.ac.uk/slindle

> We have changed the title to include three letter words in the hope that Google Scholar will index it this time.

Show thread

There's a POPL paper titled do be do be do (Lindley et al., 2017). The title is so funny Google Scholar won't index it. Now they've published an extended version that tries to avoid the issue: doo bee doo bee doo.

Finger trees are a really cool data structure. I made a PR to containers to document some internals of Sequence:

github.com/haskell/containers/

lyxia boosted
lyxia boosted

A sample of type-driven programming with dependently types.

Programming totally with head and tail

blog.poisson.chat/posts/2020-0

lyxia boosted

I wanted to procrastinate a little by playing with hs-to-coq. Now I can't stop because I started writing a tutorial and somehow a point I was not trying to make turned into yet another tutorial on dependent types...

Praise Obj.magic! It keeps bailing me out of Coq extraction problems.

lyxia boosted
lyxia boosted
Show more
La Quadrature du Net - Mastodon - Media Fédéré

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!