JS
a = b — это обозначение, и в ghci оно распространяется на все следующие командыSize: a a a
2021 April 12
GP
Да и вводить последовательно можно, он все запоминает
MK
Есть кстати обёртка чтобы в юпитере играться с хаскелем)
UT
Значит что-то не так в самом типе
Prelude> data MyListItem a = Elem a | MyList [MyListItem a]
Prelude> 1 :: MyListItem Int
<interactive>:16:1: error:
• No instance for (Num (MyListItem Int))
arising from the literal ‘1’
• In the expression: 1 :: MyListItem Int
In an equation for ‘it’: it = 1 :: MyListItem Int
JS
-- объявляем сначала тип
> data A = A Int deriving Show
-- потом затестим
> :t A 42
A 42 :: AUT
о, спасибо, тоже пригодится :)
JS
потому что 1 — это число, а ваш тип состоит не из чисел, а только из
Elem и MyListJS
а уже к
Elem можно цеплять числаJS
x :: Int; x = 42 -- просто для кругозоруGP
Попахивает чем-то иперативным
JS
Хаскель — лучший императивный язык, кстати
GP
Получается я глупо пошутил
JS
нет, это провокативное, но искреннее мнение
2021 April 13
[
Смотрел я эти ваши линзы с трансформерами стейтов, на вид императивно, на запах императивно, на вкус - тоже.
DB
а че плохого?