Телеграмм чат группы haskellru страница 15974

зато там простое решение на идрисе!

nlist : Nat -> Type -> Type
nlist Z a = a
nlist (S n) a = List (nlist n a)

bubl : (n : Nat) -> a -> nlist n a
bubl Z a = a
bubl (S n) a = [bubl n a]

main : IO ()
main = print (bubl 3 "A") -- [[["A"]]]

источник

19:45пожаловаться #8

Unknown T. in Haskell

А как я могу проверить соответствие переменной типу?
В ghci, например, могу написать 1 :: Int или “str” :: Int, а можно сделать то же самое со своим data MyListItem a = Elem a | MyList [MyListItem a] ?

источник

20:01пожаловаться #9

Elijah in Haskell

https://stackoverflow.com/questions/4131552/haskell-check-if-integer-or-check-type-of-variable

Stack Overflow

Haskell: Check if integer, or check type of variable

So let's say you have a variable n.

You want to check if its an integer, or even better yet check what type it is.

I know there is a function in haskell, isDigit that checks if it is a char.

источник

20:03пожаловаться #10

Elijah in Haskell

второй из ответов говорит оень красочно

But you should think about your code, this is not very much like Haskell should be, and it probably is not what you want.

источник

20:03пожаловаться #11

Jerzy Syrowiecki in Haskell

конечно, точно так же —
Elem 42 :: MyListItem Int

источник

20:04пожаловаться #12

Unknown T. in Haskell

Я это прочитал перед тем, как писать свой вопрос. Там нет ответа про кастомные типы

источник

20:04пожаловаться #13

Elijah in Haskell

я немного недодумал что это именно вопрос в отношении кастомных типов)

источник

20:05пожаловаться #14

Jerzy Syrowiecki in Haskell

в данном случае нет разницы между кастомными типами и встроенными

источник

20:05пожаловаться #15

Jerzy Syrowiecki in Haskell

да почти никогда нет разницы между кастомными типами и встроенными

источник

20:05пожаловаться #16

Elijah in Haskell

если только в ghci, то можно заюзать :t для значения кастомного типа и то что он выдаст использовать в ::

источник

20:06пожаловаться #17

Unknown T. in Haskell

Ну да, я примерно так и думал, но я так понимаю в ghci все присваивания работают только в рамках одной строки, поэтому не могу объявить сначала тип, потом затестить

источник

20:06пожаловаться #18

Jerzy Syrowiecki in Haskell

нет там никаких присваиваний

источник

20:07пожаловаться #19

Grigory Petrov in Haskell

Там есть многострочный ввод

источник

20:07пожаловаться #20