AB
https://ballerina.io/ вот интересный проект со статической типизацией
я в него смотрел и у меня очень противоречивые впечатления были
Size: a a a
2020 May 08
AB
вот такие
AB
Переслано от Alex Bubnov
Троллейбус-из-буханки.жпг
Наверное, всё же так.
Оно мне не первый раз попадается, и каждый раз я не могу найти особого профита.
Наверное, всё же так.
Оно мне не первый раз попадается, и каждый раз я не могу найти особого профита.
AB
Переслано от Alex Bubnov
кстати, я глянул прицельно в пару моментов - язык не дожали(атомов/кейвордов нет, not everything is expression), логгер - даже бесполезнее, чем slf4j, контекстов нет вообще.
AB
Переслано от Alex Bubnov
о, а чуваки экономили спецсимволы
AB
Переслано от Alex Bubnov
анонимные функции есть, но у них синтаксис как в js2003
AB
Переслано от Alex Bubnov
и типы их записываются так же
AB
Переслано от Alex Bubnov
хотя, я может даже понимаю, почему так убого.
они в декларациях ставят тип на первую позицию, и из-за этого не могут туда впихнуть нормальную запись типа
они в декларациях ставят тип на первую позицию, и из-за этого не могут туда впихнуть нормальную запись типа
(A, B) -> CAB
ну и да, всё, что они пытаются в плане concurrency - ну такое, пока в jvm не приземлится project loom.
AC
Ну вот ты данные в мапке кидаешь?
Да
AC
«gradual typing - самое оно»
он где-то есть такой, как хочется?
и возможно ли это?
он где-то есть такой, как хочется?
и возможно ли это?
Да сейчас к этому идёт. Typescript, питон типизированный
VL
я в него смотрел и у меня очень противоречивые впечатления были
Да я понимаю, это какой то эксперимент
ST
Да сейчас к этому идёт. Typescript, питон типизированный
и как оно работает, если у меня есть одна функция, обмазанная требованиями по типам, а всё остальное вокруг произвольной формы?
VL
и как оно работает, если у меня есть одна функция, обмазанная требованиями по типам, а всё остальное вокруг произвольной формы?
Мои счёта платит typescript
VL
Работает это так - если тип не указан и не может быть выведен, то он будет any
VL
Any - классическая слабая динамическая типизация;
Но где надо, объявляешь типы, причём классы все также не нужны
Но где надо, объявляешь типы, причём классы все также не нужны
ST
Работает это так - если тип не указан и не может быть выведен, то он будет any
ну и тогда этот элемент не будет сопрягаться с элементами, которых any не устравает
и ситуацию нужно как-то разрешать
так?
и ситуацию нужно как-то разрешать
так?
VL
Typescript - очень хорошая такая статическая типизация через декларации типов;
AR
ну и тогда этот элемент не будет сопрягаться с элементами, которых any не устравает
и ситуацию нужно как-то разрешать
так?
и ситуацию нужно как-то разрешать
так?
динамически проверяешь
VL
ну и тогда этот элемент не будет сопрягаться с элементами, которых any не устравает
и ситуацию нужно как-то разрешать
так?
и ситуацию нужно как-то разрешать
так?
Как раз any со всеми дружит