Functioneel Programmeren met Helium

Auteur(s):

Bastiaan Heeren, Instituut voor Informatica en Informatiekunde, Universiteit Utrecht

Daan Leijen, Instituut voor Informatica en Informatiekunde, Universiteit Utrecht

Samenvatting:

Moderne functionele talen zijn mathematisch precies, notationeel elegant, en sterk getypeerd. Deze talen zijn daarom bij uitstek geschikt voor het onderwijzen van programmeerconcepten en algoritmiek. Helium is een onderzoeksproject waarbij een krachtig typesysteem gecombineerd wordt met precieze en gebruiksvriendelijke foutmeldingen.

Trefwoorden:

puur functioneel programmeren, gebruiksvriendelijke foutmeldingen