Чтобы понимать, что происходит в конструкторах, как хранится тип, и т.д.
https://takenobu-hs.github.io/downloads/haskell_ghc_illustrated.pdf
это типичное заблуждение, что знание реализации поможет программировать на Хаскеле. я же считаю, что гораздо легче изучить маленькую абстракцию, чем огромную машинерию под капотом
Поддержу идею подобных изысканий. Никак не мог понять что такое whnf , thunk с ленивостью, конструктор данных который как бы константа, пока не заглянул в инфу подобного рода.
это проблема с восприяием абстракции если тебе необходимо понять, что там внутри, чтоб понять абстракцию, возможно, это понимание только усугубит ситуацию
Конкретно эти вещи в лекциях на Ютубе от csc очень неплохо объяснены без привлечения машинерии, но с небольшим экскурсом в лямбда исчисление
Обсуждают сегодня