Haskell

5 readers

1 users here now

**The Haskell programming language community.** Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more... ### Links - Get Started with Haskell

founded 2 years ago

GHC proposal: Linear constraints (github.com)

submitted 2 years ago by jaror@kbin.social to c/haskell@kbin.social

3 comments fedilink hide all child comments

Adds a linear fat arrow %1 => this is meant to greatly improve the ergonomics of some of the APIs using linear types (it tends to apply to APIs based on typestate or related to mutation).

Rendered

you are viewing a single comment's thread
view the rest of the comments

[–] jaror@kbin.social 1 points 2 years ago (1 children)

The changes seem pretty modest as the costs and drawbacks section also says. But I wouldn't know how complicated it is to combine normal constraints with dependent types, let alone linear constraints.

[–] mangoiv@functional.cafe 1 points 2 years ago

@jaror yeah it seems fine at first; issue is that someone probably has to do the theory part, writing a new papers for every one new addition seems tedious 😅