🚀🚀
но тайпинги рамды типизировать это ппц)
Size: a a a
2020 September 25
NF
но тайпинги рамды типизировать это ппц)
types power
V
Ты так говоришь, будто в 4 тс магическим образом появится типизация везде абсолютно.
где я это сказал?? Я просто сказал, что в четверке добавили возможность делать интересные штуки с типами аргументов... и возможно это сделает тайпинги для рамды возможными...
V
но понятно, что кто-то их должен сделать...
OR
где я это сказал?? Я просто сказал, что в четверке добавили возможность делать интересные штуки с типами аргументов... и возможно это сделает тайпинги для рамды возможными...
А, ок. Вот как ты развернул, понял)
V
но тайпинги рамды типизировать это ппц)
тут народ на системе типов делает SQL subset и что-то еще недавно заманьячили...
V
A SQL database implemented purely in TypeScript type annotations.
This means that it operates solely on #ts types - you define a "database" (just a type annotation) and then query it using some more type annotations.
It supports a subset of #sql, including SELECT (with conditions and joins), INSERT, UPDATE and DELETE statements.
Personal opinion: crazy and super cool!
https://github.com/codemix/ts-sql
This means that it operates solely on #ts types - you define a "database" (just a type annotation) and then query it using some more type annotations.
It supports a subset of #sql, including SELECT (with conditions and joins), INSERT, UPDATE and DELETE statements.
Personal opinion: crazy and super cool!
https://github.com/codemix/ts-sql
🚀🚀
тайпскрипт полный по тьюрингу
🚀🚀
жду тайпскрипт на тайпскрипте
V
всегда навевает https://aphyr.com/posts/342-typing-the-technical-interview
V
"пробовал поднять штангу, но у меня не хватило сил" 😂
V
мне тут без пол-литры не разобраться...
🚀🚀
ну это короче такое упражнение на пределы возможностей системы типов) логические операции, иммутабельный тайп левел Map, ещё вроде что-то
V
https://aphyr.com/posts/353-rewriting-the-technical-interview о, а тут новый выпуск в серии подъехал...
ф
A SQL database implemented purely in TypeScript type annotations.
This means that it operates solely on #ts types - you define a "database" (just a type annotation) and then query it using some more type annotations.
It supports a subset of #sql, including SELECT (with conditions and joins), INSERT, UPDATE and DELETE statements.
Personal opinion: crazy and super cool!
https://github.com/codemix/ts-sql
This means that it operates solely on #ts types - you define a "database" (just a type annotation) and then query it using some more type annotations.
It supports a subset of #sql, including SELECT (with conditions and joins), INSERT, UPDATE and DELETE statements.
Personal opinion: crazy and super cool!
https://github.com/codemix/ts-sql
а как интересно они строку запроса парсят? 🤔
V
а как интересно они строку запроса парсят? 🤔
V
по ходу это в 4.1
NF
extends такой extends