0:00 / 0:00

Idris: General Purpose Programming with Dependent Types

Name: Idris: General Purpose Programming with Dependent Types
Uploaded: 2014-02-03T10:47:48Z
Duration: 1 h 19 min 5 s
Channel: London Haskell
Description: Edwin Brady introduces the Idris programming language and demonstrates how dependent types can be used for general-purpose programming.

London Haskell

1.5K subscribers • 7 videos on Hallway

YouTube

Recommended by 1 person: 1 in engineering communities.
Presented by Dr Edwin Brady

Intermediate. Assumes working knowledge.

11K views12 years ago1 recommendation

Programming languages Language design and type systems Functional programming

Edwin Brady introduces the Idris programming language and demonstrates how dependent types can be used for general-purpose programming.

Speaker: Dr Edwin Brady London Haskell user group. 22nd January 2014. Background at idris-lang.org/

Why it's here

1 person recommends this

What people say. Recommended as an excellent introduction to Idris and dependent types by its creator.

u/CharlesStainin r/haskell • 12 years agoRecommends

London Haskell Idris: General Purpose Programming with Dependent Types

48View on Reddit