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

и опять в хаскеле новая фича
https://gitlab.haskell.org/ghc/ghc/-/commit/6c2eb2232b39ff4720fda0a4a009fb6afbc9dcea
если так пойдет, может еще анлифтед типы будут

GitLab

Implement BoxedRep proposal (6c2eb223) · Commits · Glasgow Haskell Compiler / GHC

This implements the BoxedRep proposal, refacoring the `RuntimeRep` hierarchy from: ```haskell data RuntimeRep = LiftedPtrRep | UnliftedPtrRep | ... ``` to ```haskell data RuntimeRep = BoxedRep Levity | ... data...

источник

19:33пожаловаться #9

AV

Alexander Vershilov in Haskell

Ее

источник

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

к

кана in Haskell

а сейчас не вечер? О каком часовом поясе речь?

по мск уже 20 часов через 12 минут

источник

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

ДП

Дмитрий Павлюк... in Haskell

A64m AL256m qn I0

и опять в хаскеле новая фича
https://gitlab.haskell.org/ghc/ghc/-/commit/6c2eb2232b39ff4720fda0a4a009fb6afbc9dcea
если так пойдет, может еще анлифтед типы будут

GitLab

Implement BoxedRep proposal (6c2eb223) · Commits · Glasgow Haskell Compiler / GHC

This implements the BoxedRep proposal, refacoring the `RuntimeRep` hierarchy from: ```haskell data RuntimeRep = LiftedPtrRep | UnliftedPtrRep | ... ``` to ```haskell data RuntimeRep = BoxedRep Levity | ... data...

Привет.

А можно ссылку описывающую, что делает эта фича? Либо я слишком давно юзал Хаскель, либо слишком устал после работы... но не понял, в чём суть.

источник

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

AA

A64m AL256m qn<co... in Haskell

Дмитрий Павлюк

Привет.

А можно ссылку описывающую, что делает эта фича? Либо я слишком давно юзал Хаскель, либо слишком устал после работы... но не понял, в чём суть.

https://github.com/ghc-proposals/ghc-proposals/pull/203

GitHub

Pointer Rep by andrewthad · Pull Request #203 · ghc-proposals/ghc-proposals

The proposal has been accepted; the following discussion is mostly of historic interest.

Rendered link

источник

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

ДП

Дмитрий Павлюк... in Haskell

Спасибо

источник

19:50пожаловаться #14

DB

Danil Berestov in Haskell

не могу понять, чего оно делает(

источник

19:54пожаловаться #15

KV

Kirill Valyavin in Haskell

mkWeak# :: forall {vu :: Levity}  {vb :: Levity} (u :: TYPE ('PtrRep vu)) (b :: TYPE ('PtrRep vb)) (c :: Type).
  u -> b -> (State# RealWorld -> (#State# RealWorld, c#)) -> State# RealWorld -> (#State# RealWorld, Weak# b#)

Мега боринг хаскель

источник

20:02пожаловаться #16

AA

A64m AL256m qn<co... in Haskell

Danil Berestov

не могу понять, чего оно делает(

раньше у лифтед типов был тип TYPE LiftedRep а у анлифтед TYPE UnliftedRep теперь будет соответственно
TYPE (BoxedRep Lifted) и TYPE (BoxedRep Unlifted) и след. можно будет у всяких примитивов вроде массивов делать типы c элементами TYPE (BoxedRep l) т.е. не надо специальные массивымассивов (гхцный массивы андифтед т.д. в гхцмассив их не затолкаешь, из-за чего куча всяких костылей накостылена)

источник

20:04пожаловаться #17

DB

Danil Berestov in Haskell

А можно будет теперь параметризовать вообще любые типы анлифтед типами?

источник

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

DB

Danil Berestov in Haskell

ну типа если я дерево своё напишу, можно будет туда Int# запихнуть?

источник

20:06пожаловаться #19

KV

Kirill Valyavin in Haskell

Левити полиморфизм же и так уже был

источник

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