Az Idris programozási nyelv

Bevezetés

Bevezetés

Az Idris nyelv egy általános célú, tisztán funkcionális, mohó kiértékelésű nyelv függő típusokkal. Még gyermekcipőben jár, de egy igen szorgos közösség áll mögötte. Fejlesztése Edwin Brady vezetésével a St Andrews Egyetemen zajlik.