Sjoerd Visscher

@sjoerdvisscher.w3future.com

216 Followers 218 Following

#haskell #categorytheory #lumatone 👫 @boekencurator.bsky.social 🏠 https://w3future.com 💼 https://tweag.io 🗣️ https://strijpskamerkoor.nl

Hittekracht verwachting voor de komende week, vandaag 8, dan 5 dagen 10 (!!) en maandag weer 7.
(s -> a, s -> b -> t) forall f. Functor f => (a -> f b) -> s -> f t forall p. Strong p => p a b -> p s t exist m. (s -> (m, a), (m, b) -> t) forall y. (s, t -> y) -> (a, b -> y)
A dot diagram showing the trace of the composition of functions f : A x X -> Z and g : Z -> A x Y
A dot diagram showing a zigzag composition of the unit and counit of an adjunction
A dot diagram showing monoid and comonoid operations.
Poster image of the TV series Poker Face
Current leaderboard of the ICFP contest, I'm 4th at the moment!
Rep1 ((->) Bool) = Par1 :*: Par1 Rep1 ((->) (a, b)) = Rec1 ((->) a) :.: Rec1 ((->) b) Rep1 ((->) [a]) = Par1 :*: (Rec1 ((->) a) :.: Rec1 ((->) [a]))
Profunctor Laws dimap id id = id: OK 27 tests completed dimap composition: OK (62.03s) 14348907 tests completed
A glowing purple globe with white waves rolling across it.
Code showing that Promonad (Writer w) needs Monoid w and Procomonad (Writer w) needs Comonoid w.
A close up of a treecreeper picking bugs from the bark of a tree.
vId' l' ||| unit @f @g === ( vCombine === limitUniv @j ( vSplit === (limit @j === vSplit) ||| vId @f === vId @d ||| counit @f @g ) ) ||| vId @g
Some screenshots of the documentation, see the link!
Me with my first ever glasses on.
A large diagram showing 25 different graphical languages and their relationships.
main :: IO () main = interact (show . sum . withStrategy (parTraversable rseq) . map (val . parse) . lines)