🦞🌯 Lobster Roll

Thread

Cursed linear types in Rust (geo-ant.github.io)
L 30 pts 2 comments by jmillikin Nov 27, 2024 rust thread

Stories related to "Cursed linear types in Rust" across the full archive.

Cursed linear types in Rust (geo-ant.github.io)
L 30 pts 2 comments by jmillikin Nov 27, 2024 rust Systems / Low-Level / OS thread
Cursed Linear Types in Rust (geo-ant.github.io)
HN 106 pts 22 comments by todsacerdoti Nov 27, 2024 Systems / Low-Level / OS thread
Cursed Linear Types in Rust (geo-ant.github.io)
HN 2 pts 0 comments by runos Nov 28, 2024 Systems / Low-Level / OS thread
Integrating Dependent and Linear Types (draft) (cs.bham.ac.uk)
L 4 pts 1 comments by BruceM Jul 10, 2014 compscipdfprogramming Programming (General)Programming Languages / CS Theory thread
Linear types make performance more predictable (blog.tweag.io)
L 38 pts 2 comments by puffnfresh Mar 13, 2017 haskell Programming Languages / CS Theory thread
The Pain Of Real Linear Types in Rust (gankro.github.io)
L 23 pts 0 comments by pushcx May 9, 2017 compilersrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Safe streaming with linear types (m0ar.github.io)
L 4 pts 0 comments by pushcx Jul 31, 2017 haskell Programming Languages / CS Theory thread
Retrofitting Linear Types (microsoft.com)
L 12 pts 4 comments by lojikil Sep 26, 2017 haskellpdf Programming Languages / CS Theory thread
From the abstract: > Linear type systems have a long and storied history, but not a clear path forward to integrate with existing languages such as OCaml or Haskell. In this paper, we study a linear type system designed with two crucial properties in mind: backwards-compatibility and code reuse ...
Safe streaming with linear types (m0ar.github.io)
L 2 pts 0 comments by pushcx Dec 1, 2017 haskell Programming Languages / CS Theory thread
Linear Logic, Linear Lisp, Linear Types and Concatenative Languages (cdiggins.github.io)
L 15 pts 2 comments by tokenrove Mar 7, 2018 lispplt Programming Languages / CS Theory thread
Encode state transitions in types using linear types (tweag.io)
L 8 pts 0 comments by calvin Jul 7, 2018 haskellplt Programming Languages / CS Theory thread
aljabar - an experimental n-dimensional linear algebra library for Rust based on const generics (github.com)
L 17 pts 5 comments by mplant Jun 25, 2019 mathrust Systems / Low-Level / OSProgramming (General)Science / Math / PhysicsCulture / Philosophy / History / Reading thread
An extremely small and incomplete linear algebra I wrote over the weekend to test Rust's handling of const generics.
Linear Algebra of Types (philipzucker.com)
L 11 pts 1 comments by pushcx Nov 4, 2019 haskellmath Programming Languages / CS TheoryScience / Math / Physics thread
Linear types are merged in GHC (tweag.io)
L 54 pts 46 comments by aborgna Jun 19, 2020 haskellplt Programming Languages / CS Theory thread
Solving a set of linear congruences in Rust (fasterthanli.me)
L 12 pts 1 comments by knl Dec 31, 2020 mathrust Systems / Low-Level / OSScience / Math / Physics thread
Linear types make performance more predictable (2017) (tweag.io)
L 7 pts 4 comments by adamshaylor Jan 9, 2021 haskellperformanceplt Programming Languages / CS TheoryData / Databases / Infrastructure thread
ATS or Why Linear Types are the Future of Systems Programming (youtube.com)
L 28 pts 4 comments by janus Feb 13, 2021 pltvideo Programming (General)Programming Languages / CS Theory thread
austral: Systems language with linear types (github.com)
L 21 pts 0 comments by adaszko Oct 25, 2021 plt Programming Languages / CS Theory thread
Introducing Austral: A Systems Language with Linear Types and Capabilities (borretti.me)
L 48 pts 20 comments by joakin Jan 3, 2023 plt Programming Languages / CS Theory thread
How Austral’s Linear Type Checker Works (borretti.me)
L 29 pts 24 comments by adaszko Jan 29, 2023 pltrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Must move types [Linear types proposed for Rust] (smallcultfollowing.com)
L 23 pts 17 comments by 5d22b Mar 24, 2023 pltrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Linearity and Control [linear types proposal for Rust] (blog.yoshuawuyts.com)
L 9 pts 3 comments by 5d22b Mar 31, 2023 pltrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Linear Types One-Pager (blog.yoshuawuyts.com)
L 6 pts 1 comments by 5d22b Apr 3, 2023 pltrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
What Vale Taught Me About Linear Types, Borrowing, and Memory Safety (verdagon.dev)
L 20 pts 6 comments by Verdagon Jun 1, 2023 plt Programming Languages / CS Theory thread
Extending destination-passing style programming to arbitrary data types in Linear Haskell (tweag.io)
L 3 pts 0 comments by adamshaylor Mar 7, 2024 haskellplt Programming (General)Programming Languages / CS Theory thread
Reference Counting with Linear Types (discourse.haskell.org)
L 29 pts 0 comments by romes May 12, 2024 haskellplt Programming Languages / CS Theory thread
Higher RAII, and the Seven Arcane Uses of Linear Types (verdagon.dev)
L 8 pts 3 comments by jado May 14, 2024 plt Programming Languages / CS Theory thread
Cursed Rust (paper.wf)
L 27 pts 36 comments by binarycat Oct 5, 2024 rust Systems / Low-Level / OS thread
Modular Borrowing Without Ownership or Linear Types (2024.splashcon.org)
L 12 pts 1 comments by manuel Oct 22, 2024 plt Programming Languages / CS Theory thread
Modular Borrowing Without Ownership or Linear Types (2024.splashcon.org)
HN 2 pts 0 comments by todsacerdoti Oct 22, 2024 thread