Tweag
Technical groups
Dropdown arrow
Open source
Careers
Research
Blog
Contact
Consulting services
Technical groups
Dropdown arrow
Open source
Careers
Research
Blog
Contact
Consulting services

Blog: linear-types (19 posts)

7 March 2024
DPS programming for arbitrary types in Haskell
Thomas Bagrel
This blog post presents a safe API for destination-passing style programming using Linear Haskell against arbitrary functional data types.
17 November 2021
Safe Sparkle: a resource-safe interface with linear types
NG
Noah Goodman
On design choices to build a resource-safe interface for Sparkle using linear types
10 February 2021
Announcing linear-base
DO
UD
Announcing linear-base, a standard library for linearly typed Haskell programs.
13 July 2020
Announcing qualified do
MP
Announcement of the upcoming QualifiedDo language extension.
8 March 2018
Implementing a safer sort with linear types
AV
In the “all about reflection” post, we introduced the data type. Any sorting function should have the type . However, this doesn’t actually guarantee that is indeed a sorting function: it only says that is a sorted list, but not that it is actually a sort of . For example is…

Company

AboutOpen SourceCareersContact Us

Connect with us

© 2025 Modus Create, LLC

Privacy PolicySitemap