#haskell

#arcsecond : #parsing in #javascript made easy
▻https://hackernoon.com/arcsecond-parsing-in-javascript-made-easy-af1894bdcec9?source=rss----3a8

https://cdn-images-1.medium.com/max/697/1*tsHrUKwQXG1YZX0l957ISw.png

Gandalf should have used arcsecondI recently starting making a serious attempt at learning #haskell (anyone who has tried before will probably sympathise that it usually takes a couple of tries to crack it). Amongst the many cool things Haskell has to offer is an amazing parsing library that comes with the standard set of packages called Parsec, which lets you describe how to parse complex grammars in what essentially looks like natural language.Here is how a CSV parser is implemented using Parsec. Don’t worry if you don’t understand all the syntax, the point is that the whole parser is specified in just four lines.▻https://medium.com/media/f0ddf1f7616431dd0a521dfec70a9006/hrefThis post is not about Haskell however, but rather a library I wrote called arcsecond which is based on Parsec, (...)

#functional-programming

#monads and More in 5 Minutes or Less
▻https://hackernoon.com/monads-and-more-in-5-minutes-or-less-80d71f19dc11?source=rss----3a8144ea

Plain English not Crazy JargonThe necessity of monads in #haskell maintains the pure functionality of the language but can test the patience of its programmers. An understanding of monads is essential if you want to work with Haskell. This tutorial offers a quick look at the structure of the Monad typeclass. While you’ll need familiarity with Haskell, specifically, to understand how to tackle its Monad typeclass, the concepts presented in this tutorial are easily transferred to other languages. We’ll also be covering the #applicative and #functor typeclasses. Let’s start with the boring, technical definition. A monad is a particular typeclass that is primarily composed of 2 functions, bind and return. This is simple enough, right? Now let’s break down some terminology and find out why these 2 (...)

#functional-programming

Sortie de GHC 8.0.2 et une petite histoire de typage statique
▻http://linuxfr.org/news/sortie-de-ghc-8-0-2-et-une-petite-histoire-de-typage-statique

GHC, le compilateur Haskell le plus utilisé, est sorti en version 8.0.2 ; vous pouvez consulter l’annonce de la sortie datée du 11 janvier 2017 ainsi que les notes de version.

Il s’agit principalement d’une version de suivi qui corrige plus de deux cents bugs depuis la version 8.0 dont l’annonce de la sortie avait été faite sur LinuxFr.org. Donc à ce titre, il n’y a pas grand-chose à raconter. Le futur, c’est GHC 8.2 qui devrait arriver aux environs d’avril si on en croit le planning. Celle-ci devrait apporter principalement des améliorations de performance de l’environnement d’exécution parallèle et du ramasse-miettes.

Comme on frôle la dépêche bookmark et que je tiens à mon karma, je vais vous présenter une fonctionnalité d’Haskell, que l’on retrouve dans de nombreux langages, j’ai nommé les ADT, (...)

Computer Scientists Close In on Perfect, Hack-Proof Code
▻https://www.wired.com/2016/09/computer-scientists-close-perfect-hack-proof-code

https://assets.wired.com/photos/w_582/wp-content/uploads/2016/09/Quanta_HP.jpg

“Back in the 20th century, if a program had a bug, that was bad, the program might crash, so be it,” said Andrew Appel, professor of computer science at Princeton University and a leader in the program verification field. But in the 21st century, a bug could create “an avenue for hackers to take control of the program and steal all your data. It’s gone from being a bug that’s bad but tolerable to a vulnerability, which is much worse,” he said.

The Dream of Perfect Programs !

#langage_fonctionnel #programmation_par_contrat #haskell #caml #ada

Apprendre #haskell vous fera le plus grand bien ! -
▻http://lyah.haskell.fr
#programmation_fonctionnelle #tutoriel

Un peu de #programmation_fonctionnelle en #javascript – 24 jours de web
▻https://www.24joursdeweb.fr/2014/un-peu-de-programmation-fonctionnelle-en-javascript
#haskell #programmation #fonctionnelle

« À 12 ans, Audrey Tang quittait l’école pour coder ; à 15 ans, elle créait sa start-up. Aujourd’hui, cette retraitée de 34 ans, qui se dit "anarchiste conservatrice", crée des outils pour réinventer la démocratie. Rencontre. »

▻http://rue89.nouvelobs.com/2015/09/28/audrey-tang-programmeuse-geniale-hacke-politique-a-taiwan-261381

#programmation #démocratie #féminisme

#Hasklig solves this problem the way typographers have always solved ill-fitting characters which co-occur often: #ligatures. The underlying code stays the same — only the representation changes.

▻https://github.com/i-tu/Hasklig

#Haskell #typography

Very nice story about software development, with many details. Very good reading if you want to understand the real problems of programming.

▻http://joeyh.name/blog/entry/Template_Haskell_on_impossible_architectures

#haskell #android

Le bouquin de référence sur la programmation fonctionnelle :
►http://mitpress.mit.edu/sicp/full-text/book/book.html

version epub : ►https://github.com/ieure/sicp

Solutions des exos en différents langages (Scheme, Clojure, Ruby and JavaScript) : ►https://github.com/pjb3/sicp (il semble en exister d’autres ailleurs)

#programming #développement #LISP #programmation_fonctionnelle #lambda_calcul

« 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.

#Pandoc - About pandoc
►http://johnmacfarlane.net/pandoc

If you need to convert files from one #markup format into another, pandoc is your swiss-army knife. Need to generate a man page from a markdown file? No problem. LaTeX to Docbook? Sure. HTML to MediaWiki? Yes, that too. Pandoc can read markdown and (subsets of) reStructuredText, textile, HTML, and LaTeX, and it can write plain text, markdown, reStructuredText, HTML, LaTeX, ConTeXt, PDF, RTF, DocBook XML, OpenDocument XML, ODT, GNU Texinfo, MediaWiki markup, textile, groff man pages, Emacs org-mode, EPUB ebooks, and S5 and Slidy HTML slide shows. PDF output (via LaTeX) is also supported with the included markdown2pdf wrapper script.

Pour apprendre #Haskell (langage de programmation fonctionnel, pur et à inférence de types), trois livres possibles, et mes articles à ce sujet :

►http://www.bortzmeyer.org/haskell-school-expression.html

►http://www.bortzmeyer.org/real-world-haskell.html

►http://www.bortzmeyer.org/haskell-craft-functional-programming.html