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

внимание на тип Pi2

18:35пожаловаться #1

Lierdakil

"полноценных" ещё нет всё-таки. можно правда нахакать. но очень много бойлерплейта.

Показалось «можно правда накакать», что наверное недалеко от правды

18:37пожаловаться #2

внимание на тип Pi2

Гениально!

18:39пожаловаться #3

👏

18:39пожаловаться #4

Всё ещё не понимаю, как на типа-зависимом хаскеле ввести с консольки число n, а затем вектор длины n

18:46пожаловаться #5

> на типах полноценные завтипы есть, все будет работать

18:46пожаловаться #6

но это тоже можно, и я же показывал как

18:46пожаловаться #7

> на типах полноценные завтипы есть, все будет работать

Я конечно не шарю, но звучит как обезжиренное масло

да где нет, если есть

Это я неправильно распарсил "на типах есть завтипы"

18:47пожаловаться #9

нет, просто на уровне типов есть зависимый тайпчекер, а на уровне термов нет

18:47пожаловаться #10

Завтипы по определению зависят от значений, не?

18:48пожаловаться #11

Dmitriy Mozhevitin in Haskell

но это тоже можно, и я же показывал как

если это было к "считать n, считать вектор длины n" то можно сурс пожалуйста

18:48пожаловаться #12

но это тоже можно, и я же показывал как

Ты показывал, а я всё ещё не понимаю!

18:48пожаловаться #13

ну да, но только только значения это вешь неопределенная

18:48пожаловаться #14

Полиморфизм родов скоро, у кого есть инсайды?

18:48пожаловаться #15

на тайплевел тоже не только типы

18:48пожаловаться #16

Sooqa

Полиморфизм родов скоро, у кого есть инсайды?

нет родов, нет каиндов, есть только типы, и полиморфизм типов на тайплевеле есть

18:49пожаловаться #17

роды, каинды, это все схлопнуто в типы через TypeInType

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

Жаль

18:49пожаловаться #19

да почему жаль, это все старые костыли были