Andrea Simone Costa
@jfet97.bsky.social
I've completed Parser Combinators: The Final Frontier - Advent of TypeScript 2024 adventofts.com/events/2024/24
Fuck "Type instantiation is excessively deep and possibly infinite", I wanna non termination
Fuck "Type instantiation is excessively deep and possibly infinite", I wanna non termination
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
adventofts.com
December 24, 2024 at 9:02 PM
I've completed Parser Combinators: The Final Frontier - Advent of TypeScript 2024 adventofts.com/events/2024/24
Fuck "Type instantiation is excessively deep and possibly infinite", I wanna non termination
Fuck "Type instantiation is excessively deep and possibly infinite", I wanna non termination
I've completed Magic Curry Mind Control Inception - Advent of TypeScript 2024 adventofts.com/events/2024/16
Special cased for t4 😅 with a powerful T extends [string, number, boolean] XD
Special cased for t4 😅 with a powerful T extends [string, number, boolean] XD
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
adventofts.com
December 16, 2024 at 8:15 AM
I've completed Magic Curry Mind Control Inception - Advent of TypeScript 2024 adventofts.com/events/2024/16
Special cased for t4 😅 with a powerful T extends [string, number, boolean] XD
Special cased for t4 😅 with a powerful T extends [string, number, boolean] XD
I've completed Jet Fuel Pricing - Advent of TypeScript 2024 adventofts.com/events/2024/15
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
adventofts.com
December 15, 2024 at 12:38 PM
I've completed Jet Fuel Pricing - Advent of TypeScript 2024 adventofts.com/events/2024/15
December 13, 2024 at 8:18 AM
I've completed 🎩Bernard's Long List Of Names - Advent of TypeScript 2024 adventofts.com/events/2024/12
December 12, 2024 at 12:47 PM
I've completed 🎩Bernard's Long List Of Names - Advent of TypeScript 2024 adventofts.com/events/2024/12
Reposted by Andrea Simone Costa
nice experimentation by @jfet97.bsky.social going on: github.com/microsoft/Ty...
Let primitive types discriminate a union of objects by jfet97 · Pull Request #60718 · microsoft/TypeScript
Main goal
The ultimate goal of this PR is to allow primitive types in object unions to act as discriminants, even when there are no unit/literal types involved. Some examples of this are as follows...
github.com
December 10, 2024 at 4:31 PM
nice experimentation by @jfet97.bsky.social going on: github.com/microsoft/Ty...
#typescript
The next TypeScript compiler update will be exciting!
PR #56941 by @gabritto.bsky.social improves support for conditional and indexed access types as return types, enabling proper typing for functions like the one in the snippet without clunky hacks or dubious overloads.
The next TypeScript compiler update will be exciting!
PR #56941 by @gabritto.bsky.social improves support for conditional and indexed access types as return types, enabling proper typing for functions like the one in the snippet without clunky hacks or dubious overloads.
December 4, 2024 at 9:33 AM
#typescript
The next TypeScript compiler update will be exciting!
PR #56941 by @gabritto.bsky.social improves support for conditional and indexed access types as return types, enabling proper typing for functions like the one in the snippet without clunky hacks or dubious overloads.
The next TypeScript compiler update will be exciting!
PR #56941 by @gabritto.bsky.social improves support for conditional and indexed access types as return types, enabling proper typing for functions like the one in the snippet without clunky hacks or dubious overloads.
Hi there @gabritto.bsky.social!
I'm playing with your PR and I got a couple of non working cases (and some combinations), but I can't find the reason in the description of the PR. Would you mind to have a look? Thanks!
www.typescriptlang.org/play/?ts=5.8...
I'm playing with your PR and I got a couple of non working cases (and some combinations), but I can't find the reason in the description of the PR. Would you mind to have a look? Thanks!
www.typescriptlang.org/play/?ts=5.8...
TS Playground - An online editor for exploring TypeScript and JavaScript
The Playground lets you write TypeScript or JavaScript online in a safe and sharable way.
www.typescriptlang.org
November 29, 2024 at 8:56 PM
Hi there @gabritto.bsky.social!
I'm playing with your PR and I got a couple of non working cases (and some combinations), but I can't find the reason in the description of the PR. Would you mind to have a look? Thanks!
www.typescriptlang.org/play/?ts=5.8...
I'm playing with your PR and I got a couple of non working cases (and some combinations), but I can't find the reason in the description of the PR. Would you mind to have a look? Thanks!
www.typescriptlang.org/play/?ts=5.8...
#typescript
Immediate access in the realm of values is not deferred, but `to` has a type param as type so TS can only resort to its constraint. OTOH in the realm of types `T["property"]` stays deferred, so indirect access is well typed.
@andarist.bsky.social highlight of the day from our chat
Immediate access in the realm of values is not deferred, but `to` has a type param as type so TS can only resort to its constraint. OTOH in the realm of types `T["property"]` stays deferred, so indirect access is well typed.
@andarist.bsky.social highlight of the day from our chat
November 22, 2024 at 9:34 PM
#typescript
Immediate access in the realm of values is not deferred, but `to` has a type param as type so TS can only resort to its constraint. OTOH in the realm of types `T["property"]` stays deferred, so indirect access is well typed.
@andarist.bsky.social highlight of the day from our chat
Immediate access in the realm of values is not deferred, but `to` has a type param as type so TS can only resort to its constraint. OTOH in the realm of types `T["property"]` stays deferred, so indirect access is well typed.
@andarist.bsky.social highlight of the day from our chat
Reposted by Andrea Simone Costa
I'll remember the world before and after this PR: github.com/microsoft/Ty...
The new era of conditional types checking is coming in TypeScript 5.8!
The new era of conditional types checking is coming in TypeScript 5.8!
Narrow generic conditional and indexed access return types when checking return statements by gabritto · Pull Request #56941 · microsoft/TypeScript
Fixes #33912.
Fixes #33014.
Motivation
Sometimes we want to write functions whose return type is picked between different options, depending on the type of a parameter. For instance:
declare const ...
github.com
November 6, 2024 at 9:23 AM
I'll remember the world before and after this PR: github.com/microsoft/Ty...
The new era of conditional types checking is coming in TypeScript 5.8!
The new era of conditional types checking is coming in TypeScript 5.8!
Reposted by Andrea Simone Costa
I'm looking for TypeScript consulting to support my full-time open-source work on @arktype.io!
If your team struggles with...
🧩 Writing complex types to optimize DX
☠️ tsserver lag in editor
🧪 Type testing or benchmarking
I can help! If not, retweets also really help💖
If your team struggles with...
🧩 Writing complex types to optimize DX
☠️ tsserver lag in editor
🧪 Type testing or benchmarking
I can help! If not, retweets also really help💖
October 31, 2024 at 5:34 PM
I'm looking for TypeScript consulting to support my full-time open-source work on @arktype.io!
If your team struggles with...
🧩 Writing complex types to optimize DX
☠️ tsserver lag in editor
🧪 Type testing or benchmarking
I can help! If not, retweets also really help💖
If your team struggles with...
🧩 Writing complex types to optimize DX
☠️ tsserver lag in editor
🧪 Type testing or benchmarking
I can help! If not, retweets also really help💖