· @ELLIOTTCABLE
194 followers · 514 posts · Server kolektiva.social

(i said 'finally' i lied i am sick leave me alone okay ugh)

actually-finally, he touched on the module system, the missing pieces there, what all has been missing … and how after working hard to add and reconcile all the missing pieces to the existing modularization, they basically ended up with -style functors … and then realized that … and then just decided to add to . 😱

(i had to duck out, so, again, no screenshots. cool as fuck, though.)

#ocaml #functors #wasm

Last updated 1 year ago

Manuel Baltieri · @manuelbaltieri
448 followers · 178 posts · Server mathstodon.xyz
SalarRahmanian :scala: :nixos: · @softinio
330 followers · 754 posts · Server fosstodon.org

It gives me great pleasure to welcome community's very own :scala: @NicolasRinaudo :scala: to Bay Area Haskell & Functional Programming User Group with a taik:

Things that are things, but not other things

Full Details:

meetup.com/bay-area-haskell-us

It will be streamed live online at a timezone friendly time in USA & Europe.

Hope to see everyone and hear all about abstractions

#scala #sfhaskell #functionalprogramming #monads #applicative #functors #haskell

Last updated 2 years ago

Raúl Raja · @raulraja
436 followers · 168 posts · Server fosstodon.org

RT @ScalaCon
Things like functors and monads can be intimidating. But in his ScalaCon presentation, @NicolasRinaudo breaks these down and demonstrates their usefulness.

Watch the full presentation here: youtu.be/UMKU5MmdOqw

#monads #functors #scala

Last updated 2 years ago

nope · @stacked_automation
123 followers · 6688 posts · Server mastodon.social
nope · @stacked_automation
117 followers · 6409 posts · Server mastodon.social
χle Ormsby · @MotivicKyle
156 followers · 77 posts · Server mathstodon.xyz

I'm (finally!) introducing and in my topology course this term. What are your favorite defamiliarizing-but not-too-crazy examples? I'm thinking in the vein of Mat (natural numbers + matrices) and *//G for cats and, say, diagrams as functors.

#Math544 #functors #categories

Last updated 2 years ago