DB
Сейчас они комментируют решения даже
Size: a a a
2021 October 14
JS
там и начинающий в вопросе был
DB
Ну после курса Москвина мне кажется будет уже скучно. А вот перед курсом самое то может быть.
JS
курсы Москвина хорошо бы прорешать
Д
Так я и решаю
JS
здорово!
Д
Прекрасно!
SG
Чето я совсем запутался в DataKind’ах. Хочется вот чего:
Сделать функцию, которая возвращает
Я тут понимаю, что путаю тайпы и каинды, и выше — это лишь иллюстрация. Но как к такому придти? Т.е. хочу написать функции, которые возвращают метки (чтобы они были выражены через типы, да), а потом их результаты сложить вместе и получить список более общего типа от всех этих меток.
data A = C | B | D
Сделать функцию, которая возвращает
Maybe C и ещё функцию которая возвращает Maybe B. Взять результаты этих функций и получить какой-нибудь [Maybe A], который уже можно будет впоследствии сжать до [A].Я тут понимаю, что путаю тайпы и каинды, и выше — это лишь иллюстрация. Но как к такому придти? Т.е. хочу написать функции, которые возвращают метки (чтобы они были выражены через типы, да), а потом их результаты сложить вместе и получить список более общего типа от всех этих меток.
SG
https://www.schoolofhaskell.com/user/k_bx/playing-with-datakinds нашёл вот это, пытаюсь разобраться
SG
Настораживает, что человек в итоге всё равно не пришёл к тому, что хотел.
2021 October 15
SG
Более практичное применение выше — это работа с ролями пользоваталей. Пользователь может иметь несколько ролей, в зависимости от контекста. Функции с Maybe B (или C) — это своего рода проверки на принадлежность пользователя к конкретной роли. Когда мы проверим пользователя на принадлежность ко всем ролям, то получим список допущений [Maybe A], который в последствии можно сжать, выкинув Maybe и получить актуальный список ролей.
И
Я конечно могу ошибаться но помойму датакаинды создают тип для коснтруктора данных, но это пустой тип, без значений. Поэтому я думаю в
Maybe 'C будет мало смысла[
λ> :k 'True
'True :: Bool
λ> :t True
True :: Bool
λ> :k Bool
Bool :: *
λ> :{
> x :: Bool
> x = True
> :}
λ> x
True
λ> :{
> y :: 'True
> y = True
> :}
<interactive>:20:6: error:
• Expected a type, but ‘'True’ has kind ‘Bool’
• In the type signature: y :: 'True
[
термы могут быть только у того, что на тайплевеле имеет каинд * (ну или Type)
у 'True каинд не *, а Bool, поэтому мы не можем населить 'True термом
у 'True каинд не *, а Bool, поэтому мы не можем населить 'True термом
[
более того, мы не можем написать Maybe 'True потому что Maybe имеет тип (каинд) * -> *, а не Bool -> *
[
Дата каинды нужны для дальнейших типострадашек, а не сами по себе
SG
Что же делать? 😄
[
Учить дальше!
SG
ну куда хоть учить-то если хочется вот роли у пользователей как выше