🦞🌯 Lobster Roll

Thread

Safe streaming with linear types (m0ar.github.io)
L 2 pts 0 comments by pushcx Dec 1, 2017 haskell thread

Stories related to "Safe streaming with linear types" across the full archive.

Safe streaming with linear types (m0ar.github.io)
L 4 pts 0 comments by pushcx Jul 31, 2017 haskell Programming Languages / CS Theory thread
Safe streaming with linear types (m0ar.github.io)
L 2 pts 0 comments by pushcx Dec 1, 2017 haskell Programming 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
What Vale Taught Me About Linear Types, Borrowing, and Memory Safety (2023) (verdagon.dev)
HN 2 pts 0 comments by kunley Jan 24, 2026 thread
Go: using type assertions to safely reach through interface types (utcc.utoronto.ca)
L 5 pts 0 comments by inactive-user Feb 25, 2013 go Programming (General) thread
Typesafe Activator - An Update and Roadmap Preview (typesafe.com)
L 1 pts 0 comments by lauris May 18, 2014 scala Programming Languages / CS Theory thread
Streaming Huffman Compression (Part 1: Trees and State) (blog.jle.im)
L 6 pts 0 comments by bitemyapp Jun 27, 2014 haskellprogramming Programming (General)Programming Languages / CS Theory thread
Using Phantom Types in Haskell for Extra Safety (blog.jakubarnold.cz)
L 18 pts 9 comments by darthdeus Jul 8, 2014 haskellpracticesprogramming Programming (General)Programming Languages / CS TheoryProductivity / Career / Business 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
Using Phantom Types in Haskell for Extra Safety - Part 2 (blog.jakubarnold.cz)
L 13 pts 5 comments by darthdeus Jul 10, 2014 haskellpracticesprogramming Programming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
The Ivory Language is an eDSL for safe systems programming (ivorylang.org)
L 17 pts 4 comments by SeanTAllen Sep 1, 2014 compscihaskellsecurity Programming (General)Programming Languages / CS TheorySecurity / Privacy thread
The Ivory Language is an eDSL for safe systems programming. You can think of Ivory as a safer C, embedded in Haskell.
Safe Zero-cost Coercions for Haskell (dl.acm.org)
L 5 pts 5 comments by SeanTAllen Sep 2, 2014 haskellpdf Programming Languages / CS Theory thread
Generative type abstractions -- present in Haskell, OCaml, and other languages -- are useful concepts to help prevent programmer errors. They serve to create new types that are distinct at compile time but share a run-time representation with some base type. We present a new mechanism that allows fo...
Practical Machines (streaming library) in 60 Seconds (statusfailed.com)
L 8 pts 0 comments by bitemyapp Sep 2, 2014 haskellprogramming Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Typesafe’s Commitment to the Scala Ecosystem (typesafe.com)
L 9 pts 1 comments by lauris Sep 3, 2014 scala Programming Languages / CS Theory thread
Formatting in Haskell (type-safe printf without dependent types) (chrisdone.com)
L 7 pts 1 comments by bitemyapp Sep 22, 2014 haskellprogramming Programming (General)Programming Languages / CS Theory thread
Type-safe transducers in Clojure. And Scala. And Haskell. (blog.podsnap.com)
L 3 pts 0 comments by irrequietus Oct 30, 2014 haskellprogrammingscala Programming (General)Programming Languages / CS Theory thread
You may obviously not agree with the entirety of the content in that post, however I find it interesting that somebody wrote this kind of post so I thought I'd share it with you. Also a request, could we have a clojure tag in lobste.rs ?
Safe TypeScript: Safe and Efficient Gradual Typing for TypeScript (research.microsoft.com)
L 2 pts 0 comments by joshuacc Mar 11, 2015 javascriptvideo Web Development thread
purescript-halogen - A declarative, type-safe UI library for PureScript (github.com)
L 9 pts 3 comments by paf31 Apr 7, 2015 haskelljavascriptprogramming Web DevelopmentProgramming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Safe Haskell (begriffs.com)
L 5 pts 0 comments by pushcx May 26, 2015 haskellvideo Programming Languages / CS Theory thread
Fun with Semirings: A Functional Pearl on the Abuse of Linear Algebra (cl.cam.ac.uk)
L 7 pts 0 comments by grace Jul 20, 2015 compscihaskellpdf Programming Languages / CS TheoryScience / Math / Physics thread
On the unsafety of interleaved I/O (comonad.com)
L 1 pts 0 comments by pushcx Aug 8, 2015 haskellprogramming Programming (General)Programming Languages / CS Theory thread
Darcs internals, part 1: typesafe directed datastructures (parenz.wordpress.com)
L 8 pts 0 comments by pushcx Sep 20, 2015 haskellprogramming Programming (General)Programming Languages / CS Theory thread
Compile-time memory safety using Liquid Haskell (haskellforall.com)
L 5 pts 0 comments by pushcx Dec 31, 2015 haskell Programming Languages / CS Theory thread
Language Safety Score Mark 2 - Deliberate Software (deliberate-software.com)
L 5 pts 7 comments by michaelochurch Feb 19, 2016 dotnethaskelljavalisp Programming (General)Programming Languages / CS Theory thread
Typesafe Changes Name to Lightbend (lightbend.com)
L 4 pts 1 comments by stig Feb 23, 2016 web Web Development thread
Type-safe C bindings using ocaml-ctypes and stub generation (simonjbeaumont.com)
L 6 pts 1 comments by zem Mar 14, 2016 mlprogramming Programming (General)Programming Languages / CS Theory thread
Type safe Polyvariadic functions in Haskell (cs-syd.eu)
L 6 pts 5 comments by numberten Apr 14, 2016 apihaskell Programming (General)Programming Languages / CS Theory thread
Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1) (blog.jle.im)
L 14 pts 0 comments by pushcx May 26, 2016 haskell AI / Machine LearningProgramming Languages / CS Theory thread
Beyond Memory Safety With Types (insanitybit.github.io)
L 22 pts 7 comments by awal May 31, 2016 programmingrust Systems / Low-Level / OSProgramming (General) thread
Safer smart contracts through type-driven development (publications.lib.chalmers.se)
L 7 pts 0 comments by 355E3B Jun 20, 2016 haskellpdfsecurity Programming Languages / CS TheorySecurity / PrivacyCrypto / Blockchain thread