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

GHC.TypeLits

09:50пожаловаться #1

что именно? там есть только Nat и Symbol. например, я не смогу написать data Message = Message {pac :: MatchValue (Packet ... ...), ...} deriving Generic, не так ли? честно, я плохое представление об этом имею, так что поправьте

10:06пожаловаться #2

Можно использовать Nat как число в типах, то что ты и хотел

10:09пожаловаться #3

И потом получать из него Integer через natValue

10:09пожаловаться #4

Если хочешь чтобы оно было неотрицательным, можно на тип наложить констрейнт, опять же в том модуле есть семейства для сравнения Nat'ов

10:09пожаловаться #5

И Data.Type.Bool ещё пригодится

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

а с другими, кроме Nat и Symbol, так не выйдет?

10:16пожаловаться #7

В хаскеле довольно ограниченные средства для работы на уровне типов
Гугли DataKinds и singletons

10:17пожаловаться #8

кана in Haskell

да вроде любой адт можно, и экзисты можно

10:44пожаловаться #9

кана in Haskell

это хаскельные лабы?

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

кана in Haskell

а ну да, увидел

10:45пожаловаться #11

Покажешь задания?

10:57пожаловаться #12

А где там задания искать?

10:57пожаловаться #13

Если хоть что-то слушать в течение семестра, эти задания делаются за пару часов, ээээх

11:00пожаловаться #14

чего-чего? о каких лабах идёт речь, если я даже не был в университете?

11:22пожаловаться #15

я понимаю, мне об этом надо почитать. я имею представление о DataKinds, но применить не могу. и почему сразу лабы? в конце концов я не студент, я изучаю haskell в свободное время, так что о каких лабах идёт речь? или мне это надо доказать как-то, что я не верблюд? или речь не про меня? ладно, я запутался

11:27пожаловаться #16

Dreamerinnoise in Haskell

это был вопрос про другой месседж

11:28пожаловаться #17

ой, извините. я не могу отправлять сообщение чаще чем в 5 минут, так что я подумал, речь про меня. но, наверное, я заслужил это, раз задаю такие вопросы. наверное, надо как-то самому разбираться

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

[

[BRM]White Rabbit in Haskell

там речь шла про что-то уровня f a b c = (a, b, c)

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

@cblp_su зачем ты включил слоу мод?