#functors — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #functors, aggregated by home.social.
-
Tomorrow's mathober is "faithful"
I am stumped at the moment on how to play with faithful functors - any suggestions are welcome.
-
🎩 Ah, the eternal struggle with #C++ callbacks! 🚀 A thrilling tale of trying to make disparate #software pieces play nice, circa 1994—because nothing screams "modern" like 30-year-old #programming #paradigms. 🤖 Spoiler: it's still tricky, but at least we got to learn what a "functor" is. 🎢
http://www.tutok.sk/fastgl/callback.html #Callbacks #Development #Functors #HackerNews #ngated -
🎩 Ah, the eternal struggle with #C++ callbacks! 🚀 A thrilling tale of trying to make disparate #software pieces play nice, circa 1994—because nothing screams "modern" like 30-year-old #programming #paradigms. 🤖 Spoiler: it's still tricky, but at least we got to learn what a "functor" is. 🎢
http://www.tutok.sk/fastgl/callback.html #Callbacks #Development #Functors #HackerNews #ngated -
🎩 Ah, the eternal struggle with #C++ callbacks! 🚀 A thrilling tale of trying to make disparate #software pieces play nice, circa 1994—because nothing screams "modern" like 30-year-old #programming #paradigms. 🤖 Spoiler: it's still tricky, but at least we got to learn what a "functor" is. 🎢
http://www.tutok.sk/fastgl/callback.html #Callbacks #Development #Functors #HackerNews #ngated -
🎩 Ah, the eternal struggle with #C++ callbacks! 🚀 A thrilling tale of trying to make disparate #software pieces play nice, circa 1994—because nothing screams "modern" like 30-year-old #programming #paradigms. 🤖 Spoiler: it's still tricky, but at least we got to learn what a "functor" is. 🎢
http://www.tutok.sk/fastgl/callback.html #Callbacks #Development #Functors #HackerNews #ngated -
📚🤓 Oh, look! Another mind-numbing dive into the abstract abyss of Category Theory, where somehow "natural transformations" sound like something out of a biology textbook. But fear not, if you squint hard enough, you might just see a functor magically morph into something more... or not. 🙃🔄
https://abuseofnotation.github.io/category-theory-illustrated/11_natural_transformations/ #CategoryTheory #AbstractMath #Functors #NaturalTransformations #MathHumor #HackerNews #ngated -
📚🤓 Oh, look! Another mind-numbing dive into the abstract abyss of Category Theory, where somehow "natural transformations" sound like something out of a biology textbook. But fear not, if you squint hard enough, you might just see a functor magically morph into something more... or not. 🙃🔄
https://abuseofnotation.github.io/category-theory-illustrated/11_natural_transformations/ #CategoryTheory #AbstractMath #Functors #NaturalTransformations #MathHumor #HackerNews #ngated -
📚🤓 Oh, look! Another mind-numbing dive into the abstract abyss of Category Theory, where somehow "natural transformations" sound like something out of a biology textbook. But fear not, if you squint hard enough, you might just see a functor magically morph into something more... or not. 🙃🔄
https://abuseofnotation.github.io/category-theory-illustrated/11_natural_transformations/ #CategoryTheory #AbstractMath #Functors #NaturalTransformations #MathHumor #HackerNews #ngated -
📚🤓 Oh, look! Another mind-numbing dive into the abstract abyss of Category Theory, where somehow "natural transformations" sound like something out of a biology textbook. But fear not, if you squint hard enough, you might just see a functor magically morph into something more... or not. 🙃🔄
https://abuseofnotation.github.io/category-theory-illustrated/11_natural_transformations/ #CategoryTheory #AbstractMath #Functors #NaturalTransformations #MathHumor #HackerNews #ngated -
Ah, the mystical world of #functors, #applicatives, and #monads – where programmers gather to discuss #concepts only they pretend to understand. 🤔🎩✨ Don't worry, this article assures you that knowing #Haskell isn't necessary, but let's be honest, without it, you're basically reading a recipe in Klingon. 📜👽
https://www.thecoder.cafe/p/functors-applicatives-monads #programming #humor #HackerNews #ngated -
Ah, the mystical world of #functors, #applicatives, and #monads – where programmers gather to discuss #concepts only they pretend to understand. 🤔🎩✨ Don't worry, this article assures you that knowing #Haskell isn't necessary, but let's be honest, without it, you're basically reading a recipe in Klingon. 📜👽
https://www.thecoder.cafe/p/functors-applicatives-monads #programming #humor #HackerNews #ngated -
Ah, the mystical world of #functors, #applicatives, and #monads – where programmers gather to discuss #concepts only they pretend to understand. 🤔🎩✨ Don't worry, this article assures you that knowing #Haskell isn't necessary, but let's be honest, without it, you're basically reading a recipe in Klingon. 📜👽
https://www.thecoder.cafe/p/functors-applicatives-monads #programming #humor #HackerNews #ngated -
Ah, the mystical world of #functors, #applicatives, and #monads – where programmers gather to discuss #concepts only they pretend to understand. 🤔🎩✨ Don't worry, this article assures you that knowing #Haskell isn't necessary, but let's be honest, without it, you're basically reading a recipe in Klingon. 📜👽
https://www.thecoder.cafe/p/functors-applicatives-monads #programming #humor #HackerNews #ngated -
#Rust 1.75 now has impl Trait in return position in traits!
If I'm not wrong - am I wrong? - that means now it's possible to write #functors in an easy way.
And finally clean #generators :
impl Array2d for MyImage {
fn iter_pixels() -> impl Iterator {
self.0.iter().map(...)
}
} -
(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
-
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
-
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
-
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
-
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
-
CW: Math links and ideas, 11/n
@MalthusJohn @[email protected]
#Functors, in topology, map paths one to another, informally saying, in the sense they're "similar enough".Two algebraic structures of the same type, say, two groups, are #isomorphic if there's a map between them that preserves the group's operation; in other words, the groups are "the same", just with different labels for the elements and operation.
-
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.
-
I need an aside here to explain what #FunctionalProgramming is all about without having to descend into #Monads or #Functors or, you know, everything.
2/
