История изменений
Исправление
vertexua,
(текущая версия)
:
Все обсосано давно.
Почему return неявный?
https://stackoverflow.com/a/51642696. Решили сделать такой компромисс. Обратное не работает? Global type inference глупая идея? Нет, работает вполне успешно в других ЯП. И имеет свои недостатки. Но решили сделать такой компромисс.
Мое личное мнение - пора вводить global type inference. В Haskell/OCaml никто не умер. Все равно через generics и зависимые типы можно сломать код далеко - проблема, которую local type inference вроде призван решать.
Исправление
vertexua,
:
Все обсосано давно.
Почему return неявный?
https://stackoverflow.com/a/51642696. Решили сделать такой компромисс. Обратное не работает? Global type inference глупая идея? Нет, работает вполне успешно в других ЯП. И имеет свои недостатки. Но решили сделать такой компромисс.
Мое личное мнение - пора вводить global type inference. Все равно через generics и зависимые типы можно сломать код далеко - проблема, которую local type inference вроде призван решать.
Исправление
vertexua,
:
Все обсосано давно.
Почему return неявный?
https://stackoverflow.com/a/51642696. Решили сделать такой компромисс. Обратное не работает? Global type inference глупая идея? Нет, работает вполне успешно в других ЯП. И имеет свои недостатки. Но решили сделать такой компромисс.
Исходная версия
vertexua,
:
Все обсосано давно.
Почему return неявный?
https://stackoverflow.com/a/51642696. Решили сделать такой компромисс. Обратное не работает? Global type inference? Нет, работает. И имеет свои недостатки. Но решили сделать такой компромисс.