文件名称：Programming in IDRIS: A Tutorial
文件大小：298KB
文件格式：PDF
更新时间：2022-01-17 17:37:49
functional p dependent ty
This tutorial introduces IDRIS, a general purpose functional programming language with dependent types. The goal of the IDRIS project is to build a dependently typed language suitable for verifiable systems programming. To this end, IDRIS is a compiled language which aims to generate efficient executable code. It also has a lightweight foreign function interface which allows easy interaction with external C libraries.