#functionalprogramming résultats de recherche
Array.map() transforms every element: const doubled = arr.map(x => x * 2) Returns new array, original unchanged. #JavaScript #Arrays #FunctionalProgramming
Bridging category theory and functional programming for enhanced learning. ~ Fethi Kadhi. mecs-press.org/ijmsc/ijmsc-v1… #Haskell #FunctionalProgramming #CategoryTheory
Great expectations: Unifying statistical theory and programming. ~ Bradley Saul. arxiv.org/abs/2510.09853 #ITP #Agda #FunctionalProgramming #Math
Non-obvious Haskell idiom: Bind to lambda case. ~ kqr. entropicthoughts.com/non-obvious-ha… #Haskell #FunctionalProgramming
Exploring Arrows for sequencing effects. ~ Chris Penner. chrispenner.ca/posts/arrow-ef… #Haskell #FunctionalProgramming
Readings shared October 16, 2025. jaalonso.github.io/vestigium/post… #AI #CompSci #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math
Readings shared October 15, 2025. jaalonso.github.io/vestigium/post… #AI #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LiquidHaskell #Math #OCaml #Rocq
Arrows to arrows, categories to queries. ~ Sandy Maguire. reasonablypolymorphic.com/blog/arrows-to… #Haskell #FunctionalProgramming
Verifying the functional correctness of Braun trees with LiquidHaskell. ~ Felipe de León, Alberto Pardo, Marcos Viera. systemf.epfl.ch/etc/vstte2025/… #Haskell #FunctionalProgramming #LiquidHaskell
How much is in a square? Calculating functional programs with squares. ~ Jose Nuno Oliveira. lmf.di.uminho.pt/Ibex/oliveira2… #Haskell #FunctionalProgramming
Readings shared October 14, 2025. jaalonso.github.io/vestigium/post… #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Python #RustLang #SetTheory
JS in 2025: Functional programming is no longer a niche! Expect seamless data transformations & predictable UIs using libraries like Immer & Ramda. Focus on immutability & pure functions for easier debugging & AI-powered optimization. #JavaScript #FunctionalProgramming #WebDev

Making change: Array-based dynamic programming. ~ James Bowen. mmhaskell.com/blog/2025/10/1… #Haskell #FunctionalProgramming #RustLang
Practical FP in Scala by Gabriel Volpe is on sale on Leanpub! Its suggested price is $49.99; get it for $35.99 with this coupon: leanpub.com/sh/WpAYemma @volpegabriel87 #Scala #FunctionalProgramming #Software
Something went wrong.
Something went wrong.
United States Trends
- 1. George Santos 41.6K posts
- 2. Carson Beck 1,873 posts
- 3. #SmackDown 11.8K posts
- 4. Louisville 9,102 posts
- 5. Springer 8,247 posts
- 6. Malachi Toney 1,022 posts
- 7. Dan Wilson 1,654 posts
- 8. #askdave N/A
- 9. Canzone 2,979 posts
- 10. Jeff Brohm N/A
- 11. End 1Q N/A
- 12. End of 1st 1,539 posts
- 13. #DaytimeEmmys 2,503 posts
- 14. Tina Peters 6,265 posts
- 15. Bryce Miller 1,869 posts
- 16. Bryan Woo 1,086 posts
- 17. Chris Bell N/A
- 18. Alejandro Kirk 1,154 posts
- 19. #FireCountry N/A
- 20. Sol Ruca 1,209 posts