Alice ✨
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones
https://welltypedwit.ch
https://welltypedwit.ch
i may have just found my least favorite haskell post jfc
acetalent.io/landing/Blog...
acetalent.io/landing/Blog...
They are not marks of expressive power, but signs of deep structural compromise. And the fact that most developers accept them as standard practice is precisely the problem.
acetalent.io
November 25, 2025 at 1:05 PM
i may have just found my least favorite haskell post jfc
acetalent.io/landing/Blog...
acetalent.io/landing/Blog...
in a language with parametricity (i.e. where functions cannot do different operations based on the types they're instantiated at), is there ever any possible benefit to monomorphizing *types* (rather than representations) that don't have any type class constraints on them?
November 24, 2025 at 12:28 PM
in a language with parametricity (i.e. where functions cannot do different operations based on the types they're instantiated at), is there ever any possible benefit to monomorphizing *types* (rather than representations) that don't have any type class constraints on them?
Reposted by Alice ✨
@welltypedwit.ch I keep forgetting to write this. but returning to the "rust does not have parametricity" fact... I think the way I'd justify (most of) it is that rust doesn't have parametricity in representations (layouts), which makes sense as rust wants to empower you to write "low level" code ->
November 22, 2025 at 8:39 PM
@welltypedwit.ch I keep forgetting to write this. but returning to the "rust does not have parametricity" fact... I think the way I'd justify (most of) it is that rust doesn't have parametricity in representations (layouts), which makes sense as rust wants to empower you to write "low level" code ->
this is a very unfinished idea but i might genuinely add some form of borrowing to vega (although probably not in the way you think)
November 22, 2025 at 9:05 PM
this is a very unfinished idea but i might genuinely add some form of borrowing to vega (although probably not in the way you think)
something I really appreciate about some of my favorite languages (haskell, rust, lean) is that they actually try to make things better and to give you good tools that work well.
November 22, 2025 at 3:39 PM
something I really appreciate about some of my favorite languages (haskell, rust, lean) is that they actually try to make things better and to give you good tools that work well.
I've had several situations recently where I really wished I could have used vega. I really need to make more progress
November 22, 2025 at 3:32 PM
I've had several situations recently where I really wished I could have used vega. I really need to make more progress
> Why? To prove that, however the sausage is made, the [AI generated] end product is no worse that what I [..] would have written.
oh I can absolutely believe that
oh I can absolutely believe that
November 22, 2025 at 3:14 PM
> Why? To prove that, however the sausage is made, the [AI generated] end product is no worse that what I [..] would have written.
oh I can absolutely believe that
oh I can absolutely believe that
Reposted by Alice ✨
The ocaml maintainers are saints for how gracefully they handled this. I would not have the patience they did.
November 21, 2025 at 9:49 PM
The ocaml maintainers are saints for how gracefully they handled this. I would not have the patience they did.
![rust playground: error: internal compiler error: compiler/rustc_monomorphize/src/collector.rs:972:17: Instance { def: Intrinsic(DefId(2:1839 ~ core[3960]::intrinsics::transmute)), args: [i64, i64] } being reified
thread 'rustc' (184) panicked at compiler/rustc_monomorphize/src/collector.rs:972:17:
Box<dyn Any>](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:j7ri4agbraq6g3dfmyccxep2/bafkreiaazvoqlpm3jxljm4ysuoklwhta7fksmuknbm5df366xlaybjrtfm@jpeg)
Reposted by Alice ✨
really shortsighted of the team to not call it .takeDownCloudflare()
November 19, 2025 at 6:20 PM
really shortsighted of the team to not call it .takeDownCloudflare()
it's almost like making something that can take down the entire process a single short function call that is literally the easiest way to handle failure wasn't a good idea. who would have thought
November 19, 2025 at 10:38 AM
it's almost like making something that can take down the entire process a single short function call that is literally the easiest way to handle failure wasn't a good idea. who would have thought
huh, TIL that haskell had visible foralls before RequiredTypeApplications (but only in kinds)
November 19, 2025 at 12:45 AM
huh, TIL that haskell had visible foralls before RequiredTypeApplications (but only in kinds)
omg how did this break now. the only thing i touched was how **function types** (types!!) are parsed
November 19, 2025 at 12:30 AM
omg how did this break now. the only thing i touched was how **function types** (types!!) are parsed
![ERROR: PANIC (the 'impossible' happened): unsubstituted type variable in unification: MkLocalName {parent = MkDeclarationName {moduleName = MkModuleName {package = MkPackageName "test", subModules = fromList ["Main"]}, name = "Eq"}, name = "r", count = 0}](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:j7ri4agbraq6g3dfmyccxep2/bafkreidzanqmse2rrmlz4kjcpm7czznvzyidf6xjg2cqkdwhhij5gukdby@jpeg)
what kind of idiot would use chainl1 for function types
(i'm the idiot)
(i'm the idiot)
November 19, 2025 at 12:22 AM
what kind of idiot would use chainl1 for function types
(i'm the idiot)
(i'm the idiot)
you know it's kind of unfair that rust usually gets credit for inventing unsafe blocks when C# has had them since *2001*
November 18, 2025 at 1:15 PM
you know it's kind of unfair that rust usually gets credit for inventing unsafe blocks when C# has had them since *2001*
laziness is an extremely important property of the language that comes up all the time and makes it harder to reason about code
Quote-post with your favourite bit of #HaskellDisinformation. We'll start: It is well-grounded in Category Theory, and you must learn it in order to program with the language.
i really wish people that don't actively use haskell understood haskell, like, at all
November 17, 2025 at 9:06 AM
laziness is an extremely important property of the language that comes up all the time and makes it harder to reason about code
i really wish people that don't actively use haskell understood haskell, like, at all
November 17, 2025 at 4:00 AM
i really wish people that don't actively use haskell understood haskell, like, at all
it's so typical that CS wikipedia lists "best case performance" for every algorithm like that's a meaningful metric in any way
November 16, 2025 at 5:12 PM
it's so typical that CS wikipedia lists "best case performance" for every algorithm like that's a meaningful metric in any way
i've been writing a bit of latex again today and it's... been a really smooth experience where i didn't get annoyed at it once? that's possible??
November 15, 2025 at 10:39 PM
i've been writing a bit of latex again today and it's... been a really smooth experience where i didn't get annoyed at it once? that's possible??
how to realize you've accidentally clicked on the american version of a medical company's website: there is a big "shop online" button right in the center
November 15, 2025 at 2:26 PM
how to realize you've accidentally clicked on the american version of a medical company's website: there is a big "shop online" button right in the center
some people think that it's impossible to find a job using functional languages that doesn't involve either blockchain or ai bullshit, but that's not true!
you can also build weapons for the US government
you can also build weapons for the US government
November 14, 2025 at 11:16 PM
some people think that it's impossible to find a job using functional languages that doesn't involve either blockchain or ai bullshit, but that's not true!
you can also build weapons for the US government
you can also build weapons for the US government
you would think "you can do functional programming without destroying all your time complexities with completely useless linked lists" would be a trivial position
November 14, 2025 at 12:53 PM
you would think "you can do functional programming without destroying all your time complexities with completely useless linked lists" would be a trivial position
i really think you should reconsider some things if a core part of your identity is liking a programming language that you're not even directly involved in
November 14, 2025 at 9:02 AM
i really think you should reconsider some things if a core part of your identity is liking a programming language that you're not even directly involved in
SURELY this change that barely even touched the type checker and didn't actually change anything in the surface language didn't break anything, right?
(how do people write compilers without tests omg)
(how do people write compilers without tests omg)
November 13, 2025 at 9:33 PM
SURELY this change that barely even touched the type checker and didn't actually change anything in the surface language didn't break anything, right?
(how do people write compilers without tests omg)
(how do people write compilers without tests omg)