#haskellx kết quả tìm kiếm
I saw that the Haskell pyramid diagram was being used at #HaskellX and on reflection of 2 months worth looking at Haskell roles I ended up remaking the diagram a little. 100% there are available #Haskell roles and hopefully it's growing 😍
Niki shows how all the proofs from Programming in Haskell can be machine checked in Liquid Haskell - nice! #haskellx @nikivazou
Finally proper records to come to #haskell (I can't think this proposal won't be accepted in one form or another) #haskellX
I love charts like this; an excerpt from Build Systems a'la Carte at #haskellx. A great denotational design breakdown of build-systems! This slide shows how constraining effect systems results in different build-system models! Fantastic talk @andreymokhov! skillsmatter.com/skillscasts/14…
You don't have to understand all the fancy type theory to be productive with Haskell @sassela #haskellx
Looking forward to @InputOutputHK 's Head of Engineering Duncan Coutts' presentation on building #Cardano with Haskell at #HaskellX 😃
I find it incredibly classy when people put live-compiling environments directly in their slides. @nikivazou nailing it at #haskellx. 👏
New videos uploaded! We have recovered 20 more videos of talks from HaskellX 2018. Check it out! #haskellx #haskellfoundation youtube.com/@haskellfounda…
Delighted to have you along to Haskell eXchange together with the fantastic speaker line up over the last 2 days. You have all been such a great and engaged audience. See you next year. #haskell #HaskellX
Just attended the #HaskellX and it was amazing! So many talented speakers and engaging workshops. If you're interested in functional programming, you won't want to miss it next year! #Haskell #programming Thanks to @skillsmatter
Just attended the #HaskellX and it was amazing! So many talented speakers and engaging workshops. If you're interested in functional programming, you won't want to miss it next year! #Haskell #programming Thanks to @skillsmatter
On stage next at #Haskell eXchange is @EdskoDeVries from @Well-Typed with his talk "Sharing is Caring? Comparing ownership in Haskell and Rust" #HaskellX #haskell #RUST #RustLang #functionalprogramming
COMING UP NEXT at #Haskell eXchange 2022 is @janiczek Martin is talking to "How to do Property-based Testing Shrinkers Right" #HaskellX
A warm welcome back now to #Haskell eXchange for Trevis Elser from @flipstonetech telling us "How We Haskell: Enterprise Edition" #HaskellX #functionalprogramming
Coming up after lunch at The 2022 #Haskell eXchange Conference is Lyle Kopnicky talking about "How to design a variadic non-empty list constructor" #HaskellX #functionalprogramming
Thank you #HaskellX to Rahul Korthiwada from @juspay who is sharing how his team created a workflow #monad that provides a common framework for any workflow across their services to be reliably written with ease! #Haskell
On stage now is at Haskell eXchange 2022 is @mgajda "Live Coding a Roguelike Game" #Haskell #HaskellX #functionalprogramming
Big shout out to all our lovely sponsors of HaskellX eXchange 2022 - @JUSPAY @flipstonetech @tweagio @Signify_Tech @welltyped @InputOutputHK @serokell & @migamake #haskell #HaskellX #functionalprogramming
It's not often you see such a highly engaged audience but that is the power and attraction of Simon Peyton Jones when it comes to all things #Haskell #HaskellX #functionalprogramming
Packed room, riveted to every word coming from Simon Peyton Jones at #HaskellX #haskell #functionalprogramming
Simon Peyton Jones talking at #haskellx about the Verse language. I'm reminded of @DRMacIver' schroedinteger :)
Every #haskell programmers fav presenter - Simon Peyton Jones OBE - is keynoting this morning at #HaskellX eXchange Conference #functionalprogramming
Simon Peyton Jones talking at #haskellx about the Verse language. I'm reminded of @DRMacIver' schroedinteger :)
Back at @codenodeuk for day 2 of #Haskell eXchange and we are delighted to welcome back Simon Peyton Jones for the opening keynote #HaskellX #functionalprogramming
Final talk of the day comes from @RohanMe93264078 a super talented student & #Haskell tutor presenting on "Teaching Haskell to High Schoolers" #HaskellX #functional programming
I love charts like this; an excerpt from Build Systems a'la Carte at #haskellx. A great denotational design breakdown of build-systems! This slide shows how constraining effect systems results in different build-system models! Fantastic talk @andreymokhov! skillsmatter.com/skillscasts/14…
I can't believe I wont the ticket for #haskellX 2018 it's awesome . Thanks @Functionalworks for the opportunity. You rock 🤘
Something went wrong.
Something went wrong.
United States Trends
- 1. Bears 86.5K posts
- 2. Jake Moody 12.8K posts
- 3. Snell 22.6K posts
- 4. Falcons 49.8K posts
- 5. Bills 138K posts
- 6. Caleb 47.2K posts
- 7. Josh Allen 25.5K posts
- 8. #BearDown 2,227 posts
- 9. Jayden 21.9K posts
- 10. Swift 288K posts
- 11. #Dodgers 14.7K posts
- 12. phil 161K posts
- 13. Ben Johnson 4,051 posts
- 14. Turang 4,134 posts
- 15. Bijan 31.5K posts
- 16. Troy Aikman 5,945 posts
- 17. #RaiseHail 8,341 posts
- 18. Roki 5,955 posts
- 19. #NLCS 14.1K posts
- 20. Brewers 47.3K posts