Haskell Ebooks @haskell_ebooks
A bot inspired by the poetry of the Haskell and functional language communities. By @atduskgreg. Joined August 2014-
Tweets9K
-
Followers211
-
Following2
-
Likes0
The essential tricks in this case, curry would not appear in the case of Maybe, we need to invoke type-checking at dynamic typing with GHC.
Given λ p → v ≡ apply ∘ const , △ id ∘ C f △ g ∘ f ≡ C f △ g ≡ C exl ∘ exr △ exl This combination
Similarities: Monoid, MonadPlus, and Category, have really struck me lately.
A better solution is available with both lambda application. Let’s express functions via an alternative representation of lambda abstraction
I want static checking of my source code of `StateTrie`, see the github project.
Once we allow subtraction, we have a fundamental constructor
The compiler is a bit out of this type would also break the Haskell source language has a Zen-like
Int obeys the Monoid laws for much more about parallel computation for the seeming contradiction.
Value-level plus is lowercase but type-level Plus would need to flatten them into System F which contains only abstractions and applications
Soso Ibn Ben Bakr Rus... @AdArmaCives
1K Followers 4K Following Caucasian. wrightwinger. Georgian Legionaire. Matematician. War veteran. RUST/SCALA/HASKELL/R. Weapons, NRA!
Eduardo1960 @Eduardo_Zito
85 Followers 140 Following
Even Brenden 🇺🇦 @evenbrenden
35 Followers 308 Following I like Haskell, Nix and 1987-2005 Star Trek series.
salim pamukcu @Salimp2009Salim
425 Followers 2K Following @[email protected] C++🚀🚀 & 🦀🦀 Self Learning Programmer C++23+, Rust , Haskell, Linux, vim/nvim, Lunarvim,... 🙈
Giulio Cesare 🏳️... @gcsolaroli
728 Followers 1K Following https://t.co/iULrD23XWX - Mastodon https://t.co/w3NohMP4rt - BlueSky
Александр Н... @maptupyc
18 Followers 1K Following
TheVenerableB3d3 @VenerableB3d3
2 Followers 293 Following Mathematician transitioning into cyber security.
Miguel @migelgt
0 Followers 320 Following
Meera Mandakini @MandakiniMeera
459 Followers 5K Following Motivational Speaker | Relationship Management /Motivational Books, Notebooks for Students, Professionals | Kids drawing | coloring | story books I https://t.co/N7eysu6lZm
zn. moh @1Znati
733 Followers 5K Following
Matt Rhone @kritoke
324 Followers 2K Following IT Professional, Web Design Tinkerer (Hugo, SvelteKit), Minimalist at Heart. Knee deep in learning programming. Mastodon: https://t.co/84mkQ7Fnai
@[email protected]... @giladwo
43 Followers 3K Following Talks either too much or not at all. Interested in all things programming; especially PLT, libre software, logic, CT & HoTT. AKA Dr Function, Cool Shirt Person.
JCesar @JElyphas
203 Followers 2K Following
saúl :: utf8 @saulecabrera
276 Followers 458 Following
Dolooper @dolooperguy
97 Followers 259 Following Yet another software developer. Currently interested in @elixirlang and @elmlang
Appscurry @appscurry
47 Followers 397 Following Developer@NewsWhip | Simple Human being with Complex emotions.... | Nothing is permanent no matter how good or bad !
Monday Morning Haskel... @HaskellMonday
70 Followers 36 Following We write tons of tutorials and guides about the Haskell programming language!
Luis Astorga J. @teatromental
63 Followers 681 Following
Avi Dessauer @AviDessauer
281 Followers 859 Following Rust, AI, non AI pictures of other people's cats
David Young @roboguy20
503 Followers 1K Following Computer science PhD student focusing in programming languages
☓ @__this_username
0 Followers 1K Following
jieyouxu @jieyouxu
146 Followers 2K Following meow I add bugs to rustc and bootstrap :3 pfp by @Isagu_art - https://t.co/zUSAXDekgU
Shane Montague @ackgoonthen
97 Followers 2K Following
ibrahimahmed @ibrahimahmed
68 Followers 1K Following There's some good in this world, and it's worth fighting for.
HaskellKatas @HaskellKatas
28 Followers 113 Following Learn to program by serendipity. Welcome to the gymnastics of code katafication.
Adam Flott @adamflott
105 Followers 1K Following
Mickaël Fortunato @Morsicus
260 Followers 732 Following DevOps @heetch | Love #Mesos | #Kubernetes | #Rustlang | #Elixir | #Golang (enthusiastic about #Clojure, #Haskell)
Aaron W. West @tallpeak
144 Followers 712 Following SQL developer with functional programming interests (F#, Haskell, Clojure)
mitchellsalad @mitchellsalad
201 Followers 601 Following mitchell @unisonweb formerly @SimSpaceCorp @sentenai
abinaya sudhir @abinaya_sudhir
29 Followers 273 Following
steve mao @MaoStevemao
244 Followers 1K Following Co-Founder of https://t.co/AZwW232mro, ex Atlassian, technologist
Peter Storm @peterstorm_io
74 Followers 554 Following Senior Software Engineer by day, Lambda Mans trusty Haskell sidekick by night! ... not literally, but man it would be a trip to run around with mr. Wadler!
Jens Kintrup @JensKintrup
16 Followers 209 Following Father | Husband | Technology Enthusiast | Haskeller | Dancer | Photographer
6d6f7274686f6e @6d6f7274686f6e
66 Followers 1K Following tḩ́̕iņk̡͘͞ ̀͝b͜lu̵͟e͠;͏̴̸̡͘ ̡ ̵c̡̀o̧͡u̢n̶̛t u̢i̷n͟ţ̛6́͝͡4_̢t;; ̜̩̦̭̱̠͜o͙̘͇̟͓̦̟͞ṕ̦͟e̯̪͘͡ń̴̸̦ ̸̻̼̞͎t̡͔͈h͎͖͉̻̘e̻ ̯̼̜͓͈̘͠txEn. FR/EN ok, DE/RU up to homotopy
Arthur @arthurvard
7 Followers 205 Following
Gustavo Franke @gustavofranke
101 Followers 485 Following
ovais @0vai5
61 Followers 797 Following
Andreas Röhler @AndreasRohler
1 Followers 125 Following
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
MT⬡572A @MT6572A
1K Followers 5K Following 'security researcher' in air quotes - she/her - please send me interesting stuff - DMs open, feel free to ping me for any or no reason
freeman42x @freeman42x
2K Followers 2K Following 🔬🤖⚖️ AGI Philosoraptor, spaces host: ASI, AGI, AI, LLMs, Ethics
. @mrb_bk
4K Followers 1 Following
Greg Borenstein @atduskgreg
5K Followers 1K Following Senior Technical Game Design Manager at @riotgames: Design Lead on Secret New Thing. Before: TFT, Nexus Blitz, NYU ITP, MIT Media Lab, @MinorityReport futurist.Trends for United States
136 B posts
1.198 posts
29,5 B posts
3.315 posts
18,5 B posts
36,9 B posts
4.310 posts
9.596 posts
45,6 B posts
94,1 B posts
94,5 B posts
1.576 posts
4.802 posts
1.407 posts
25,1 B posts
85,2 B posts
1.543 posts
85,7 B posts
50,2 B posts
37,3 B posts
You might like
Well-Typed
@welltyped
6K Followers
Nikita Volkov
@NikitaYVolkov
1K Followers
Tweag
@tweagio
6K Followers
Neil Mitchell (neildm...
@ndm_haskell
5K Followers
Michael Snoyman
@snoyberg
6K Followers
Andres Löh
@kosmikus
3K Followers
Tikhon Jelvis
@tikhonjelvis
3K Followers
Vladislav Zavialov
@int_index
2K Followers
Veronika Romashkina
@vrom911
3K Followers
Jeremy Gibbons
@jer_gib
2K Followers