(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 #OCaml-style functors … and then realized that … and then just decided to add #functors to #Wasm. 😱

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

This looks like a really nice, visual, first intro to concepts related to #categorytheory.

https://abuseofnotation.github.io/category-theory-illustrated/

#sets, #categories, #monoids, #orders, #logic, #functors

Credits: @abuseofnotation

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

Things that are things, but not other things

Full Details:

https://www.meetup.com/bay-area-haskell-user-group/events/291680080

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

Hope to see everyone and hear all about #functionalprogramming abstractions #monads #applicative #functors #scala #haskell

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: https://youtu.be/UMKU5MmdOqw
#monads #functors #scala

Computational Category Theory
(2022) : D.E Rydeheard and R.M Burstall
url: https://www.cs.man.ac.uk/~david/categories/
#adjunction #category_theory #functional_programming #functors #standard_ML #toposes #unification
#my_bibtex

An Invitation to Applied Category Theory
(2019) : Fong, Brendan and David I. Spivak
DOI: https://doi.org/10.1017/9781108668804
#__important #category_theory #database #functors #galois_connection #hypergraph #joins #logic_of_behaviour #meets #monoid
#my_bibtex

I'm (finally!) introducing #categories and #functors in my #Math544 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.