#funcionalprogramming 搜尋結果
Disjoint unions cannot be given a group structure, the coproduct in GRP will be the free group. But in the category of Abelian groups coproduct coincide with product and is called direct sum. Same in R-modules and hence vector spaces (!) #funcionalprogramming #categories 9/n
"Foundation of Functional Programming" day 2 by @GiulioCanti ... illuminating #funcionalprogramming #fp thx to @gabrielelana @Mikamai and @LinkMeSRL
Mia figlia mi ha svegliato alle 5. Poi si è riaddormentata. Io non riuscivo a smettere di pensare, ho preso carta, penna ed ho iniziato a scrivere. 3 ore dopo ecco una traccia di 20 pagine + un po' di postit del mio corso su #funcionalprogramming 😎😎 @avanscoperta domani call?
Você precisa dominar a recursão se pratica a programação funcional diariamente 🙌🙌 #funcionalprogramming #typescript #javascript #kotlin
Folds on lists. ~ Jeremy Gibbons patternsinfp.wordpress.com/2018/08/14/fol… #FuncionalProgramming #Haskell
Te cuesta entender map, filter o reduce? Seguro que después de ver esta imagen no. #FuncionalProgramming
I had a lot of #Spark and #FuncionalProgramming talk by @holdenkarau 😀 #FunctionalProgrammingToTheRescue
I'm so happy I found this paper!!! ✅ The Theory of Concatenative Combinators, by Brent Kerby (2007) 🧮 The combinators minimal base has only two elements: "cake" and "k"!!! How is that not awesome??? #combinatorylogic #funcionalprogramming #computerscience
well, the answer is yes, but it's bloody difficult! this video explains beautifully in a very simple way combinators and SKI compilers. enjoy! youtu.be/gnrSedVucXs?si…
youtube.com
YouTube
Introduction to Combinatory Logic – #SoME2
Announcing the optics library. ~ Adam Gundry. well-typed.com/blog/2019/09/a… #Haskell #FuncionalProgramming
¿Desde dónde comunicar o tratar situaciones de error? Parte 2 #funcionalProgramming #HandlingError buff.ly/2wTOeyi
The science behind functional programming. ~ Rafa Paradela. 47deg.com/blog/science-b… #CategoryTheory #FuncionalProgramming #Kotlin
Describing microservices using modern Haskell. ~ Alejandro Serrano (@trupill). 47deg.com/blog/mu-in-has… #FuncionalProgramming #Haskell
Functional programming in data science projects. ~ Nathanael Weill. towardsdatascience.com/functional-pro… #FuncionalProgramming #DataScience
Simply typed lambda calculus. ~ Splinter Suidman. splintah.gitlab.io/posts/2020-05-… #Haskell #FuncionalProgramming #LambdaCalculus
Calculating correct compilers II (Return of the register machines). ~ Patrick Bahr, Graham Hutton. cs.nott.ac.uk/~pszgmh/ccc2.p… #Haskell #FuncionalProgramming
Bits instance of Integer. ~ Ken T Takusagawa. kenta.blogspot.com/2020/12/orptuq… #Haskell #FuncionalProgramming
Some thoughts on building software. ~ Alejandro Serrano (@trupill). gist.github.com/serras/caf3b70… #FuncionalProgramming #Haskell
Awesome video about fp I love his videos and this one especially. For all our fp bros 🧑💻 youtu.be/nuML9SmdbJ4?si… #funcionalprogramming #coding #programming
youtube.com
YouTube
Dear Functional Bros
Performance of Haskell Array libraries through Canny edge detection. ~ Alexey Kuleshevich. alexey.kuleshevi.ch/blog/2020/07/1… #Haskell #FuncionalProgramming
Lucid: Another HTML option. ~ James Bowen (@james_OWA). mmhaskell.com/blog/2020/3/16… #Haskell #FuncionalProgramming
I'm so happy I found this paper!!! ✅ The Theory of Concatenative Combinators, by Brent Kerby (2007) 🧮 The combinators minimal base has only two elements: "cake" and "k"!!! How is that not awesome??? #combinatorylogic #funcionalprogramming #computerscience
well, the answer is yes, but it's bloody difficult! this video explains beautifully in a very simple way combinators and SKI compilers. enjoy! youtu.be/gnrSedVucXs?si…
youtube.com
YouTube
Introduction to Combinatory Logic – #SoME2
Awesome video about fp I love his videos and this one especially. For all our fp bros 🧑💻 youtu.be/nuML9SmdbJ4?si… #funcionalprogramming #coding #programming
youtube.com
YouTube
Dear Functional Bros
Te cuesta entender map, filter o reduce? Seguro que después de ver esta imagen no. #FuncionalProgramming
Functional programming is finally going mainstream by Klint Finley 💎 #funcionalprogramming #fsharp #JavaScript #ruby #python @elmlang #Haskell
github.com/readme/feature… finally. One day I wondered about how Wardley Mapping for languages and evolution of needs would look like. Somehow I felt that OO thinking/langs (not message-oriented languages in the Alan's sense) step from the stage in favour of FP thinking/langs
Really liked this functional approach. Complex code can look much simpler this way 🔥 #javascript #funcionalprogramming #100DaysOfCode
JavaScript Tip 💡 Here's an example of how you can create a reusable and composable pipe using JavaScript.
Automated conjecturing in QuickSpec. ~ Moa Johansson, Nicholas Smallbone. cse.chalmers.se/~jomoa/papers/… #Haskell #FuncionalProgramming
A Vivid Christmas Carol. vivid-synth.com/advent-2020/ #Haskell #FuncionalProgramming #AdventOfHaskell
Capturing the magic of Prelude.interact. ~ Samuel (@haskell_cat). gelisam.blogspot.com/2020/12/captur… #Haskell #FuncionalProgramming #AdventOfHaskell
Bits instance of Integer. ~ Ken T Takusagawa. kenta.blogspot.com/2020/12/orptuq… #Haskell #FuncionalProgramming
Haskell, in Elm terms: Type Classes. ~ @terezk_a medium.com/@terezk_a/hask… #Haskell #FuncionalProgramming #Elm
Advent of Code 2020 solutions in Lean 4. ~ Reid Barton. github.com/rwbarton/adven… #LeanProver #ITP #FuncionalProgramming
github.com
GitHub - rwbarton/advent-of-lean-4: Advent of Code 2020 solutions in Lean 4
Advent of Code 2020 solutions in Lean 4. Contribute to rwbarton/advent-of-lean-4 development by creating an account on GitHub.
Describing microservices using modern Haskell. ~ Alejandro Serrano (@trupill). 47deg.com/blog/mu-in-has… #FuncionalProgramming #Haskell
Performance of Haskell Array libraries through Canny edge detection. ~ Alexey Kuleshevich. alexey.kuleshevi.ch/blog/2020/07/1… #Haskell #FuncionalProgramming
Some thoughts on building software. ~ Alejandro Serrano (@trupill). gist.github.com/serras/caf3b70… #FuncionalProgramming #Haskell
Calculating correct compilers II (Return of the register machines). ~ Patrick Bahr, Graham Hutton. cs.nott.ac.uk/~pszgmh/ccc2.p… #Haskell #FuncionalProgramming
Simple linear regression in one pass. ~ Daniel Brice (@fried_brice). danielbrice.net/blog/simple-li… #Haskell #FuncionalProgramming
Write a GHC extension in 30 minutes by Richard Eisenberg at @ZuriHac 2020 ... #Haskell #FuncionalProgramming #GHC #FP #ZuriHac youtu.be/bhhE2DxbrJM
Functional programming in data science projects. ~ Nathanael Weill. towardsdatascience.com/functional-pro… #FuncionalProgramming #DataScience
Simply typed lambda calculus. ~ Splinter Suidman. splintah.gitlab.io/posts/2020-05-… #Haskell #FuncionalProgramming #LambdaCalculus
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper. ~ Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger. arxiv.org/abs/2005.08396 #FuncionalProgramming #Haskell
Disjoint unions cannot be given a group structure, the coproduct in GRP will be the free group. But in the category of Abelian groups coproduct coincide with product and is called direct sum. Same in R-modules and hence vector spaces (!) #funcionalprogramming #categories 9/n
"Foundation of Functional Programming" day 2 by @GiulioCanti ... illuminating #funcionalprogramming #fp thx to @gabrielelana @Mikamai and @LinkMeSRL
Você precisa dominar a recursão se pratica a programação funcional diariamente 🙌🙌 #funcionalprogramming #typescript #javascript #kotlin
Immutability all the way to the file system with append-only data stores #funcionalprogramming #coding #programming
Intetesting reading while waiting for the flight #softwarearchitecture #funcionalprogramming #haskell
Mia figlia mi ha svegliato alle 5. Poi si è riaddormentata. Io non riuscivo a smettere di pensare, ho preso carta, penna ed ho iniziato a scrivere. 3 ore dopo ecco una traccia di 20 pagine + un po' di postit del mio corso su #funcionalprogramming 😎😎 @avanscoperta domani call?
Te cuesta entender map, filter o reduce? Seguro que después de ver esta imagen no. #FuncionalProgramming
I had a lot of #Spark and #FuncionalProgramming talk by @holdenkarau 😀 #FunctionalProgrammingToTheRescue
Ready for some action #haskellx? Lookin sexy! #funcionalprogramming #monads #haskell #types @NicoleAtSM #codenode @wendydevolder See u here!
I'm so happy I found this paper!!! ✅ The Theory of Concatenative Combinators, by Brent Kerby (2007) 🧮 The combinators minimal base has only two elements: "cake" and "k"!!! How is that not awesome??? #combinatorylogic #funcionalprogramming #computerscience
well, the answer is yes, but it's bloody difficult! this video explains beautifully in a very simple way combinators and SKI compilers. enjoy! youtu.be/gnrSedVucXs?si…
youtube.com
YouTube
Introduction to Combinatory Logic – #SoME2
How a Scala object, which was supposed to be a singleton, is not? A story of one bug by @rucek buff.ly/2SfFfzC #scala #programming #funcionalprogramming
Write a GHC extension in 30 minutes by Richard Eisenberg at @ZuriHac 2020 ... #Haskell #FuncionalProgramming #GHC #FP #ZuriHac youtu.be/bhhE2DxbrJM
Something went wrong.
Something went wrong.
United States Trends
- 1. #IDontWantToOverreactBUT 1,262 posts
- 2. Amazon 561K posts
- 3. Happy Diwali 423K posts
- 4. #MondayMotivation 12.6K posts
- 5. Robinhood 7,915 posts
- 6. Snapchat 107K posts
- 7. James Corden N/A
- 8. Victory Monday 3,860 posts
- 9. Webull 1,215 posts
- 10. Canvas 14.7K posts
- 11. Alford 1,939 posts
- 12. $HOOD 5,133 posts
- 13. KARIME X BILLBOARD 1,698 posts
- 14. Good Monday 47.1K posts
- 15. Colman Domingo 3,555 posts
- 16. Happy Birthday Doja N/A
- 17. $AMZN 16.5K posts
- 18. #MondayVibes 3,362 posts
- 19. JUST ANNOUNCED 28.7K posts
- 20. Festival of Lights 75.5K posts