Т8
я понял твое высказывание так: в скалу втащили отступы, разрабам котлина это не понравилось, и они сделали язык со скобками
Нет. Это не понравилось мне, юзающему скалу, поэтому я перешёл на котлин
Size: a a a
2020 August 08
Z
перечитай
аа, извиняюсь
p
p
В случае функции, тип результата функции зависит от типа аршумента
p
В случае пары тип второго значения зависит от первого
AZ
В случае функции, тип результата функции зависит от типа аршумента
от значения а не от типа
AZ
In computer science and logic, a dependent type is a type whose definition depends on a value
Прочитай хоть определение плиз прежде чем спорить
Прочитай хоть определение плиз прежде чем спорить
AZ
foo : (b : Bool) -> if b then Int else String - от какого типа тут зависит результат функции?p
От b
D
В случае пары тип второго значения зависит от первого
Тогда это будет экзист-тип
Т8
от значения а не от типа
Оо, кстати, вот такая фигня мне была нужна, когда пытался написать метод, складывающие любые 2 числа
AZ
От b
только b это не тип, это значение типа Bool
Т8
В итоге плюнул и валидировал наверху типы, а внизу заюзал dynamic
AZ
Т-34 85
В итоге плюнул и валидировал наверху типы, а внизу заюзал dynamic
для того чтобы сложить 2 числа эта фигня не нужна. Эта фигня нужна например чтобы тайпчекать формат строку
AZ
потоум что строка это значение, а типы которые она ожидает - вполне конкретные можно из формата выяснить
AZ
имеется в виду формат строка как обычная строка, а не что-то захардкоженное в язык. например, в расте есть println! который делает это, но он во-первых не работает со строкой в рантайме, во-вторых пользователь написать такой не может
В идрисе обе проблемы решаются: формат это обыччная функция которую может кто угодно написать, и она работает со строками в рантайме если нужно
В идрисе обе проблемы решаются: формат это обыччная функция которую может кто угодно написать, и она работает со строками в рантайме если нужно
Т8
для того чтобы сложить 2 числа эта фигня не нужна. Эта фигня нужна например чтобы тайпчекать формат строку
Нужна, чтобы объявить переменную с типом, который станет известен в рантайме
Т8
Или
AZ
Т-34 85
Нужна, чтобы объявить переменную с типом, который станет известен в рантайме
ну да, такое бывает нужно
AZ
в идрисе можно