Top Tweets for #Functionalprogramming
Record type inference for dummies. ~ Gabriella Gonzalez. https://t.co/Eot6riWEk1 #Haskell #FunctionalProgramming
Vale notar que o código utilizou o OxCaml, o runtime de OCaml otimizado pela JaneStreet.
De qualquer forma, é um ótimo benchmark. Uma linguagem funcional e com GC chegando no calcanhar de Go, Rust e Zig, com a diferença de meros nanosegundos.
#OCaml #FunctionalProgramming
Learn you a Haskell for great good! (Miran Lipovaca's classic introduction to Haskell, ported to runnable Sabela notebooks). https://t.co/AQIxNg2APT #Haskell #FunctionalProgramming
OCaml 5.5.0 just dropped with module-dependent functions, faster compiler switches, and new string utilities. Worth the upgrade!
Link in the comment
#OCaml #FunctionalProgramming #Programming
Readings shared June 22, 2026. https://t.co/pHFvpQ9E6V #AI4Math #Agda #ChatGPT #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog
Writing static checks to an unsuspecting library with Liquid Haskell. ~ Xavier Góngora. https://t.co/9XszZPMRut #Haskell #FunctionalProgramming
Programmable record types in Haskell. ~ Arthur Jamet, Michael Vollmer. https://t.co/yjy5mk5SWB #Haskell #FunctionalProgramming
#FunctionalProgramming techniques are already in C++ - lambdas, ranges, std::variant, and standard algorithms all reflect these ideas. @ivan_cukic talks about how to apply them in practice to write cleaner, safer modern #cpp. https://t.co/CXxUnvjETq
https://t.co/CXxUnvjETq
Readings shared June 5, 2026. https://t.co/iNT21Hqay5 #AI4Math #Agda #Autoformalization #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #RacketLang
Practical uses of monads in Haskell. ~ Antoine Leblanc. https://t.co/M6HflyLFNH #Haskell #FunctionalProgramming
@josevalim Congrats and big thank you for years of research, dedication, and hard work. The future of Elixir is here! 💜#elixirlang #functionalprogramming #coding
UK Racket meet-up: London 7:30pm Tuesday 19 May 2026
at The City Pride 🍕28 Farringdon Ln, London EC1R 3AU
Join us for discussion and pizza. All welcome.
https://t.co/lxkQUi2pTM
https://t.co/Y4PJgwGIlA
https://t.co/5nHdXKjjkN
#racket #lisp #scheme #functionalprogramming
Richard Feldman rewrote the #Roc compiler from scratch in #Zig.
@rtfeldman and @AnjanaVakil talk about Roc v1 being on the horizon — the first ever numbered release.
Two smart people, no slides, no filter.
👇 https://t.co/WS1DTvR1u4
#FunctionalProgramming #ProgrammingLanguages
MicroHs in the browser. ~ Lennart Augustsson. https://t.co/F4t9lDeWGr #Haskell #FunctionalProgramming
This year’s Scalar was a huge success. Here’s a quick recap of our conference. See for yourself why it’s worth coming next year: https://t.co/aWr7u2HGDG
#scala #functionalprogramming
Last Seen Hashtags on Sotwe
Most Popular Users
Elon Musk 
@elonmusk
240.6M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.7M followers
Cristiano Ronaldo
@cristiano
110.4M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.6M followers
NASA
@nasa
92.2M followers
Justin Bieber
@justinbieber
90.9M followers
KATY PERRY
@katyperry
87.5M followers
Taylor Swift
@taylorswift13
81.4M followers
Lady Gaga
@ladygaga
72.9M followers
Kim Kardashian
@kimkardashian
69.7M followers
Virat Kohli
@imvkohli
69.7M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
63.8M followers
The Ellen Show
@theellenshow
62.5M followers
Neymar Jr
@neymarjr
62.4M followers
CNN
@cnn
61.9M followers
X
@x
60.8M followers
Selena Gomez
@selenagomez
60.6M followers