AK
какая-то непредсказуемая машинерия
Size: a a a
2018 January 25
AK
логгинг сообщений можно сделать складыванием оных в модель
кажется вот это оно https://github.com/paf31/purescript-signal-loop/blob/master/test/Main.purs
2018 February 02
ЗП
что тут
# значит?class FieldsToRow fields (row :: # Type)VY
# kind constructor is used to construct kinds for rows
ЗП
ага) в хаскелл не сделать) нет row polymorphism
2018 February 04
VY
хм, а можно ли как-то
extract автоматически реализовать? так же как pure, чтобы не писать кучу вот этихUnaryF x → x
BinaryF x → x
ЗП
хм, а можно ли как-то
extract автоматически реализовать? так же как pure, чтобы не писать кучу вот этихUnaryF x → x
BinaryF x → x
а как ты себе это представляешь? для этого нужен линейный эффект/коэффект
ЗП
хм, а можно ли как-то
extract автоматически реализовать? так же как pure, чтобы не писать кучу вот этихUnaryF x → x
BinaryF x → x
это не extract это алгебры
VY
ну в общем случае
m a -> a, плохой примерЗП
было бы круто
UnaryF | BinaryF x -> xЗП
просто через
| перечислятьVY
т.е. сейчас чтобы
extract написать не остается ничего лучше, чем перечислить самому все случаи и достать что нужно? я не знаю как ещеЗП
т.е. сейчас чтобы
extract написать не остается ничего лучше, чем перечислить самому все случаи и достать что нужно? я не знаю как ещену как бы да) в хаскелл конечно можно TH но не в пурсе
VY
понял, спасибо
2018 February 09
AK
2018 February 10
AK
Нашёл несколько ошибок, поправил, попозже будет исправленная и дополненная версия если надо
2018 February 11
к
Исправленная и дополненная: https://imgur.com/a/ESOR7
наклоненные блоки это плохая идея
AK
наклоненные блоки это плохая идея
Хотелось показать, что они толпятся вокруг моноида.