11–20 of 51 posts
Language is not mentioned in a title, so my first thought was about TypeScript type wizardry. Turns out it's as simple as `Exclude `. https://www.typescriptlang.org/docs/handbook/utility-types.h... Edit: nevermind, LLM fooled me.
https://www.typescriptlang.org/play/?#code/C4TwDgpgBAcg9gOwK...
"Huh never heard of Bellroy... I wonder what they're using Haskell for..." Turns out it's some kind of bags and accessories brand!
"Huh never heard of Bellroy... I wonder what they're using Haskell for..." Turns out it's some kind of bags and accessories brand!
Language is not mentioned in a title, so my first thought was about TypeScript type wizardry. Turns out it's as simple as `Exclude `. https://www.typescriptlang.org/docs/handbook/utility-types.h... Edit: nevermind, LLM fooled me.
Daily reminder that TypeScript's type checker is not sound. https://www.typescriptlang.org/play/?#code/C4TwDgpgBAcg9gOwK...
declare const brand: unique symbol;
type NonEmptyString = string & { readonly [brand]: 'NonEmptyString' };
// the ONLY non-cast way to produce one
export function nonEmptyString(s: string): NonEmptyString | undefined {
return s.length > 0 ? (s as NonEmptyString) : undefined;
}
export type { NonEmptyString };"Huh never heard of Bellroy... I wonder what they're using Haskell for..." Turns out it's some kind of bags and accessories brand!
I once saw a job ad for a company selling a horoscope app that required Haskell. An unusual conjunction for sure.
"Huh never heard of Bellroy... I wonder what they're using Haskell for..." Turns out it's some kind of bags and accessories brand!
I once saw a job ad for a company selling a horoscope app that required Haskell. An unusual conjunction for sure.
"Huh never heard of Bellroy... I wonder what they're using Haskell for..." Turns out it's some kind of bags and accessories brand!
I've had a Bellroy bag, they're not the most fashionable but super high quality and well thought-out. Just like Haskell code—maybe that's why they like it.
Earlier quoted context omitted.
I once saw a job ad for a company selling a horoscope app that required Haskell. An unusual conjunction for sure.
Using Haskell for a horoscope app is like hiring a mathematician to read tea leaves
The "whale" users who account for a disproportionately large percentage of an astrologer's revenue tend to know the factual information surrounding their birth fairly well. An app/astrologer who doesn't get these facts right, even for a handful of clients, will get a bad reputation fairly quickly.
I reckon the same principle would hold in cultural bubbles where reading tea leaves is a customary means of divination. If the client recognizes recognize black tea, but the fortuneteller insists it is rooibos, there won't be much trust in the rest of the prophecy.
Advertising that the horoscope shop uses Haskell is actually a solid business idea. It pre-filters for the sort of dev who will be able to do the math.
Earlier quoted context omitted.
I once saw a job ad for a company selling a horoscope app that required Haskell. An unusual conjunction for sure.
Astrology and Haskell are quite similar in that both are much much easier to do if you have a math degree.
Language is not mentioned in a title, so my first thought was about TypeScript type wizardry. Turns out it's as simple as `Exclude `. https://www.typescriptlang.org/docs/handbook/utility-types.h... Edit: nevermind, LLM fooled me.
Daily reminder that TypeScript's type checker is not sound. https://www.typescriptlang.org/play/?#code/C4TwDgpgBAcg9gOwK...
You can do this trick for type-checking emptiness of string literals
https://www.typescriptlang.org/play/?jsx=0#code/C4TwDgpgBAsg...