This is pretty close to type branding (newtype wrapping for the Haskell-inclined), though using template literal types is pretty novel. Normal brands look something like this: type Brand<BaseType, Brand> = BaseType & {…
Yes, and they're truly phenomenal pieces of music journalism in an era where many of the music blogs have withered or degraded.
It opens up a huge toolbox of tools that work with Functors and Applicative to make parsing easier, and proves that using those tools will work predictably.
I think you were originally correct and that `Record<string, number>` was not a good example. I would guess that union literals and primitives are handled differently by the compiler in this case, perhaps because a…
I believe that would be covariant: `'home' | 'work'` is a subtype of `string`, and `Record<'home' | 'work', number>` is assignable to `Record<string, number>` so the subtype relationship is preserved.
Carhartt is a very trendy street wear brand in addition to their (still very trendy and brandy) workwear.
I had read this article more as a "from-first-principles" example, but it's a good note for people who might be unfamiliar with practical Haskell. Using an effects system also promotes the domain DSL from an…
I don't host it, per-se: I use VimWiki, and occasionally Obsidian for the pretty graph. VimWiki even has a static site generator, but I use Pandoc for that. For search I use FZF and ripgrep.
I can attest to this and took all of my notes on paper in college. However, once I started a real job I realized that this strategy doesn't scale to all situations. In college, I needed to be able to recall all of the…
Not directly as far as I know, but federal taxes are the other mechanism by which money can exit the economy. I should have stated as such.
After the Federal Reserve adds money to the economy, they usually want to take some of it back out. They take money out either by selling bonds or through taxes. The goal of removing money from the economy is sometimes…
I see this argument made assuming that REST service creators are not aware of L3 REST but the fact that it never caught on is at least some proof of its ill-fitness to the general problem. Nowadays we have many more…
It's good for IoT and automation because it's fundamentally a framework for discrete functional reactive programming. It could be good for any context where you need to tie together a bunch of events from different…
If the oleophobic coating is intact (and good quality) it should come off with just a clean cloth.
Using soap on surfaces that have an oleophobic coating can degrade the quality of the coating. This is even worse with dish soap.
I've used Lenses as a beginner/intermediate haskeller and they're very easy to use. It's easy to get bogged down in the theory and specifics but Lenses are perfectly usable on the practical level without ever diving in…
That's how I got to this question. I went through the usual guantlet of finding a self-hosted RSS app I liked as well as exploring freemium options and eventually settled on Inoreader. The "plus" tier is ~2USD/mo and is…
This hasn't been my experience. FP is a fantastic complement to OOP for "practical" programming. It adds an entirely new dimension and avenue for expressability which is why we're seeing more and more OOP languages…
The illusion of realty appreciation transcends recent quantitative easing.
This is the point that I have the most trouble understanding in critiques of Fowler, Bob, and all writers who write about coding: in my reading, I had always assumed that they were writing about the perfect-world ideal…
I knew I recognized that name. Glad EFF is sticking up for them, they're not a huge channel.
Article from Wired on why algae isn't the silver bullet it's marketed as: https://www.wired.com/story/carbon-neutral-cows-algae/ Essentially, it's only useful for pasture raised cows (soy and corn fed feedlot cows…
Code purity isn't just for you, it's also for the compiler to be able to make assumptions about the code in order to apply optimizations that would not otherwise be possible. For example, if the compiler "knows" that a…
Definitely check out the part one of "Haskell: The Bad Parts" which is more relevant to the beginner to average Haskeller: https://www.snoyman.com/blog/2020/10/haskell-bad-parts-1/
This is pretty close to type branding (newtype wrapping for the Haskell-inclined), though using template literal types is pretty novel. Normal brands look something like this: type Brand<BaseType, Brand> = BaseType & {…
Yes, and they're truly phenomenal pieces of music journalism in an era where many of the music blogs have withered or degraded.
It opens up a huge toolbox of tools that work with Functors and Applicative to make parsing easier, and proves that using those tools will work predictably.
I think you were originally correct and that `Record<string, number>` was not a good example. I would guess that union literals and primitives are handled differently by the compiler in this case, perhaps because a…
I believe that would be covariant: `'home' | 'work'` is a subtype of `string`, and `Record<'home' | 'work', number>` is assignable to `Record<string, number>` so the subtype relationship is preserved.
Carhartt is a very trendy street wear brand in addition to their (still very trendy and brandy) workwear.
I had read this article more as a "from-first-principles" example, but it's a good note for people who might be unfamiliar with practical Haskell. Using an effects system also promotes the domain DSL from an…
I don't host it, per-se: I use VimWiki, and occasionally Obsidian for the pretty graph. VimWiki even has a static site generator, but I use Pandoc for that. For search I use FZF and ripgrep.
I can attest to this and took all of my notes on paper in college. However, once I started a real job I realized that this strategy doesn't scale to all situations. In college, I needed to be able to recall all of the…
Not directly as far as I know, but federal taxes are the other mechanism by which money can exit the economy. I should have stated as such.
After the Federal Reserve adds money to the economy, they usually want to take some of it back out. They take money out either by selling bonds or through taxes. The goal of removing money from the economy is sometimes…
I see this argument made assuming that REST service creators are not aware of L3 REST but the fact that it never caught on is at least some proof of its ill-fitness to the general problem. Nowadays we have many more…
It's good for IoT and automation because it's fundamentally a framework for discrete functional reactive programming. It could be good for any context where you need to tie together a bunch of events from different…
If the oleophobic coating is intact (and good quality) it should come off with just a clean cloth.
Using soap on surfaces that have an oleophobic coating can degrade the quality of the coating. This is even worse with dish soap.
I've used Lenses as a beginner/intermediate haskeller and they're very easy to use. It's easy to get bogged down in the theory and specifics but Lenses are perfectly usable on the practical level without ever diving in…
That's how I got to this question. I went through the usual guantlet of finding a self-hosted RSS app I liked as well as exploring freemium options and eventually settled on Inoreader. The "plus" tier is ~2USD/mo and is…
This hasn't been my experience. FP is a fantastic complement to OOP for "practical" programming. It adds an entirely new dimension and avenue for expressability which is why we're seeing more and more OOP languages…
The illusion of realty appreciation transcends recent quantitative easing.
This is the point that I have the most trouble understanding in critiques of Fowler, Bob, and all writers who write about coding: in my reading, I had always assumed that they were writing about the perfect-world ideal…
I knew I recognized that name. Glad EFF is sticking up for them, they're not a huge channel.
Article from Wired on why algae isn't the silver bullet it's marketed as: https://www.wired.com/story/carbon-neutral-cows-algae/ Essentially, it's only useful for pasture raised cows (soy and corn fed feedlot cows…
Code purity isn't just for you, it's also for the compiler to be able to make assumptions about the code in order to apply optimizations that would not otherwise be possible. For example, if the compiler "knows" that a…
Definitely check out the part one of "Haskell: The Bad Parts" which is more relevant to the beginner to average Haskeller: https://www.snoyman.com/blog/2020/10/haskell-bad-parts-1/