Idris (Programming Language)

Programming Talks tagged with: "Idris (Programming Language)"

Type-Driven Development in Idris — Edwin Brady

Idris is a general purpose pure functional programming language with dependent types. In Idris, types are a first class language construct, meaning that they can be manipulated and computed like any other language construct. It encourages a type-driven style of development, in which programmers give types first and use interactive ...