И не скритп и не хаскель, по описанию на сайте просто понахватали всего и пропихивают как самую вкусную часть.

взять хотя бы это

 if (typeof padding === "number")

варианты есть, а типы чекаются строкой, и это только первое впечатление!
А что будет когда увязнешь?
Согласны?

Здравствуйте, varenikAA, Вы писали:

AA>И не скритп и не хаскель, по описанию на сайте просто понахватали всего и пропихивают как самую вкусную часть.

Язык создаёт известный в узких кругах Андерс Хейлсберг. Это с его подачи многие языковые фичи становятся популярными.

AA>взять хотя бы это
AA>

AA> if (typeof padding === "number") 
AA>

Ты бы разобрался, что такое джаваскрипт, а что такое ТайпСкрипт. Ты показываешь фичу джаваскрипта!

Подход у тайпскрипта — ничего в джаваскрипте не исправлять, только добавить типы. Потому реально очень круто. Та часть, которая именно тайпскрипт, очень крутая!

Все давно знают, что джаваскрипт как язык уродец, имеет кучу родовых травм. Что нового ты к этому можешь добавить?

AA>варианты есть, а типы чекаются строкой, и это только первое впечатление!
AA>А что будет когда увязнешь?
AA>Согласны?

Похоже, ты заглядываешь в ЯП чисто ради посмотреть. Что тебе с того, что тайпчек делается через строку? Это чисто вкусовщина.

Здравствуйте, Ikemefula, Вы писали:

AA>>И не скритп и не хаскель, по описанию на сайте просто понахватали всего и пропихивают как самую вкусную часть.
I>Язык создаёт известный в узких кругах Алекс Хейсберг.

Андерс он. Хейлсберг.

Здравствуйте, Ночной Смотрящий, Вы писали:

НС>Здравствуйте, Ikemefula, Вы писали:

AA>>>И не скритп и не хаскель, по описанию на сайте просто понахватали всего и пропихивают как самую вкусную часть.
I>>Язык создаёт известный в узких кругах Алекс Хейсберг.

НС>Андерс он. Хейлсберг.

Бывает.

Здравствуйте, varenikAA, Вы писали:

AA>варианты есть, а типы чекаются строкой, и это только первое впечатление!

Тайпскриптовые типы только при компиляции, в рантайме их нету — там только JS.

Здравствуйте, Ikemefula, Вы писали:


I>Похоже, ты заглядываешь в ЯП чисто ради посмотреть. Что тебе с того, что тайпчек делается через строку? Это чисто вкусовщина.

Отнюдь, я прекрасно понимаю пользу строгой статической типизации. и мне это нужно для работы, т.к. въезжаю в свелте, а там вроде как топят за ТС.
Но первое впечатление не айс.
Вкусовщина? Это опечатки и отсутствие TYPE script.
Должен быть полноценный матч по типам. раз уж заявили что это наполовину хаскел.

Здравствуйте, varenikAA, Вы писали:

AA>Вкусовщина? Это опечатки и отсутствие TYPE script.
AA>Должен быть полноценный матч по типам. раз уж заявили что это наполовину хаскел.

Ну народ делает свой пм
https://github.com/WimJongeneel/ts-pattern-matching

Здравствуйте, varenikAA, Вы писали:

AA>Отнюдь, я прекрасно понимаю пользу строгой статической типизации. и мне это нужно для работы, т.к. въезжаю в свелте, а там вроде как топят за ТС.
AA>Но первое впечатление не айс.
AA>Вкусовщина? Это опечатки и отсутствие TYPE script.

Вероятно, это оттого, что ты ничего серьезного не писал ни на жээсе, ни на тайпскрипте. Сунул нос, получил какое то впечателение и пошел строчить на форум.

Тайпскрипт позволяет писать большие приложения на жээсе. Вот для чего он нужен. Для того и задумывался. Прикинь, вовсе не для того, что нравиться тебе.

AA>Должен быть полноценный матч по типам.

Есть Flow — там гораздо более строгие типы. И этот Flow нахрен никому не упал.

>раз уж заявили что это наполовину хаскел.

Ты попутал Flow и Typescript. Про тайпскрипт никто такого не заявлял — под низом всё равно джаваскрипт. Он изначально позволяет тебе типизировать таким образом, что бы ты имел возможность выстрелить себе в ногу Flow, в отличие от TypeScript, исправляет систему типов. Внезапно, Flow почему то никому не нужен. Собственно такая болезнь у всех исправляшек.

Здравствуйте, Ikemefula, Вы писали:

I>Похоже, ты заглядываешь в ЯП чисто ради посмотреть. Что тебе с того, что тайпчек делается через строку? Это чисто вкусовщина.
Ну не знаю, не совсем уж вкусовщина. Я бы предпочёл чтобы if (typeof padding === "nunber") падал сразу во время компиляции, чем тупить почему же оно не работает в рантайме.

Здравствуйте, ·, Вы писали:

·>Здравствуйте, Ikemefula, Вы писали:

I>>Похоже, ты заглядываешь в ЯП чисто ради посмотреть. Что тебе с того, что тайпчек делается через строку? Это чисто вкусовщина.
·>Ну не знаю, не совсем уж вкусовщина. Я бы предпочёл чтобы if (typeof padding === "nunber") падал сразу во время компиляции, чем тупить почему же оно не работает в рантайме.

Ну можно использовать nameof
https://github.com/dsherret/ts-nameof

Здравствуйте, Ikemefula, Вы писали:

I>Ты попутал Flow и Typescript.

Так они близнецы-братья, с первого взгляда. Просто один от ФБ, второй от МС.

I> Про тайпскрипт никто такого не заявлял — под низом всё равно джаваскрипт. Он изначально позволяет тебе типизировать таким образом, что бы ты имел возможность выстрелить себе в ногу Flow, в отличие от TypeScript, исправляет систему типов. Внезапно, Flow почему то никому не нужен. Собственно такая болезнь у всех исправляшек.

Так и у Flow тот же самый ЖС. Просто тайпчекер более аккуратно старается ошибки ловить.
Сдается мне, разница в популярности у них связана не с фичами, а исключительно историческая и генеалогическая. Если б они поменялись, Flow был бы от МС и использовался в тех проектах, что сделали ТС известным, то все бы щас писали на нем, а ТС был бы внутренней игрушкой ФБ.

Здравствуйте, Ikemefula, Вы писали:

I>Ты попутал Flow и Typescript. Про тайпскрипт никто такого не заявлял — под низом всё равно джаваскрипт.
В руководстве прямо показано(лень искать ссылку), что аннотации типов абсолютно идентичны хаскельным, и да я в курсе что тайпскрипт компилится бабелом в жс,
собстно как и большинство яп для браузеров. например, ЭЛМ, который просто подможножество хаскеля, что никак ему не мешает.

ПС, паттерн матчинг особо не интересен, так к слову пришлось, щас это вроде модная фича, но матч через функцию это конечно интересно.

Здравствуйте, Ikemefula, Вы писали:


>>раз уж заявили что это наполовину хаскел.

https://www.typescriptlang.org/docs/handbook/typescript-in-5-minutes-func.html#concepts-similar-to-haskell

Здравствуйте, ·, Вы писали:

I>>Похоже, ты заглядываешь в ЯП чисто ради посмотреть. Что тебе с того, что тайпчек делается через строку? Это чисто вкусовщина.
·>Ну не знаю, не совсем уж вкусовщина. Я бы предпочёл чтобы if (typeof padding === "nunber") падал сразу во время компиляции, чем тупить почему же оно не работает в рантайме.

This condition will always return 'false' since the types '"string" | "number" | "bigint" | "boolean" | "symbol" | "undefined" | "object" | "function"' and '"nunber"' have no overlap.

Здравствуйте, D. Mon, Вы писали:

I>>Ты попутал Flow и Typescript.

DM>Так они близнецы-братья, с первого взгляда. Просто один от ФБ, второй от МС.

Никакие они не близнецы. Flow имеет другую модель типов, имеет другой совсем тулчейн и пишется на другом языке. Уже отсюда ясно, что товарищи слегка упоролись — сами не осилили Flow на Flow.

I>> Про тайпскрипт никто такого не заявлял — под низом всё равно джаваскрипт. Он изначально позволяет тебе типизировать таким образом, что бы ты имел возможность выстрелить себе в ногу Flow, в отличие от TypeScript, исправляет систему типов. Внезапно, Flow почему то никому не нужен. Собственно такая болезнь у всех исправляшек.

DM>Так и у Flow тот же самый ЖС. Просто тайпчекер более аккуратно старается ошибки ловить.

Прежде всего его модель типов нужно долго долбить, что бы адекватно применять. Иначе начинается борьба с системой типов.

DM>Сдается мне, разница в популярности у них связана не с фичами, а исключительно историческая и генеалогическая. Если б они поменялись, Flow был бы от МС и использовался в тех проектах, что сделали ТС известным, то все бы щас писали на нем, а ТС был бы внутренней игрушкой ФБ.

ТС дает очень плавный вход и пологую кривую обучения — ровно то, что востребовано. Исправляшки типа Flow это ровно наоборот — долгие мучения для большинства тех, кто пересаживается с жээс.
Потому ТС не вызывает столько дискомфорта, сколько Flow. А следовательно, именно на него пересаживаются с жээса.

Здравствуйте, varenikAA, Вы писали:

AA>Здравствуйте, Ikemefula, Вы писали:

I>>Ты попутал Flow и Typescript. Про тайпскрипт никто такого не заявлял — под низом всё равно джаваскрипт.
AA>В руководстве прямо показано(лень искать ссылку), что аннотации типов абсолютно идентичны хаскельным, и да я в курсе что тайпскрипт компилится бабелом в жс,

1 Бабелом в жээс компилится Flow, а тайпскрипт это компилятор и ему бабели не нужны
2 Аннотации не идентичны — семантика другая, что очевидно — такие гарантии, как в хаскеле, невозможны.
3 Более того — многие вещи, которые можешь затипизировать, не имеют поддержки в жээсе, а следовательно реализуемые только костылями, например — монады. Поддерживается только yield, await. Все остальное — только костылями

AA>собстно как и большинство яп для браузеров. например, ЭЛМ, который просто подможножество хаскеля, что никак ему не мешает.

То есть, отсутствие аудитории не в счёт? Это уже преграда — хаскелоподобные языки это огромный барьер для входа, что наблюдаем в индустрии как следствие.

Здравствуйте, varenikAA, Вы писали:

>>>раз уж заявили что это наполовину хаскел.

AA>https://www.typescriptlang.org/docs/handbook/typescript-in-5-minutes-func.html#concepts-similar-to-haskell


Здесь нет ничего про "наполовину хаскел". Речь про заимствование некоторых концепций, которые, скажем, в хаскеле мега удобны, а вот здесь — как повезёт.

Здравствуйте, Ikemefula, Вы писали:

I>>>Похоже, ты заглядываешь в ЯП чисто ради посмотреть. Что тебе с того, что тайпчек делается через строку? Это чисто вкусовщина.
I>·>Ну не знаю, не совсем уж вкусовщина. Я бы предпочёл чтобы if (typeof padding === "nunber") падал сразу во время компиляции, чем тупить почему же оно не работает в рантайме.
I>

I>This condition will always return 'false' since the types '"string" | "number" | "bigint" | "boolean" | "symbol" | "undefined" | "object" | "function"' and '"nunber"' have no overlap.

Хотя как я понял это warning, программа всё равно запускается. Но уже лучше.

Здравствуйте, ·, Вы писали:

I>>·>Ну не знаю, не совсем уж вкусовщина. Я бы предпочёл чтобы if (typeof padding === "nunber") падал сразу во время компиляции, чем тупить почему же оно не работает в рантайме.
I>>

I>>This condition will always return 'false' since the types '"string" | "number" | "bigint" | "boolean" | "symbol" | "undefined" | "object" | "function"' and '"nunber"' have no overlap.

·> Хотя как я понял это warning, программа всё равно запускается. Но уже лучше.

Это как настроишь. Можно и с ошибками собрать и запустить.

Здравствуйте, Ikemefula, Вы писали:

I>То есть, отсутствие аудитории не в счёт?

Ну, кто такое сказал?

I> хаскелоподобные языки это огромный барьер для входа, что наблюдаем в индустрии как следствие.

Барьер не в сложности, а в том, что никто не понимает выгоды от использования более качественного инструмента.
Аналогия с бормашиной. Помню в лохматных 90х в деревне пошел к зубному, там бор был такой древний, что куски зубов разлетались по всему кабинету.
Пару лет спустя пошел в городскую зубную и поразился разнице — бор практически пылью сверлил.
А те кто попробовал новый ЯП оставляют отзывы, опять же берем передовые ЯП, тот же Elm, ts, F# по каждому из них восхищенные отзывы про то как код становится проще и надежней.
но да, блабла программисты никогда не переведутся. Мозг устроен на экономию энергии, а человек на получение быстрой выгоды. Мало у кого из руководителей есть понимание горизонта планирования.
Что будет с проектом через 1-5-10 лет? Все хотят быстрый результат.