inb4 8 parameter gadt solution with three ugly and completely unreadable folds
August 4, 2025 at 5:45 PM
inb4 8 parameter gadt solution with three ugly and completely unreadable folds
the rust project sure likes its acronyms
"FCP the NLL RFC"
RPIT TAIT ZST DST HKT GADT GAT HRLB
"FCP the NLL RFC"
RPIT TAIT ZST DST HKT GADT GAT HRLB
May 23, 2025 at 5:01 AM
the rust project sure likes its acronyms
"FCP the NLL RFC"
RPIT TAIT ZST DST HKT GADT GAT HRLB
"FCP the NLL RFC"
RPIT TAIT ZST DST HKT GADT GAT HRLB
ocamlers will literally put a first class module in a gadt to avoid using objects
March 4, 2026 at 5:33 AM
ocamlers will literally put a first class module in a gadt to avoid using objects
Hannibal ist nicht glücklich über den schwarzweißen Gadt und es gab vorhin ziemlich Zoff 😕
January 20, 2025 at 6:13 PM
Hannibal ist nicht glücklich über den schwarzweißen Gadt und es gab vorhin ziemlich Zoff 😕
some notes on the library itself:
- the generator API is genuinely nicer than i was expecting
- declaring `Gen` as a GADT that gets interpreted to the CBOR wire representation lets you do a lot of cool stuff
- e.g. haxl-style automatic inference of data dependencies for independent shrinking
- the generator API is genuinely nicer than i was expecting
- declaring `Gen` as a GADT that gets interpreted to the CBOR wire representation lets you do a lot of cool stuff
- e.g. haxl-style automatic inference of data dependencies for independent shrinking
work let me open source my meme library.
big thank you to Antithesis for building a property testing engine called Hegel, without which i would not have put in nearly this much effort to produce something halfway decent.
big thank you to Antithesis for building a property testing engine called Hegel, without which i would not have put in nearly this much effort to produce something halfway decent.
GitHub - MercuryTechnologies/zizek: Property-based testing for Haskell, built on Hypothesis.
Property-based testing for Haskell, built on Hypothesis. - MercuryTechnologies/zizek
github.com
June 12, 2026 at 1:17 AM
some notes on the library itself:
- the generator API is genuinely nicer than i was expecting
- declaring `Gen` as a GADT that gets interpreted to the CBOR wire representation lets you do a lot of cool stuff
- e.g. haxl-style automatic inference of data dependencies for independent shrinking
- the generator API is genuinely nicer than i was expecting
- declaring `Gen` as a GADT that gets interpreted to the CBOR wire representation lets you do a lot of cool stuff
- e.g. haxl-style automatic inference of data dependencies for independent shrinking
This is one of my favorite pieces of art of all time, for real.
I guess it doesn't hurt that @brazenhead.bsky.social did it for one of my stories, "In Pankech: the Supplicants."
That's the he-devil Gadt, soon before Tam-Tam (also pictured) sticks a winkle-hook in one of his eyes.
I guess it doesn't hurt that @brazenhead.bsky.social did it for one of my stories, "In Pankech: the Supplicants."
That's the he-devil Gadt, soon before Tam-Tam (also pictured) sticks a winkle-hook in one of his eyes.
Seeing if I can post this w/o bsky smooshing it down this time.
November 19, 2024 at 10:53 PM
This is one of my favorite pieces of art of all time, for real.
I guess it doesn't hurt that @brazenhead.bsky.social did it for one of my stories, "In Pankech: the Supplicants."
That's the he-devil Gadt, soon before Tam-Tam (also pictured) sticks a winkle-hook in one of his eyes.
I guess it doesn't hurt that @brazenhead.bsky.social did it for one of my stories, "In Pankech: the Supplicants."
That's the he-devil Gadt, soon before Tam-Tam (also pictured) sticks a winkle-hook in one of his eyes.
this has surprised me, "someone wrote a notable blog post about it" really is the same level of "difficulty" whether it's hello world or weird GADT tricks. but then it'll fall into confused noob traps trying to get tests to pass.
January 10, 2026 at 5:59 AM
this has surprised me, "someone wrote a notable blog post about it" really is the same level of "difficulty" whether it's hello world or weird GADT tricks. but then it'll fall into confused noob traps trying to get tests to pass.
Wie lang gadt du eigentlich bis zum ersten Post gescrollt?
February 6, 2025 at 1:00 PM
Wie lang gadt du eigentlich bis zum ersten Post gescrollt?
the "programmation" tag is also still in french ^^
June 29, 2025 at 11:22 PM
the "programmation" tag is also still in french ^^
Wishin' and Hopin' ~ Dusty Springfield
www.youtube.com/watch?v=gAdT...
www.youtube.com/watch?v=gAdT...
Dusty Springfield - Wishin & Hopin 1964
YouTube video by oldieSchlager50s60s
www.youtube.com
August 25, 2025 at 2:19 PM
Wishin' and Hopin' ~ Dusty Springfield
www.youtube.com/watch?v=gAdT...
www.youtube.com/watch?v=gAdT...
You are all way too clever and impressive and maybe an article about “Tutorial : GADT by example building a Checker game” would be less intimidating.
¯\_(ツ)_/¯
¯\_(ツ)_/¯
January 8, 2025 at 5:44 PM
You are all way too clever and impressive and maybe an article about “Tutorial : GADT by example building a Checker game” would be less intimidating.
¯\_(ツ)_/¯
¯\_(ツ)_/¯
like, if you've triple checked that a gadt actually helps with your problem go for it but can we at least try to prevent beginners from shooting themselves in the foot?
October 13, 2025 at 10:54 PM
like, if you've triple checked that a gadt actually helps with your problem go for it but can we at least try to prevent beginners from shooting themselves in the foot?
In den meisten Fällen ein Geräusch. Solltest du fündig werden, gadt du Glück.
March 23, 2026 at 2:05 PM
In den meisten Fällen ein Geräusch. Solltest du fündig werden, gadt du Glück.
Oh, sure. One can write down the GADT for ASTs of Applicative Expressions. But that feels like cheating :)
January 25, 2025 at 9:36 PM
Oh, sure. One can write down the GADT for ASTs of Applicative Expressions. But that feels like cheating :)
it proof that our GADT based router that provides type safety does not require a performance trade-off. 😃
December 18, 2025 at 6:31 PM
it proof that our GADT based router that provides type safety does not require a performance trade-off. 😃
Ich wurde gefühlt nur mit Graubrot, Schnitzel, Kartoffeln und Salat groß gezogen, und die Omma hat 2x im Frühjahr Grüne Soße gemacht. Ich vermiss die nicht wirklich, aber als ein Gadt vor 10 Jahren mal ein Paket vom Markt mitgebracht hat habe ich mich wirklich gefreut. Und einmal im Jahr>>
October 31, 2025 at 2:14 PM
Ich wurde gefühlt nur mit Graubrot, Schnitzel, Kartoffeln und Salat groß gezogen, und die Omma hat 2x im Frühjahr Grüne Soße gemacht. Ich vermiss die nicht wirklich, aber als ein Gadt vor 10 Jahren mal ein Paket vom Markt mitgebracht hat habe ich mich wirklich gefreut. Und einmal im Jahr>>
Gadt damb. 🤤
August 14, 2026 at 12:45 AM
Gadt damb. 🤤
working on suppressing my gadt reflex...
December 17, 2025 at 4:10 AM
working on suppressing my gadt reflex...
L'année passée, j'ai décris un usage du GADT `Eq` pour implémenter des méthodes gardées (et résoudre les méthodes `sum`, `prod` et `flatten`) en préservant la sémantique d'envoi de message !
xvw.lol/pages/oop-re...
N'hésitez pas à me faire des retours !
#ocaml #gadt #oop
xvw.lol/pages/oop-re...
N'hésitez pas à me faire des retours !
#ocaml #gadt #oop
October 19, 2023 at 9:34 AM
L'année passée, j'ai décris un usage du GADT `Eq` pour implémenter des méthodes gardées (et résoudre les méthodes `sum`, `prod` et `flatten`) en préservant la sémantique d'envoi de message !
xvw.lol/pages/oop-re...
N'hésitez pas à me faire des retours !
#ocaml #gadt #oop
xvw.lol/pages/oop-re...
N'hésitez pas à me faire des retours !
#ocaml #gadt #oop
Gadt Dayum. Good morning! XD!
October 5, 2025 at 4:18 PM
Gadt Dayum. Good morning! XD!
if you wish to mock english place names I suggest looking around southern NY. We kept a bunch of dutch names and even we arent actually sure how the hell you pronounce "Spuyten Duyvil" but we do have one. Also yes, "spitting devil" is right next to "hell gate", which used to be Helle Gadt.
January 30, 2025 at 11:48 PM
if you wish to mock english place names I suggest looking around southern NY. We kept a bunch of dutch names and even we arent actually sure how the hell you pronounce "Spuyten Duyvil" but we do have one. Also yes, "spitting devil" is right next to "hell gate", which used to be Helle Gadt.
Je n'ai jamais fait de clafoutis, ou alors il y a longtemps.
Dois-je m'y mettre ? C'est comme les GADT et SSReflect ?
Dois-je m'y mettre ? C'est comme les GADT et SSReflect ?
June 8, 2024 at 7:48 PM
Je n'ai jamais fait de clafoutis, ou alors il y a longtemps.
Dois-je m'y mettre ? C'est comme les GADT et SSReflect ?
Dois-je m'y mettre ? C'est comme les GADT et SSReflect ?
gadt damn I love that song
February 26, 2026 at 5:00 PM
gadt damn I love that song
maybe if your `let type` is a GADT?
January 5, 2025 at 6:46 PM
maybe if your `let type` is a GADT?