LINUX.ORG.RU

История изменений

Исправление 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? Нет, работает. И имеет свои недостатки. Но решили сделать такой компромисс.