Advanced Track: Understanding Memory Usage with eventlog2html and ghc-debug @ZuriHac21

Поделиться
HTML-код
  • Опубликовано: 9 ноя 2024

Комментарии • 4

  • @mskiptr
    @mskiptr Год назад

    35:00 So that * is kinda a glob wildcard and not the basic kind (the one that corresponds to Type in Idris)?

  • @shutterrecoil
    @shutterrecoil 2 года назад +1

    in -hT THUNK VS THUNK_1_0 vs THUNK_2_0. What is the difference?

    • @JackSchpeck
      @JackSchpeck 2 года назад

      This is explained at ruclips.net/video/6Ljv5FHGXDM/видео.html
      Basically THUNK_X_Y is a specialized version of THUNK, where X is number of pointer fields and Y is number of data fields.
      These specialized versions of THUNK are there to speedup GC for commonly occurring cases of constructors with low number of fields.

  • @shutterrecoil
    @shutterrecoil 2 года назад

    how to expand *?