Scheme Workshop Keynote: Edwin Brady
www.youtube.com
external-link
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
link
21Y

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

General Programming Discussion
!programming

    A general programming discussion community.

    Rules:

    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
    • 12 users / week
    • 21 users / month
    • 134 users / 6 months
    • 2496 subscribers
    • 669 Posts
    • 871 Comments
    • Modlog