Scheme Workshop Keynote: Edwin Brady
www.youtube.com
In this talk, Edwin Brady discusses his work on types in his language Idris, including a discussion of the evolution from Idris 1 to Idris 2. Presenter: Edwi...

Idris2 feels right. The installation is easy (Chez Scheme backend, Node.js backend should be even easier)

And it’s snappy now.

The slogan is “Type driven development”, Edwin Brady’s presentation is really impressive.

Agda is for mathematics, Idris2 focus is on resource management and performance.

Idris2 Tutorial

  • doodie
    2·
    4 years ago

    I did a workshop with Dr Brady and it was great, I highly recommend attending to his talks.