วีดีโอ

Hey, I know this video is old but maybe this is helpful to someone. On typescript you can use a string interpolation as a type, so this will work also type Email = `${string}@${string}`; const test1: Email = 'testingemail'; // this breaks with an error const test2: Email = 'testing@email'; // this works just fine

what is the extension/plugin/tools that displays the result when using ^?type? this looks very useful

A nice use case for this would be defining JSON schema's which can be used to check JSON documents at compile-time using import. Here's a nice challenge for you: implement types for url's and emails. 😉

This is neat trick but wouldn't use it, pretty sure Typescript checker will degrade pretty quick if code start to be crowded with there kind of tricks. Impressive none the less.

I don't think it will change the way I work with strings, because most of the strings I work with come from api and are not statically analyzable. But it is definitely a great lesson.

Isn’t this getting outside the domain of types? I don’t understand why you would really want or need this, it is a lot of computation on something that should be a concrete type definition. This is bad practice for typing and I wouldn’t use this code in my code base, it’s also pointed out that runtime checks are necessary for any values that are not a constant.

Fantastic content and we'll presented!

There are no real usage for this

This channel is just super fun! I’m super curious on how you come with these ideas though.

very cool but as always - please don't actually use it, especially for comparing large numbers; you will kill the compiler and IDE performance quickly

hihi! How do you view the result of the type as a comment like that (3:04)? You were using a different IDE before but not it's finally VSCode I think. Great content btw!

After watching your last video (which was my first video that i watched from you), i was like "finally, someone who knows more typescript than me". I have read and learned alot from tanners code before. Will binge watch all your videos and read your repos now. Yay. Thanks so much for such content man. The more i watch you, the more i think "man this guy is incredible". This is a simple parser to implement but such a genius idea

Can you explain how to limit a number to range. Currently if I want to restrict a number to be `<=4` I do some thing like `type Range = 1 | 2 | 3 | 4;`. Obviously this is a terrible solution, but I've never found anything better.

Counter doesnt need to be an array. It should just be a readonly number

Think it's better to take string's "length" property directly, as it is readonly despite arrays length property which can be set directly by programmer

Wow this is awesome Subscribed

it would be great to have possibility to add own error messages :)

Wow typescript is so cool and powerful. Maybe it can tell me if func could throw an error, oh wait.

you solve typescript types as if you don't know anything else... well done man.

Amazing work there. I remember u covered how to make sure rgb values has exactly 3 numbers with template literals. Now I feel like trying with this method to make sure those numbers are within range (0-255).

I opening a PR with this type first thing monday morning

You never fail to amaze us ! This is wonderful !!!

I usually prefer to extract extra logic that shouldn't affect the result into its own helper type type Split<T extends string> = T extends `${infer H}${infer Rest}` ? [H, ...SplitStr<Rest>] : [] type Len<T extends string> = Split<T>['length']

you should work with valibot

As someone whose fairly proficient in C++ templates, wtf over complicated crap am I looking at here?

Just casually drops the plugin of the year like it's nothing. 😂

I’m curious of how the error looks like

I’d rather you fix the outstanding issues on ts-worksheet, than build another extension you might not support…

awesome!! 👍👍

Type Buddy in the Browser: typed-rocks.github.io/type-buddy/ Plugin: marketplace.visualstudio.com/items?itemName=chwoerz.type-buddy

Hi, the plugin looks so cool, but when i try to run the command Tsw i get: TSX is being installed TSX is installed, tsx is not available in the systems PATH. Please install it. Hope you can help me😅

Wow This is an instant must have plugin. Thank you very much!

just a note. writing Find<Inner> or StringOrNever<A> in typebuddy is somehow wrong. you should use normal brackets like Find(Inner) or StringOrNever(A) especially since that is how you define the type itself in your first line. makes no sense to use () there and then use <> later on. bad syntax. beside of that good idea

I think creating d.ts is not ideal since d.ts types are global

This is a minor and stupid nitpick, so feel free to ignore it, but can you add a space between the word "if" and the opening parenthesis? It's triggering my OCD lol

Great plugin! Thanks. Would it be possible to remove de "tb" from the .d.ts filename? Like typebuddy.tb -> typebuddy.d.ts

Buds, can we all agree thats should work in .ts files without any IDE extensions? I'm thinking of a babel plugin to do it in the background, what do u think?

I've been wondering every time why there's no way to write types like normal functions, and here it is!

This is actually a great idea. Will try the web version after my holiday vacation. Question: would it be possible for you to abstract the "infer" syntax with something of your own? Like "getInnerType" or something. I see people always having problems with the "extends" in combination with "infer" all the time.

2:26 I'd suggest you to consider "early returns" here as an option. This would make it even easier to understand. You don't really need to use "else" if given option doesn't pass the execution further (which is seemingly always the case here).

The outfile should probably be .ts not .d.ts

I would even pay to have this plugin for Webstorm too.

really like the idea. maybe typescript team can add a new keyword "typefunction" which dev can write a type function. typefunction Maybe(T) { if (T extends string) return string; else return T; }

This is the kind of type that Microsoft should have created in the beginning, but never did. I like TS but always hated that it can only use nested ternaries to express switch cases. At least with this type buddy, the syntax looks so much cleaner. Thank you so much! 😊

I was excited when I thought this might enable passing generics without arguments to other generic to use within. I don't really like the if/else chain either, but to each their own there. I think TypeScript would benefit from a terse pattern matching syntax.

Amazing thing, a suggestion though, can we write it like this instead: functype Find<T> {} That way it’s more consistant between the definition and the call, and is compatible with the current TypeScript syntax. And can you make a proposal to the TypeScript team to add such a feature to the TypeScript itself?

You are a god, thank a lot!

Definitely a great spell for ts wizard 😂

can this do anything other than if/else branches? variables maybe? switch statements would be cool. because avoiding ternaries by writing a whole meta language just feels like working around the problem instead of fixing it. i understand where youre coming from, ternaries were never meant to be chained a lot, so the problem lies mostly in the language design of typescript itself, tho in that position i would try to reconsider how i write my types, or better yet choose a language with a reasonable type system that wasnt hacked on another without one tbf i have the luck of not being a typescript developer, im sure there are valid reasons youre masochistic