5 ms·

What're some good resources to build up the knowledge base needed to understand this article? I've always been fascinated by the building blocks of computation

What're some good resources to build up the knowledge base needed to understand this article? I've always been fascinated by the building blocks of computation, there just seems to be a massive investment required to get that understanding.

ChadNauseam 3y ago
A while back I interviewed a coauthor of this paper here: https://www.youtube.com/watch?v=rqArTpY_kNY https://www.youtube.com/watch?v=rqArTpY_kNY We discussed the language he's helping develop (Granule) and which the concepts in this paper are implemented in. I actually asked him if he thought something like this paper would be possible and IIRC he said he was hopeful. I think listening to the interview would be a good way to get a feel for the big ideas. To get deeper into it, I'd recommend learning Haskell at least up to the point where you understand typeclasses, functors, and monads. That will get you familiar with some relatively advanced type system features. Granule is a research language so it has additional stuff going on, but that is a solid foundation. After that, just google terms you don't know (e.g. modal type theory) or look at the papers that are cited. You can also join the PLTD discord server, there are lots of type nerds in there who are usually happy to answer questions.
matt_d 3y ago
I'd recommend by starting with the talk by Daniel Marshall (one of the authors) from Lambda Days 2023, "A Hitchhiker's Guide to Linearity", https://www.youtube.com/watch?v=QtlkqJGdnuM https://www.youtube.com/watch?v=QtlkqJGdnuM The Granule Project's website, https://granule-project.github.io/ https://granule-project.github.io/, links relevant resources, too, in particular https://granule-project.github.io/granule.html https://granule-project.github.io/granule.html and https://github.com/granule-project/granule/blob/main/examples/intro.gr.md https://github.com/granule-project/granule/blob/main/example... The latter tutorial is based on "Quantitative program reasoning with graded modal types" (ICFP 2019), with the talk and paper available at https://dl.acm.org/doi/10.1145/3341714 https://dl.acm.org/doi/10.1145/3341714 See also "Linearity and Uniqueness: An Entente Cordiale" (ESOP 2022), https://granule-project.github.io/papers/esop22-paper.pdf https://granule-project.github.io/papers/esop22-paper.pdf

ChadNauseam 3y ago

A while back I interviewed a coauthor of this paper here: https://www.youtube.com/watch?v=rqArTpY_kNY https://www.youtube.com/watch?v=rqArTpY_kNY We discussed the language he's helping develop (Granule) and which the concepts in this paper are implemented in. I actually asked him if he thought something like this paper would be possible and IIRC he said he was hopeful. I think listening to the interview would be a good way to get a feel for the big ideas. To get deeper into it, I'd recommend learning Haskell at least up to the point where you understand typeclasses, functors, and monads. That will get you familiar with some relatively advanced type system features. Granule is a research language so it has additional stuff going on, but that is a solid foundation. After that, just google terms you don't know (e.g. modal type theory) or look at the papers that are cited. You can also join the PLTD discord server, there are lots of type nerds in there who are usually happy to answer questions.

matt_d 3y ago

I'd recommend by starting with the talk by Daniel Marshall (one of the authors) from Lambda Days 2023, "A Hitchhiker's Guide to Linearity", https://www.youtube.com/watch?v=QtlkqJGdnuM https://www.youtube.com/watch?v=QtlkqJGdnuM The Granule Project's website, https://granule-project.github.io/ https://granule-project.github.io/, links relevant resources, too, in particular https://granule-project.github.io/granule.html https://granule-project.github.io/granule.html and https://github.com/granule-project/granule/blob/main/examples/intro.gr.md https://github.com/granule-project/granule/blob/main/example... The latter tutorial is based on "Quantitative program reasoning with graded modal types" (ICFP 2019), with the talk and paper available at https://dl.acm.org/doi/10.1145/3341714 https://dl.acm.org/doi/10.1145/3341714 See also "Linearity and Uniqueness: An Entente Cordiale" (ESOP 2022), https://granule-project.github.io/papers/esop22-paper.pdf https://granule-project.github.io/papers/esop22-paper.pdf