JS
ну вот я заявил, что существует 2 типа:
∀a.a и ⟘Size: a a a
2021 June 16
JS
шо то непрактично, шо это
[
чё делает брейкпоинт?
JS
магию, нарушающую типизацию
[
а подробней?
У меня на уме только брейкпоинты отладчика, но там не функции, а в ide точечки ставишь рядом с линией кода
У меня на уме только брейкпоинты отладчика, но там не функции, а в ide точечки ставишь рядом с линией кода
AA
в книгах про такое не пишут, там обычно "как нарисовать сову" всегда
[
т.е. через эту фигню можно отлаживать?
[
и для этого нужен какой-то полусырой отладчик, который существует лишь на ограниченном количестве ide и систем?
[
ано делает так
[
там скорее всего бинды к компилятору
JS
хз. в документации не нашёл. скорее всего, кидает особое исключение в GHCi Debugger https://downloads.haskell.org/ghc/latest/docs/html/users_guide/ghci.html#the-ghci-debugger
AA
да это модуль с магическими функциями, которые специальным образом компилятором обрабатываются
JS
конечно, она точно для отладки введена
JS
отладчик в GHCi существует и хорошо отлаженный, только он для ленивого кода мало полезен. а что такое IDE?
JS
вы случайно не путаете отладку и использование отладчика?
[
ide это когда ты кодишь на шарпах/плюсах, у тебя код энергичный и привязан к линиям и можно поставить брейкпоинт