Conversation

A few links to Programming languages that have Linear Types gitter.im/lampepfl/dotty

see: • Linear types extension in Glasgow Haskell • Idris 2 • Rust may have something close thanks

&

@bblfish: In my research I have come quite a lot across linear logic and linear types. As the community here is at the bleeding edge of programming language design, does anyone know of languages th...

3

3

8

Brendan Zabarauskas

Replying to

Also check out granule-project.github.io by

,

and

!

granule-project.github.io

The Granule Project

The Granule Project: A Research Project Studying the Next Generation of Functional Programming Languages

11:03 AM · Jun 11, 2019Twitter Web Client

Replying to

There will be a talk at

in Lausanne later this week about Granule!

1

2

5

Hope the talk and questions on granule get recorded. Someone is bound to ask: are linear types on the roadmap for #dotty? typelevel.org/event/2019-06-

2

1

Show replies