[
тогда a
error "foo: please, change this function later"Size: a a a
2021 June 16
[
ещё можно
JS
idundef :: a -> a
idundef _ = let x = x in x[
т.е. давайте, сведём всё вместе.
мы можем
1 - написать id
2 - в том или ином виде сделать ошибку
3 - сделать независящий от
мы можем
1 - написать id
2 - в том или ином виде сделать ошибку
3 - сделать независящий от
a внешний эффект[
2 и 3 из-за нетотальности хаскеля
JS
2 - нетотальность
3 - ансэйфность
3 - ансэйфность
JS
можно и зависящий от а, если постараться
JS
нет, там ничего не типизировано, только тэгированы значения, и то не всегда