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

sizeof :: forall (a :: Type) -> Int
или
sizeof :: foreach (a :: Type) -> Int
в зависимости от того, можно ли аргумент стереть (второй не стирается, первый стирается)

источник

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

кана in Haskell

ну логика простая и описана там хорошо

forall/foreach про стираемость/нестираемость
./-> это про видимость-невидимость аргумента (нужен @ или не нужен, при условии что {} не используется)

источник

12:19пожаловаться #7

Jerzy Syrowiecki in Haskell

наверно, зависит от видимости аргумента в сигнатуре sizeof

источник

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

кана in Haskell

ну, мой вопрос был глобальнее, мол если ли смысл вообще писать сигнатуры через [forall/foreach]-> вместо ., если с . выходит короче через @

источник

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

Jerzy Syrowiecki in Haskell

надеюсь, explicit namespace будет только для неоднозначности

источник

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

Jerzy Syrowiecki in Haskell

получается, что 'True поднимает на уровень выше, а (type Bool) опускает?

источник

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

[

[BRM]White Rabbit in Haskell

В хаскель добавляют завтипы?..

источник

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

кана in Haskell

уже много лет добавляют

источник

12:23пожаловаться #13

[

[BRM]White Rabbit in Haskell

а, это "очередной шажок", да?

источник

12:23пожаловаться #14

Jerzy Syrowiecki in Haskell

всё никак не добавят

источник

12:23пожаловаться #15

кана in Haskell

ну скорее наоборот наверное, ' говорит парсить как выражение в парсере типов, а type говорит парсить как тип в парсере выражений

ну с ' неточно, потому что там только конструктор и может быть

источник

12:24пожаловаться #16

Jerzy Syrowiecki in Haskell

или от уровней можно будет избавиться?

источник

12:24пожаловаться #17

Jerzy Syrowiecki in Haskell

и от разделения языков типов/термов тоже избавятся, надеюсь

источник

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

кана in Haskell

теперь будет аж 3 варианта типы передавать в функции, красота

источник

12:25пожаловаться #19

Jerzy Syrowiecki in Haskell

а type Bool возвращает меня во времена старого доброго С: struct time time; (там тоже пространства имён типов и термов разделены)

источник

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