Scheme Workshop Keynote: Edwin Brady
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


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

General Programming Discussion

    A general programming discussion community.


    1. Be civil.

    Other programming communities:

    • /c/rust
    • /c/python
    • /c/powershell
    • /c/haskell
    • /c/fpcomplete
    • /c/cpp
    • /c/c_programming
    • /c/julia
    • 0 users online
    • 12 users / day
    • 6 users / week
    • 17 users / month
    • 127 users / 6 months
    • 2498 subscribers
    • 670 Posts
    • Modlog