JS
а что есть TetatS?
Size: a a a
2021 June 06
С
И если есть разные пересекающиеся состояние, я подумал что слить их в NP будет норм
MK
Стейт Кристофера Нолана
С
TetatS a m s = StateT s m a, Monoid a
[
чё
[
как это работает, почему у seq такая реализация...
MK
Это не его реализация
[
а можно где-то её найти?
MK
В сишных исходниках rts
MK
Это встроенная фигня
[
понял, deeply magic
MK
А то что ты видишь это просто заглушка undefined
MK
Для хаддока или ещё для чего
DM
можно представлять себе реализацию как-то так
_|_ `seq` _ = _|_
_ `seq` x = x
DM
если имеются вопросы к тому как зафорсить вычисление аргумента до whnf
[
я знаю, как это можно представлять
[
просто хотел узнать, как это представлено
AP
Забавно что раньше определение было seq = seq, а недавно поменяли на это. Но быстро с телефона не могу найти предыстории или даже коммита с этим творчеством
JS
а можно как
!_ `seq` b = b
MK
Кстати, а это эквиваленто же?