Dependent Typing with Idris

Paul Brabban

In March's (def shef), we're looking at dependent typing and the kinds of problems it can help with, using the <A HREF="https://www.idris-lang.org/" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">Idris language</A>.
We're all beginners with this language, so everyone is welcome! We'll be working through introductory materials (feel free to have a read around and a go yourself beforehand) and looking for problems that demonstrate the advantages of a dependently typed language.
This will be a hands-on session that isn't very structured. You'll need a laptop and it'll help if you've already <A HREF="https://www.idris-lang.org/download/" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">installed Idris</A> (alternatively you can try using an online REPL like https://tryidris.herokuapp.com/console)
See you on the 13th!
 
(def shef) observes a code of conduct described at confcodeofconduct.com.

Showroom Workstation Conference Room 1

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

Dependent Typing with Idris

More events from Paul Brabban

Discover more events from Paul Brabban, from Science & Tech to other experiences you might love.

Still looking for the right event?

Explore all events in Sheffield and filter by date, category, and more to find the perfect fit.

Dependent Typing with Idris

More events from Paul Brabban

Discover more events from Paul Brabban, from Science & Tech to other experiences you might love.

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?

Explore all events in Sheffield and filter by date, category, and more to find the perfect fit.