Skip to content
Hallway
0:00 / 0:00

#lineartypes#idris#idris2

PLUG talk - linear types and runtime performance

Identity GS

173 subscribers • 1 video on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.

Advanced. Deep dive for people who know the field.

3.2K views6 years ago1 recommendation

Programming languagesSystems programmingFunctional programmingCompilers and interpretersPerformance and optimization

An introduction to linear types and how they are used in the Idris 2 compiler to improve runtime performance.

This talk introduces my master thesis on the Idris2 compiler, introduces linear types and motivates the need for linear types as a way to develop and use performant programming languages. This talk was meant to be given at Glasgow for PLUG: Programming Languages at University of Glasgow.

Why it's here

1 person recommends this

What people say. Recommended as an insightful talk on linear types and their practical application to compiler performance.

u/mttdin r/ProgrammingLanguages • Recommends

PLUG talk - linear types and runtime performance
40View on Reddit