VY
я так понял раньше было:
iterate f x = Z.fix \xs -> cons x (f <$> xs)iterate f x = Z.fix \xs -> cons x (f <$> xs)Size: a a a
2018 January 06
ЗП
я так понял раньше было:
тут проблема
f <$> xsVY
хм, не понимаю почему так http://try.purescript.org/?session=239c30c5-41e5-e03e-4c22-0774d14fc6f4&backend=core&gist=702f1f79caf623b8539664062ebad5d6
в этом примере:
show x = genericShow x
^ ок
show = genericShow
^ так (в pointfree) не будет работать:
The value of showExpr is undefined here, so this reference is not allowed.
т.е. я догадываюсь, что это так, наверное, потому что Expr это рекурсивный адт, но как это работает я не понимаю
upd: задал этот вопрос в irc
upd2: они все сидят в functionalprogramming слаке оказывается
в этом примере:
show x = genericShow x
^ ок
show = genericShow
^ так (в pointfree) не будет работать:
The value of showExpr is undefined here, so this reference is not allowed.
т.е. я догадываюсь, что это так, наверное, потому что Expr это рекурсивный адт, но как это работает я не понимаю
upd: задал этот вопрос в irc
upd2: они все сидят в functionalprogramming слаке оказывается
VY
AK
а есть какие-то var naming conventions?
AK
например как prime добавлять для нового состояния переменной
AK
или просто можно prime когда хочется добавлять?
VY
хм, не понимаю почему так http://try.purescript.org/?session=239c30c5-41e5-e03e-4c22-0774d14fc6f4&backend=core&gist=702f1f79caf623b8539664062ebad5d6
в этом примере:
show x = genericShow x
^ ок
show = genericShow
^ так (в pointfree) не будет работать:
The value of showExpr is undefined here, so this reference is not allowed.
т.е. я догадываюсь, что это так, наверное, потому что Expr это рекурсивный адт, но как это работает я не понимаю
upd: задал этот вопрос в irc
upd2: они все сидят в functionalprogramming слаке оказывается
в этом примере:
show x = genericShow x
^ ок
show = genericShow
^ так (в pointfree) не будет работать:
The value of showExpr is undefined here, so this reference is not allowed.
т.е. я догадываюсь, что это так, наверное, потому что Expr это рекурсивный адт, но как это работает я не понимаю
upd: задал этот вопрос в irc
upd2: они все сидят в functionalprogramming слаке оказывается
объяснили) они кстати митапы проводят в зуме регулярно https://gathering.purescript.org/event/19
о чем будет следующий: https://docs.google.com/document/d/1lxZEyrvQFmQu480oQyQIcrbwTBh-_nRIZltIXu2o4J0/edit
о чем будет следующий: https://docs.google.com/document/d/1lxZEyrvQFmQu480oQyQIcrbwTBh-_nRIZltIXu2o4J0/edit
2018 January 07
Aq
что-то бенчмарк уже 19 часов работает. не очень хорошо, конечно
l
Некоторые вещи просто пишутся на plain javascript ради скорости
AK
AK
По-моему это круто как раз в PS
AK
Effect Rows, намного нагляднее
AK
А нельзя их просто заалиасить типом или несколькими внутри модуля?
AK
Если уж так лень писать
l
Как я понял такие вещи просто должны быть опциональны
l
Как возможность, а не обязанность
D🐈
Нужно еще больше чатов