DG
текст собирается сообществом
Да, обновление 12 дней назад и 72 контрибьютора подтверждают твои слова.
Ещё раз спасибо!
Ещё раз спасибо!
Size: a a a
2021 March 09
JS
текст собирается сообществом
а судьи кто? как оценивается зрелость?
к
а судьи кто? как оценивается зрелость?
Габриел офк
a
2021 March 10
DS
как внутри тела функции можно сослаться на тип переменную из её декларации?
f :: [a] -> a
f xs = x
where
x :: a
x = xs !! 0
MK
расширение ScopedTypeVariables
MK
посмотри в гугле или лучше в ghc user guide
DS
те он не понимает что это одна 'a'
АК
f :: forall a . [a] -> a, и скопед тип переменные, как выше написали
DS
а без расширения никак?
MK
опять минус педагогика)
MK
а без расширения никак?
никак
MK
точнее можно не писать сигнатуру
x :: a вообщеDS
ну бывают случаи, когда он не может вывести сам
DS
:: [a] -> a здесь неявный forall ставится?
MK
бывают
MK
поэтому и придумали расширение
MK
:: [a] -> a здесь неявный forall ставится?
типа того
тем не менее советую прочитать как работает расширение
тем не менее советую прочитать как работает расширение
DS
хорошо, спасибо
к
а без расширения никак?
можно без расширений, просто убрав сигнатуру