naomi (forgetful functor)

5K posts

naomi (forgetful functor) banner
naomi (forgetful functor)

naomi (forgetful functor)

@fixedpointfae

25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm

Katılım Şubat 2022
501 Takip Edilen5.1K Takipçiler
naomi (forgetful functor)
naomi (forgetful functor)@fixedpointfae·
just played the TF2 update, i'm really vibin w/ the new tinker and tailor classes
English
0
0
8
1.9K
naomi (forgetful functor)
naomi (forgetful functor)@fixedpointfae·
can't believe netflix straightwashed a relationship as iconic as wang miao x luo ji
English
0
1
3
1.8K
naomi (forgetful functor)
naomi (forgetful functor)@fixedpointfae·
you don't even need a cardboard tube in the middle. just use a corn cob
English
0
0
7
1.3K
naomi (forgetful functor)
naomi (forgetful functor)@fixedpointfae·
why can't i buy a perforated roll of tortillas like with paper towels. just tear one off whenever i need a corn-based flatbread
English
1
0
14
1.7K
naomi (forgetful functor)
naomi (forgetful functor)@fixedpointfae·
@_Akanoa_ specifically, monads like `StateT` or `ReaderT` that wrap functions are annoying to express in rust it's easier to write a single macro that unfolds everything into simple let-bindings and ? checks
English
0
0
0
90
naomi (forgetful functor)
naomi (forgetful functor)@fixedpointfae·
@_Akanoa_ ah I didn't use any crates for these macros, although it's defs inspired. mdo is just a tt muncher that rewrites line by line
English
1
0
0
92
naomi (forgetful functor)
naomi (forgetful functor)@fixedpointfae·
"b-but haskell makes you a better programmer!" me, with my haskell-poisoned brain:
naomi (forgetful functor) tweet medianaomi (forgetful functor) tweet media
English
15
11
195
16.1K
naomi (forgetful functor)
naomi (forgetful functor)@fixedpointfae·
and yes, `lvalue <- rvalue` is parsed as "lvalue less_than neg rvalue"
English
1
0
10
1K
naomi (forgetful functor)
naomi (forgetful functor)@fixedpointfae·
@_Akanoa_ using the implicit ? checks in the expanded macro nom's parsers are defined as functions (I) -> Result<(I, O), E>, and any function with that shape implements Parser too
English
1
0
0
292
naomi (forgetful functor)
naomi (forgetful functor)@fixedpointfae·
nom is pretty convenient if you instead view all parser functions as StateT (&[u8]) (ExceptT e IO)
English
0
0
14
1.9K
naomi (forgetful functor)
naomi (forgetful functor)@fixedpointfae·
thanks to a bug in really bad chess (android), i am now the top player in the world the game froze in the middle of a daily puzzle, and now every ranked game starts off at the same place it feels like groundhog day
naomi (forgetful functor) tweet medianaomi (forgetful functor) tweet media
English
1
2
61
3.5K
naomi (forgetful functor)
naomi (forgetful functor)@fixedpointfae·
signs you're in a controlling relationship: - your errors are magnified and thrown back in your face - any feedback seems to be negative - you met your partner on the bus - you keep finding ladder diagrams around the bedroom - your partner is a Siemens S7-1200 PLC
English
3
4
61
2.9K