DB
ну это уже чуть глубже
Size: a a a
2021 May 14
DB
тело не напишешь просто для такой функции
DB
ну если хочешь понять, можешь про RankNTypes почитать
JS
нет, вы все слишком глубоко уходите
DB
хорошо, есть другой способ показать полезность forall!
DB
тайп аппликейшоны
DB
и скопед тайп вариэблс
JS
вот есть функция
show :: forall a. a -> String
когда её применяешь к 42
show 42
на самом деле она применяется к
в параметр на уровне типов (forall a) подставляется Int, в параметр на уровне значений (a ->) подставляется 42
show :: forall a. a -> String
когда её применяешь к 42
show 42
на самом деле она применяется к
show @Int 42в параметр на уровне типов (forall a) подставляется Int, в параметр на уровне значений (a ->) подставляется 42
JS
нет, это полезности явности квантора, а не смысл самого квантора
DB
обычно это не нужно, поэтому сахарится в просто a -> String
DB
ну так я думал что именно практический смысол его неясен
JS
как я понял, товарищу вообще его смысл неясен
DB
ну зато теперь всё должно быть ясно
DB
и зачем и как использовать
JS
@zuzukp нам удалось прояснить что-нибудь?
LO
[a] или Maybe (NotEmpty a), чо думаете?
LO
По хорошему конечно тип новый напилить, но лень