Haskell Ebooks @haskell_ebooks
A bot inspired by the poetry of the Haskell and functional language communities. By @atduskgreg. Joined August 2014-
Tweets9K
-
Followers230
-
Following2
-
Likes1
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
Camarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following @haskellfound data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone #Haskell they/them (PP by @HuntyDraws).
Soso Ibn Ben Bakr Rus.. @PradoeSousa
342 Followers 1K Following Caucasiano. Direitista. Bolsonarista. Matemático. Corretor de imóveis. Armamentista!
Eduardo1960 @Eduardo_Zito
62 Followers 114 Following
aramya @thmgdi
214 Followers 2K Following interested in low-level computing, pwn and functional programming :)
Even Brenden 🇺🇦 @evenbrenden
50 Followers 350 Following I like Haskell, Nix and 1987-2005 Star Trek series.
salim pamukcu @Salimp2009Salim
399 Followers 2K Following @[email protected] C++🚀🚀 & 🦀🦀 Self Learning Programmer C++23+, Rust , Haskell, Linux, vim/nvim, Lunarvim,... 🙈
Александр Н.. @maptupyc
19 Followers 1K Following
TheVenerableB3d3 @VenerableB3d3
2 Followers 312 Following Mathematician transitioning into cyber security.
Miguel @migelgt
0 Followers 328 Following
Meera Mandakini @MandakiniMeera
468 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
859 Followers 5K Following
Matt Rhone @kritoke
335 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
44 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
204 Followers 2K Following
saúl :: utf8 @saulecabrera
286 Followers 469 Following
Dolooper @dolooperguy
107 Followers 279 Following Yet another software developer. Currently interested in @elixirlang and @elmlang
Appscurry @appscurry
45 Followers 399 Following Developer@NewsWhip | Simple Human being with Complex emotions.... | Nothing is permanent no matter how good or bad !
Monday Morning Haskel.. @HaskellMonday
74 Followers 39 Following We write tons of tutorials and guides about the Haskell programming language!
Luis Astorga J. @teatromental
78 Followers 702 Following
David Young @roboguy20
247 Followers 1K Following Computer science PhD student focusing in programming languages and semantics at the University of Kansas @kuengineering
Zero @__this_username
1 Followers 745 Following
mem::transmute @jieyouxu
131 Followers 2K Following Rust 🦀 enjoyer. Not a toaster 🍞. PFP by @Isagu_art
Shane Montague @ackgoonthen
100 Followers 2K Following
ibrahimahmed @ibrahimahmed
71 Followers 1K Following There's some good in this world, and it's worth fighting for.
HaskellKatas @HaskellKatas
30 Followers 111 Following Learn to program by serendipity. Welcome to the gymnastics of code katafication.
Adam Flott @adamflott
108 Followers 1K Following
Mickaël Fortunato @Morsicus
267 Followers 769 Following DevOps @heetch | Love #Mesos | #Kubernetes | #Rustlang | #Elixir | #Golang (enthusiastic about #Clojure, #Haskell)
Aaron W. West @tallpeak
108 Followers 740 Following SQL developer with functional programming interests (F#, Haskell, Clojure)
mitchellsalad @mitchellsalad
245 Followers 588 Following mitchell @unisonweb formerly @SimSpaceCorp @sentenai
abinaya sudhir @abinaya_sudhir
28 Followers 264 Following
steve mao @MaoStevemao
254 Followers 1K Following Co-Founder of https://t.co/AZwW232mro, ex Atlassian, technologist
Steven Leiva @StevenLeiva1
310 Followers 3K Following
Peter Storm @peterstorm_io
79 Followers 560 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
13 Followers 219 Following Father | Husband | Technology Enthusiast | Haskeller | Dancer | Photographer
6d6f7274686f6e @6d6f7274686f6e
68 Followers 2K 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
10 Followers 215 Following
Gustavo Franke @gustavofranke
107 Followers 502 Following
ovais @0vai5
61 Followers 762 Following
. @mrb_bk
4K Followers 1 Following
Greg Borenstein @atduskgreg
6K Followers 2K 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
43 B posts
12,4 B posts
28,5 B posts
5.890 posts
32,5 B posts
6.007 posts
19 B posts
11,3 B posts
111 B posts
1.402 posts
196 B posts
23,7 B posts
5.052 posts
10,1 B posts
4.798 posts
1.648 posts
9.738 posts
1.487 posts
3.642 posts
You might like
Well-Typed
@welltyped
6K Followers
Nikita Volkov
@NikitaYVolkov
1K Followers
Tweag
@tweagio
5K Followers
Evil Haskell Tips
@EvilHaskellTips
3K 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
1K Followers
Edsko de Vries
@EdskoDeVries
2K Followers
Anthony Cowley
@a_cowley
2K Followers
Jeremy Gibbons
@jer_gib
2K Followers
Johan Tibell
@johtib
2K Followers