LambdaDuck

15.8K posts

LambdaDuck banner
LambdaDuck

LambdaDuck

@Anka213

Functional programming and type theory enthusiast #Haskell #Agda. They/Them mastodon: https://t.co/yi842YCJhb bluesky: @anka213.bsky.social

Katılım Mayıs 2011
1.1K Takip Edilen4.3K Takipçiler
Sabitlenmiş Tweet
LambdaDuck
LambdaDuck@Anka213·
Parser in a tweet: import Control.Monad.State import Control.Applicative import Data.List data T = T [T] deriving Show ch c = mfilter (== c) $ StateT uncons parens = T <$ ch '(' <*> many parens <* ch ')' parse = runStateT -- $> parse parens "(()())" -- Just (T [T [],T []],"")
English
16
5
137
0
LambdaDuck
LambdaDuck@Anka213·
@dascryto @AraquelBloss @WhiteHouse @nytimes @ChrisVanHollen i dunno, i think following the constitution is kinda important. none of the things you say have been proven in a court of law. if you can send people to a concentration camp in a foreign country without even having a hearing first, you’re no longer a free country
English
1
0
5
173
dasX 🪽
dasX 🪽@dascryto·
@AraquelBloss @WhiteHouse @nytimes @ChrisVanHollen What’s embarrassing is using tax payer money to go visit an MS-13 gang member, who is documented to have beat him wife and has been in the US illegally for 14 years And then in a sick twisted way trying to virtue signal the morally of how much you “care” You are all sick
English
4
0
40
4.3K
LambdaDuck
LambdaDuck@Anka213·
@brokenwing2005 @marek_zyskowski @ABC i mean, at latest parts of it is possible (as evidenced by this video). just because most of it is made up doesn’t mean that there aren’t some parts that were inspired by true events, but heavily exaggerated to make a better story
English
0
0
0
39
ABC News
ABC News@ABC·
A terrifying incident caught on camera shows the moment a kayaker off the Chilean coast was swallowed by a humpback whale before being released unharmed. abcnews.visitlink.me/8Upj7h
English
233
848
3.3K
1.4M
The White House
The White House@WhiteHouse·
ASMR: Illegal Alien Deportation Flight 🔊
Français
14.1K
12.2K
89.2K
104.7M
LambdaDuck
LambdaDuck@Anka213·
@sam_of_hosseini @traskjd @GergelyOrosz you’re no doubt already aware of this, but keep in mind that the very existence of AI text generation makes marketing through blog posts way more difficult, as people will be way more skeptical of anything they see. but yes, the “actually helps” part seems like a good antidote
English
1
0
1
152
Sam Hosseini
Sam Hosseini@thesamhosseini·
@traskjd @GergelyOrosz TYVM, they do help me, I've never built anything before, let alone for tough audiences like devs. Essentially, make something people want, offer great support, build genuine relationships, write useful non-AI content that actually helps, and survive long enough 👍🏼
English
1
0
3
152
Gergely Orosz
Gergely Orosz@GergelyOrosz·
Unpopular opinion: Developers are some of the most demanding customers to please with developer tools, and are one of the hardest business to make a profit in. When we feel something is a ripoff... we'll build ourselves/migrate/adopt a new tool. Often out of spite!
English
64
57
1.4K
96.1K
LambdaDuck
LambdaDuck@Anka213·
@taoeffect that’s the doctors’ faults for not taking the patients seriously
English
0
0
0
16
LambdaDuck
LambdaDuck@Anka213·
@Wenitte1 people who enjoy mathematics do. i find it really nice to be able to mathematically reason about my code, which also helps increasing my confidence in its correctness, especially if i can encode some properties so the compiler can verify them
English
0
0
1
20
Wenitte Apiou 🇺🇸
Wenitte Apiou 🇺🇸@Wenitte1·
I never got the appeal of functional programming like who wants to think about code that way. I dont like OOP either tho thats why I am making my own paradigm w FuturLang
Dmitrii Kovanikov@ChShersh

I need only one simple example to convince you that OOP patterns are scams, and Category Theory patterns are superior. In the OOP world, when you tell me something is a 'Visitor', you tell me nothing. So are you telling me that this code traverses some values and maybe even recursively calls itself? Well, f*cking thanks, Sherlock, you just literally described 90% of every OCaml project. Your words said nothing of value and wasted my time. However, when you tell me that something is 'Applicative', I immediately know: 1. THE EXACT NAMES OF FUNCTIONS TO USE. Yes, the abstraction is THAT precise. It's and+/pure in OCaml, and the Star Wars TIE Interceptor ship operator/pure in Haskell. 2. THE EXACT TYPES OF EVERY FUNCTION. 3. How to create values of that thing: use 'pure'. 4. How to compose values of that thing: use 'and+'. 5. The parallelism semantics attached to the composition. 6. What extra rules and laws those functions follow. 7. An entire library of 100 REUSABLE FUNCTIONS I can immediately benefit from with my value. 8. What other abstractions are implied: every Applicative is Functor, so by definition, I know what else I can use with my value. You said just one word — Applicative — and it singlehandedly absolutely f*cking destroyed entropy. I immediately know everything I need to know. A single word says more than an entire useless book.

English
1
0
0
172
LambdaDuck
LambdaDuck@Anka213·
@ChShersh i think the reason many prefer OOP patterns is that they inherently describe their purpose and the problem they are meant to solve, while CT patterns just dryly describe the what and not the when or why. the builder pattern tells us when and why to use it, while monoid doesn’t
English
0
0
0
34
Dmitrii Kovanikov
Dmitrii Kovanikov@ChShersh·
I need only one simple example to convince you that OOP patterns are scams, and Category Theory patterns are superior. In the OOP world, when you tell me something is a 'Visitor', you tell me nothing. So are you telling me that this code traverses some values and maybe even recursively calls itself? Well, f*cking thanks, Sherlock, you just literally described 90% of every OCaml project. Your words said nothing of value and wasted my time. However, when you tell me that something is 'Applicative', I immediately know: 1. THE EXACT NAMES OF FUNCTIONS TO USE. Yes, the abstraction is THAT precise. It's and+/pure in OCaml, and the Star Wars TIE Interceptor ship operator/pure in Haskell. 2. THE EXACT TYPES OF EVERY FUNCTION. 3. How to create values of that thing: use 'pure'. 4. How to compose values of that thing: use 'and+'. 5. The parallelism semantics attached to the composition. 6. What extra rules and laws those functions follow. 7. An entire library of 100 REUSABLE FUNCTIONS I can immediately benefit from with my value. 8. What other abstractions are implied: every Applicative is Functor, so by definition, I know what else I can use with my value. You said just one word — Applicative — and it singlehandedly absolutely f*cking destroyed entropy. I immediately know everything I need to know. A single word says more than an entire useless book.
Dmitrii Kovanikov tweet media
English
61
51
703
92.1K
LambdaDuck
LambdaDuck@Anka213·
@TaylorAllred8 @ChShersh they literally have mathematically precise rigorous definitions. that’s the exact opposite of vague. i’d get off your complaint was that they were too abstract or too generic though
English
0
0
1
9
Taylor Allred
Taylor Allred@TaylorAllred8·
@ChShersh They're all bad because they're too vague. The purpose of abstraction is to create layer with precise semantics. These abstractions make things even more vague than the OoP ones.
English
2
0
0
168
Dmitrii Kovanikov
Dmitrii Kovanikov@ChShersh·
Repeat after me. Good abstractions: ✅ Semigroup ✅ Monoid ✅ Monad ✅ Applicative ✅ Functor ✅ Profunctor Bad abstraction: ❌ Strategy ❌ Factory ❌ Builder ❌ Prototype ❌ Adapter ❌ Bridge ❌ Composite
ThePrimeagen@ThePrimeagen

English
91
76
1.4K
596.8K
LambdaDuck
LambdaDuck@Anka213·
@effectfully @thomascortese_ it is _a_ valid definition. not saying it’s the only one. sure it depends on a lot of other parts of the theory, but it’s still a definition
English
0
0
1
81
effectfully
effectfully@effectfully·
IO is a container? Proxy is a container? State is a container? Cont is a container? Async is a container? Parser is a container? Gen is a container? a function is a container?
HSVSphere@HSVSphere

@p1xelHer0 @effectfully A monad is an container that may let you operate on the thing is is containing.

English
32
4
173
25.5K
LambdaDuck
LambdaDuck@Anka213·
@effectfully @ThePrimeagen premature abstraction is the root of all evil well done abstraction is great, but more often than not it is more of an obfuscation layer that just makes it more difficult to figure out what is actually happening
English
0
0
1
245
Total_DK
Total_DK@Total_DK·
@RoborosewaterM Just to clarify the "foreseeable future" part. That means no more posts here (possibly never again), but they'll from now on be posted to the linked platforms?
English
2
0
1
251