к
Size: a a a
2021 March 05
MK
так! прекратить мета обсуждения!
+
[
Как метапрограммировать без мета-обсуждений?🤔
[
Мета это такая монада, да?
DG
это "нет"
1 из 3-х предложенных вариантов — это, всё же, "да")
DG
KV
https://minerva-access.unimelb.edu.au/bitstream/handle/11343/39240/67295_00003290_01_Thesis.pdf
Вончо у хаскеля было, оказывается
Вончо у хаскеля было, оказывается
DG
https://minerva-access.unimelb.edu.au/bitstream/handle/11343/39240/67295_00003290_01_Thesis.pdf
Вончо у хаскеля было, оказывается
Вончо у хаскеля было, оказывается
Я не читал, просто пролистал и посмотрел картинки.
Я правильно понимаю, что это штука показывала шаги редукции?
Я правильно понимаю, что это штука показывала шаги редукции?
KV
А я тоже не читал ещё
DG
Какие-то "высокоуровневые шаги", видимо
L
Я не читал, просто пролистал и посмотрел картинки.
Я правильно понимаю, что это штука показывала шаги редукции?
Я правильно понимаю, что это штука показывала шаги редукции?
hs-buddha
A declarative debugger for Haskell 98
Buddha is a debugger for Haskell 98 programs. To be more precise, it is a declarative debugger. It presents the evaluation of a Haskell program as a series of function applications, rather than the more traditional stepwise presentation of debuggers for imperative languages.
A declarative debugger for Haskell 98
Buddha is a debugger for Haskell 98 programs. To be more precise, it is a declarative debugger. It presents the evaluation of a Haskell program as a series of function applications, rather than the more traditional stepwise presentation of debuggers for imperative languages.
DG
hs-buddha
A declarative debugger for Haskell 98
Buddha is a debugger for Haskell 98 programs. To be more precise, it is a declarative debugger. It presents the evaluation of a Haskell program as a series of function applications, rather than the more traditional stepwise presentation of debuggers for imperative languages.
A declarative debugger for Haskell 98
Buddha is a debugger for Haskell 98 programs. To be more precise, it is a declarative debugger. It presents the evaluation of a Haskell program as a series of function applications, rather than the more traditional stepwise presentation of debuggers for imperative languages.
Звучит круто! Спасибо!
Я когда-то спрашивал про такой, мне сказали, что было, но уже нет.
Я когда-то спрашивал про такой, мне сказали, что было, но уже нет.
L
Звучит круто! Спасибо!
Я когда-то спрашивал про такой, мне сказали, что было, но уже нет.
Я когда-то спрашивал про такой, мне сказали, что было, но уже нет.
Его похоже действительно уже нет. Потому что описание в сети есть, а исходников -- шиш.