McKamyk
McKamyk
Explore posts from servers
AarktypeTTCTheo's Typesafe Cult
PostsComments
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
no promises 😂
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
it would be my first foray into that level of neovim, when I get a chance I may look into it
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
last thing i'll say, I'm using neovim and was worried about not having an extension that gives me hints on the type def strings, but was happily surprised its carried by TS
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
aight ima get back to work my heads going to explode if I continue to ask questions lmao this is incredible
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
y'all merge the .to's where you can?
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
I see
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
but all positive
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
different max values
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
wait they should both be to?
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
oh that second pipe should be to
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
sorry dont mean to bother just having fun now
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
finding myself reaching for 
const posInt = type("number.integer > 0")
const decimals = type("string.integer.parse | number.integer").pipe(posInt).pipe('number < 23')
const posInt = type("number.integer > 0")
const decimals = type("string.integer.parse | number.integer").pipe(posInt).pipe('number < 23')
very nice
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
super duper impressed on the "typesafety" on the strings, that blows me away how thats even possible
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
completely ignoring the performance of it, its just much nicer already
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
after. converting an internal api, and currently a public api from zod to arktype, arktype is 200x more legible
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
yea
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
with the chaining
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
beginning to feel like zod lmao
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
oooooooo
39 replies
Aarktype
Created by McKamyk on 4/1/2025 in #questions
string.integer.parse < 100
what if its also nullable 
type("null | string.integer.parse | number.integer").to("null | number < 28")

type("null | (string.integer.parse | number.integer) |> null | number < 28")
 
type("null | string.integer.parse | number.integer").to("null | number < 28")

type("null | (string.integer.parse | number.integer) |> null | number < 28")
Seems like with null its just way easier with .to
39 replies