Linear types have come to one-liner! Instead of regular Profunctors, it now uses linear Profunctors from linear-base. And happily all regular Profunctors are linear ones too! Then plug in say linear Kleisli, and voila, we have a generic linear traverse!

RT @icfpcontest2025: Post quadraginta octo horas incipit.

RT @ymdfield: いいなこれ（GHCの継続プリミティブをきちんと型でラップすると、微妙に挙動が違う継続オペレーターのそれぞれの意味論の違いが型にちゃんと現れる）.

RT @EChatav: DISTRIBUTORS.Or:.How.I Learned.To.Stop.Worrying.And.Love.Profunctors. I wrote a Blog Post for programmers about how to use par….

RT @therealchreke: If you are at all interested in type checking, you should definitely check out Stephen Diehl’s Typechecking Zoo! It has….

RT @Iceland_jack: A more easily generalisable implementation of Phases, which takes advantage of Map to sort the computations by phases, us….

There's a perfectly valid instance for Generic1 ((->) a), given an instance for Generic a. Should this be included in base? Probably not. But would anything break? I don't know! #haskell.

RT @EChatav: class Functor f => Foldable f where. foldP. :: ( Strong p, Choice p. , forall x. Applicative (p x). , forall….

RT @EChatav: Conjecture> The category of simple optics over the free partial distributor categorifies the free Kleene rig of regular expres….

RT @locallycompact: This is one of my favourite things to think about. The three ways of reasoning of deduction, induction and abduction co….

RT @BartoszMilewski: This bill is unprecedented: it takes money from the poor to give it to the rich. The biggest redistribution of wealth….

RT @undebeha: i think i just found a cool connection between interaction nets and intersection types. gonna make a thread bout it to help s….

RT @AukeHoekstra: Is red meat bad for you?. New meta study of 44 studies finds it depends on the sponsor. If the sponsor was impartial, mo….

RT @roboguy20: It's very useful to practice thinking about elementary set theory *without* thinking directly about elements. Spend some ti….

RT @haskellhutt: FP folks -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Fun….

RT @tweagio: Haskell doesn't have to be complicated! In this new blog post, Clément Hurlin gives a simple tutorial about monadic parsing wi….

RT @tweagio: New blog post from Cheng Shao: the GHC #wasm backend now supports live-coding a frontend app via the ghci browser mode! You ca….

RT @tweagio: New release: linear-base 0.5.0, with a decent chunk of bug fixes and interface improvements. Some of these should have had a r….

RT @kotsoft: Released the synth. Runs in the web browser so it works across most devices. Supports touch screen, midi keyboard, or mouse &….

RT @CarnapSpeaks: INTERACTION NETS IN JULIA!!!. GIRARD's Linear Logic & LAFONT's Interaction Nets. New project on my GitHub. Thanks to @Ale….

RT @tweagio: A new version of Liquid Haskell is out, featuring the work of several contributors to improve the proof mechanisms, support fo….