Hacker GitHub

← All repos

tweag/linear-base

View on GitHub ↗ ★ 361 Haskell

Standard library for linear types in Haskell.

4 mentions on Hacker News by 3 people: 1 story, 3 comments · first 2020-06-19 · latest 2022-07-12

Mentions per year 4 mentions · busiest year 2020 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …not available. There are some decent examples in the Tweag repo for the GHC Linear Types proposal: https://github.com/tweag/linear-base/tree/master/examples
    comment by gavinray · 2022-01-24 · in Idris 2: Quantitative Type Theory in Practice
  2. …[2] https://gitlab.haskell.org/ghc/ghc/-/wikis/linear-types [3] https://github.com/tweag/linear-base/
    comment by xvilka · 2020-07-06 · in Parallel Programming in Multicore OCaml
  3. There is `linear-base`[1] for this. [1] https://github.com/tweag/linear-base
    comment by xvilka · 2020-06-19 · in Linear types are merged in GHC