#haskell kết quả tìm kiếm
Was an honor to present at this year's @icfp_conference Haskell Symposium representing @anduriltech talking about how we use #Haskell in embedded systems programming! Had great conversations and my takeaway is STM is probably the single best-yet-underused PL technologies ever
🚀 just uploaded (link in reply): Combinatorial Interview Problems with Backtracking Solutions - From Imperative ProceduralProgramming to Declarative Functional Programming #scala #haskell #python
Question. Does he code #Elixir or #Haskell. Bringing in @ryanrwinchester & @TravisMWhitaker for their expert take.
I successfully hooked up ghcid to LLM. #Haskell So, it no longer has to waste time with Nix devShell and cabal build. ghcid gives you instant feedback, which speeds up the LLM workflow. Nit: ghcid is not particularly reliable, so you may have to restart it from time to time.
Wouldn't it be nice if Scala supported pattern matching in function definitions, just like Haskell or Elixir? #scala #haskell #elixir
"When you finally understand monads and realize… it’s just vibes inside a box 📦🙂 #Haskell #Monad" @monad
wrote a quick blog post about expressing and proving the Baby Paradox in #Haskell. the concrete implementation had been a go-to LLM stumper for me until GPT 5, so I thought it was about time!
How much is in a square? Calculating functional programs with squares. ~ Jose Nuno Oliveira. cambridge.org/core/journals/… #Haskell #FunctionalProgramming
Java will get typeclasses: youtube.com/watch?v=Gz7Or9…. #haskell finally coming to the masses!
youtube.com
YouTube
Growing the Java Language #JVMLS
Try similar code in #haskell and the answer will be 3. Check what happens in #fsharp and enjoy. Thanks to @headinthebox for the lesson.
𝚝𝚢𝚙𝚎s, 𝚃𝚢𝚙𝚎s, 𝚃𝚈𝙿𝙴s! Do you know the difference between these three keywords/identifiers in Haskell? #haskell
types!, Types!, TYPES! Did you know Racket supports static type checking? #lisp
🇨🇵 Une Ode a la programmation Tacite (@ForkitCommunity 2024) youtu.be/FYUCJmPxYiM?fe… #FP #OCaml #haskell
youtube.com
YouTube
Une ode à la programmation tacite – Xavier Van de Woestyne
My #Clash talk from @LambdaDays 2025: A whirlwind tour of building a Flappy Bird game on an #FPGA using #Haskell. youtu.be/ZWjLC-iINaM
youtube.com
YouTube
Haskell for FPGA design: It's easy as 1 - 2 - 3 ... 419,200 - Gergő...
Pattern Guards, #haskell since 2010
This pattern has been growing on me: match () { _ if <condition> => expr, _ if <condition> => expr, _ => expr, } Basically an if-else but much cleaner syntactically IMO.
#Exercitium: Problema de las puertas. jaalonso.github.io/exercitium/pos… #Haskell #ProgramaciónFuncional #Matemáticas
CORRE! Kit Cavalo Forte Haskell (1L) no MENOR PREÇO! Crescimento e Força! 🐴✨ DE R$ 189,90 (Média de Mercado) por SÓ R$ 133,15! Use o CUPOM 15%: BFBELEZA no link! 🔗 amzn.to/4p86qN1 #DerePromoções #Haskell #CavaloForte #Cabelos
#Exercitium: Llanuras de longitud dada. jaalonso.github.io/exercitium/pos… #Haskell #ProgramaciónFuncional
Little Current stories with news footage and Preakness/ Haskell race foo... youtu.be/E17vKmR7Fgo?si… via @YouTube #LittleCurrent @PreaknessStakes @BelmontStakes #TripleCrown #Haskell #HorseRacing
youtube.com
YouTube
Little Current stories with news footage and Preakness/ Haskell race...
Readings shared November 27, 2025. jaalonso.github.io/vestigium/post… #AI #FunctionalProgramming #Haskell #ITP #LeanProver #Math
Lambda calculus and typing. ~ Noam Zeilberger. noamz.org/teaching/CSE30… #Haskell #FunctionalProgramming #LambdaCalculus #TypeTheory
Higher-order functions and type classes. ~ Noam Zeilberger. noamz.org/teaching/CSE30… #Haskell #FunctionalProgramming
#Exercitium: Expresiones vectoriales. jaalonso.github.io/exercitium/pos… #Haskell #ProgramaciónFuncional #Matemáticas
Readings shared November 26, 2025. jaalonso.github.io/vestigium/post… #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LambdaCalculus #Math #TypeTheory
NEW BLOG: Exploring #Hasktorch, a #Haskell binding for deep learning, and how it uses FFI to integrate with #LibTorch. Curious how Haskell handles tensors, neural nets, and GPU training? Read it here: stackbuilders.com/insights/haskt… #DeepLearning #FunctionalProgramming
First-order data types and pattern-matching ~ Noam Zeilberger. noamz.org/teaching/CSE30… #Haskell #FunctionalProgramming
Introduction to functional programming. ~ Noam Zeilberger. noamz.org/teaching/CSE30… #Haskell #FunctionalProgramming
Readings shared November 25, 2025. jaalonso.github.io/vestigium/post… #AI #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #Programming #Rocq
Pragmatic Type-Level Design (PTLD E-Book) by Alexander Granin is on sale on Leanpub! Its suggested price is $39.00; get it for $18.75 with this coupon: leanpub.com/sh/sHwdkZI6 @graninas #SoftwareEngineering #Haskell #FunctionalProgramming #SoftwareArchitecture
#Exercitium: Expresiones aritmética normalizadas. jaalonso.github.io/exercitium/pos… #Haskell #ProgramaciónFuncional #Matemáticas
📘 Haskell – Curso Completo Domine programação funcional com elegância, clareza e poder. 🔗 Compre aqui: amazon.com.br/Haskell-Comple… #Haskell #ProgramaçãoFuncional #Dev
Advent of code is starting soon. Do you plan to particiate? If so, with what language/tooling? I'll probably try to do it in #haskell as in most years. This year is the first one with only 12 riddles. adventofcode.com
第319回Haskell-jpもくもく会 @ オンライン は 11月30日に行います。 #haskell haskell-jp.connpass.com/event/376941/
Something exciting arrived in the mail today 🤩 Maybe I should share some of my favorite books with you all before I finish this one? 🤔 What are some of YOUR favorite books on functional programming or IT in general? #functionalprogramming #book #haskell @graninas
Try similar code in #haskell and the answer will be 3. Check what happens in #fsharp and enjoy. Thanks to @headinthebox for the lesson.
Wouldn't it be nice if Scala supported pattern matching in function definitions, just like Haskell or Elixir? #scala #haskell #elixir
I successfully hooked up ghcid to LLM. #Haskell So, it no longer has to waste time with Nix devShell and cabal build. ghcid gives you instant feedback, which speeds up the LLM workflow. Nit: ghcid is not particularly reliable, so you may have to restart it from time to time.
📣 Attention #Haskell #Cardano Devs 📣 Maestro is on a quest to enhance our open-source #SDK repos! This week, we're focusing on our Haskell SDK issues! All the tasks in our Haskell repo have been listed! Maestro will award you 4 million Compute credits for every 5 endpoints…
I am very excited about reading this book, what a treat!! #physics . #haskell . #functionalprogramming
"When you finally understand monads and realize… it’s just vibes inside a box 📦🙂 #Haskell #Monad" @monad
Something went wrong.
Something went wrong.
United States Trends
- 1. #SurvivorSeries 103K posts
- 2. Auburn 18.4K posts
- 3. Liv Morgan 23.1K posts
- 4. Vandy 15.3K posts
- 5. John Cena 27.1K posts
- 6. Ty Simpson 1,836 posts
- 7. Nikki 30.9K posts
- 8. Bama 17.8K posts
- 9. Roxanne 5,812 posts
- 10. Norvell 5,071 posts
- 11. Oklahoma 31.7K posts
- 12. Lash Legend 6,648 posts
- 13. Rhea 18.8K posts
- 14. Stephanie Vaquer 6,081 posts
- 15. Mateer 7,912 posts
- 16. Tim Banks 3,185 posts
- 17. Dirty Dom 1,369 posts
- 18. #RollTide 2,201 posts
- 19. Heupel 3,161 posts
- 20. Tennessee 43.8K posts