(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
#functors #logic #orders #monoids #categories #sets #categorytheory
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
#scala #sfhaskell #functionalprogramming #monads #applicative #functors #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
#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
#__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.
#Math544 #functors #categories