DS
Каждый васян может подобный язык сейчас сделать
Size: a a a
2020 May 26
SP
а больше ничего и нет
SP
и ничего и не нужно
DS
а больше ничего и нет
Скала, тот же раст (да даже просто джава лучше задизайнена в своём ядре)
DS
Хаскель
S
Скала, тот же раст (да даже просто джава лучше задизайнена в своём ядре)
Это то тролинг
DS
Что уж тут
S
?
S
У неё в некоторых случаях тайпчекинг не терминируется
DS
У неё в некоторых случаях тайпчекинг не терминируется
Это нормально для языков без тоталити чекера, но с тайплевелом
SP
так погоди. давай разберемся. типчики котлина это в целом очевидно и достаточно просто понимание васяна. я правильно понимаю?
типчики хаскелей и идрисов это УУУ МАТАН ЧЕРЧ ЛЯМБДА ИСЧИСЛЕНИЯ
чтобы доказать что ты на таком низовом уровне что лучше не юзать типичики васяна вообще нужны матан-кококо о неполноте.
помоему это проеб в логике
типчики хаскелей и идрисов это УУУ МАТАН ЧЕРЧ ЛЯМБДА ИСЧИСЛЕНИЯ
чтобы доказать что ты на таком низовом уровне что лучше не юзать типичики васяна вообще нужны матан-кококо о неполноте.
помоему это проеб в логике
NL
и да. мне серьёзно надоел весь этот академия-тролинг тичиков. типчики это банальнейшая вещь
Кек. Банальнейшая вещь, хаха.
SP
Кек. Банальнейшая вещь, хаха.
а что нет? сопоставляешь две сигнатурки и все
SP
видишь в теле зашквар - помечаешь всех кто юзает эту функцию как зашквар. УУ НАУКА
DS
так погоди. давай разберемся. типчики котлина это в целом очевидно и достаточно просто понимание васяна. я правильно понимаю?
типчики хаскелей и идрисов это УУУ МАТАН ЧЕРЧ ЛЯМБДА ИСЧИСЛЕНИЯ
чтобы доказать что ты на таком низовом уровне что лучше не юзать типичики васяна вообще нужны матан-кококо о неполноте.
помоему это проеб в логике
типчики хаскелей и идрисов это УУУ МАТАН ЧЕРЧ ЛЯМБДА ИСЧИСЛЕНИЯ
чтобы доказать что ты на таком низовом уровне что лучше не юзать типичики васяна вообще нужны матан-кококо о неполноте.
помоему это проеб в логике
Ну ML подобный язык васян сейчас тоже напишет, но по наитию не выйдёт. Статейки почитать придется.
Вывод типов в особенности присутствии тайпклассов и т.п. - это не самая тривиальная вещь
Вывод типов в особенности присутствии тайпклассов и т.п. - это не самая тривиальная вещь
S
Это нормально для языков без тоталити чекера, но с тайплевелом
И что
DS
И что
Если ты можешь производить тьюринговские вычисления на уровне типов и у тебя язык без тоталити чекера, то отсюда сразу же следует возможность того, что процесс тайпчекинга может не завершиться
S
А где его взять
NL
Сумка, отключи пожалуйста автосенд этих стикеров. Идёт серьёзная дискуссия, а тут какие-то школьные рожи.
S
?