Исправление AndreyKl, (текущая версия) :
Не то чтобы я настаиваю на изучении, просто довожу до сведения. Если с хаскелем опыта нет, то туториал пройти будет непросто, мягко говоря. Тем не менее, это вполне работает. Выглядит как то так в итоге
xs = 'a' ::: "hello" ::: True ::: HNil
x = (5 :: Int) :- 'a' :- True :- Nil
PS. вообще когда то я нагугливал более развитые либы с тайп-левел программингом какого японца. Но сейчас не помню название. А в идрисе так это всё вообще сам господь велел иметь кажется (правда, я что то не пробовал гетерогенные списки, гм-гм).
Исправление AndreyKl, :
Не то чтобы я настаиваю на изучении, просто довожу до сведения. Если с хаскелем опыта нет, то туториал пройти будет непросто, мягко говоря. Тем не менее, это вполне работает. Выглядит как то так в итоге
xs = 'a' ::: "hello" ::: True ::: HNil
x = (5 :: Int) :- 'a' :- True :- Nil
Исправление AndreyKl, :
Не то чтобы я настаиваю на изучении, просто довожу до сведения. Если с хаскелем опыта нет, то туториал пройти будет непросто, мягко говоря. Тем не менее, это вполне работает. Выглядит как то так в итоге
xs = 'a' ::: "hello" ::: True ::: HNil
x = (5 :: Int) :- 'a' :- True :- Nil
Исходная версия AndreyKl, :
Не то чтобы я настаиваю на изучении, просто довожу до сведения. Если с хаскелем опыта нет, то туториал пройти будет непросто, мягко говоря. Тем не менее, это вполне работает. Выглядит как то так в итоге
xs = 'a' ::: "hello" ::: True ::: HNil
x = (5 :: Int) :- 'a' :- True :- Nil