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