#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
Folds on lists. ~ Jeremy Gibbons patternsinfp.wordpress.com/2018/08/14/fol… #FuncionalProgramming #Haskell
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
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?
"Foundation of Functional Programming" day 2 by @GiulioCanti ... illuminating #funcionalprogramming #fp thx to @gabrielelana @Mikamai and @LinkMeSRL
Te cuesta entender map, filter o reduce? Seguro que después de ver esta imagen no. #FuncionalProgramming
Você precisa dominar a recursão se pratica a programação funcional diariamente 🙌🙌 #funcionalprogramming #typescript #javascript #kotlin
I had a lot of #Spark and #FuncionalProgramming talk by @holdenkarau 😀 #FunctionalProgrammingToTheRescue
Announcing the optics library. ~ Adam Gundry. well-typed.com/blog/2019/09/a… #Haskell #FuncionalProgramming
Functional programming in data science projects. ~ Nathanael Weill. towardsdatascience.com/functional-pro… #FuncionalProgramming #DataScience
Describing microservices using modern Haskell. ~ Alejandro Serrano (@trupill). 47deg.com/blog/mu-in-has… #FuncionalProgramming #Haskell
¿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
Simply typed lambda calculus. ~ Splinter Suidman. splintah.gitlab.io/posts/2020-05-… #Haskell #FuncionalProgramming #LambdaCalculus
Bits instance of Integer. ~ Ken T Takusagawa. kenta.blogspot.com/2020/12/orptuq… #Haskell #FuncionalProgramming
Calculating correct compilers II (Return of the register machines). ~ Patrick Bahr, Graham Hutton. cs.nott.ac.uk/~pszgmh/ccc2.p… #Haskell #FuncionalProgramming
Automated conjecturing in QuickSpec. ~ Moa Johansson, Nicholas Smallbone. cse.chalmers.se/~jomoa/papers/… #Haskell #FuncionalProgramming
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
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
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
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
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
Intetesting reading while waiting for the flight #softwarearchitecture #funcionalprogramming #haskell
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
Write a GHC extension in 30 minutes by Richard Eisenberg at @ZuriHac 2020 ... #Haskell #FuncionalProgramming #GHC #FP #ZuriHac youtu.be/bhhE2DxbrJM
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
Something went wrong.
Something went wrong.
United States Trends
- 1. Good Wednesday 18.6K posts
- 2. Hump Day 8,709 posts
- 3. Lakers 96.1K posts
- 4. #wednesdaymotivation 3,683 posts
- 5. Luka 73.2K posts
- 6. Froot N/A
- 7. Pharos 9,898 posts
- 8. Ayton 16.1K posts
- 9. #MLBS6Spoilers 10.4K posts
- 10. Talus Labs 15.4K posts
- 11. Warriors 97.2K posts
- 12. $BYND 121K posts
- 13. Steph 35.1K posts
- 14. Shai 34.6K posts
- 15. #MOST_WANTED_IN_OAKLAND N/A
- 16. Usha Vance 8,967 posts
- 17. Marcus Smart 8,982 posts
- 18. Jen Psaki 9,700 posts
- 19. Kuminga 11.2K posts
- 20. Sengun 26.7K posts