Size: a a a

2021 May 05

MK

Maxim Koltsov in Haskell
Инфотейбл то всегда есть
источник

MK

Maxim Koltsov in Haskell
Возможно номер конструктора лежит в нём
источник

K

Kir in Haskell
А что в нём?
источник

MK

Maxim Koltsov in Haskell
Инфо
источник

K

Kir in Haskell
А, Typeable же
источник

MK

Maxim Koltsov in Haskell
Да причём тут оно
источник

MK

Maxim Koltsov in Haskell
Инфотейбл описывает, как читать пейлоад
источник

MK

Maxim Koltsov in Haskell
Где там анбоксы, где поинтеры
источник

MK

Maxim Koltsov in Haskell
А для санков там ссылка на код и замыкание
источник

MK

Maxim Koltsov in Haskell
Точнее описание структуры замыкания опять же
источник

MK

Maxim Koltsov in Haskell
Посмотрите ghc illustrated
источник

JS

Jerzy Syrowiecki in Haskell
8 байт, у нас тут не turbo assembler
источник

K

Kir in Haskell
Я думал, что всё это не попадает в скомпилированную программу. Как тога unsafeCoerce работает?
источник

MK

Maxim Koltsov in Haskell
Меняет указатель на инфотейбл сохраняя пейлоад
источник

MK

Maxim Koltsov in Haskell
Именно поэтому все трюки работают
источник

[

[BRM]White Rabbit in Haskell
ну машинное слово же word из асм. Нет?
источник

IO

I O in Haskell
источник

MK

Maxim Koltsov in Haskell
Где приводят фолс к пустому списку и так далее
источник

IO

I O in Haskell
Вообще советую почитать если интересно про rts ghc: https://takenobu-hs.github.io/downloads/haskell_ghc_illustrated.pdf
источник

JS

Jerzy Syrowiecki in Haskell
нет, в ассемблере прибили гвоздями, что машинное слово = 2 байта, а в реальных машинах слово разрослось с тех пор
источник