person:phil wadler

  • « Comprehensive comprehensions : comprehensions with "Order by" and "Group by" », de Phil Wadler et Simon Peyton Jones

    http://research.microsoft.com/en-us/um/people/simonpj/papers/list-comp

    Un amusant papier où les auteurs prennent un mécanisme existant en #Haskell, les compréhensions (définir les éléments d’une liste par une propriété et pas en énumérant tous les membres ; notez que cela existe dans d’autres langages, comme Python) et l’étendent pour la rapprocher de ce que permet #SQL, notamment en permettant le groupage, le tri, etc.

    Le début de l’article est plutôt concret et lisible, même si la fin se termine, comme souvent dès qu’il s’agit de programmation fonctionnelle, dans des envolées mathématiques. Intéressante exploration des ressemblances et différences entre SQL et un langage fonctionnel.