Skip to content

Instantly share code, notes, and snippets.

View prohazko2's full-sized avatar

prohazko prohazko2

View GitHub Profile
@joaomilho
joaomilho / log.ts
Last active September 17, 2022 06:41
A printf with dependant types in TypeScript, similar to Idris (https://gist.github.com/chrisdone/672efcd784528b7d0b7e17ad9c115292)
type FieldType<Field> =
's' extends Field ? string :
'f' extends Field ? number :
'i' extends Field ? number :
'd' extends Field ? number :
'o' extends Field ? HTMLElement :
'O' extends Field ? object :
'c' extends Field ? string :
never;