𝛈µ
Причем не всегда ее возможно спланировать на полную глубину
Size: a a a
2020 March 06
AZ
Хоть кто-то находит в себе смелость признать, что он чего-то не понял. Окей, я Вас уважаю, Вы - умный.
хз, умный или нет, я много чего не понимаю. На очереди - дописать опердень в мтл (чтобы не создавать пул коннектов на каждый запрос) и посмотриеть что за полисеми
𝛈µ
А потом ее нужно инспектировать и аспектировать
𝛈µ
И даже репланировать на ходу
𝛈µ
Монада из-за своей непрозрачности для этого совершенно бесполезна
AZ
А потом ее нужно инспектировать и аспектировать
я бы про такое почитал, ибо объяснить людям зачем нужна интроинспекция структур данных не могу. Интутивино только есть понимание что это помогает
𝛈µ
ее даже протрейсить полноценно невозможно, она слишком мощная
𝛈µ
я бы про такое почитал, ибо объяснить людям зачем нужна интроинспекция структур данных не могу. Интутивино только есть понимание что это помогает
Ну, есть очень сложные домены
AZ
> 2 функции
> слишком мощная
)
> слишком мощная
)
𝛈µ
Мощная, потому что в байнд ты пихаешь любую непрозрачную функцию
𝛈µ
которая может что угодно делать
𝛈µ
на нее ноль контрактов
AZ
Мощная, потому что в байнд ты пихаешь любую непрозрачную функцию
для интроинспекции придумали ТФ, нет?
𝛈µ
Я сталкивался с двумя ультрасложными доменами у которых было много общего
𝛈µ
для интроинспекции придумали ТФ, нет?
ТФ не имеет никакого отношения к интроспекции
AZ
пишешь алгебру, пишешь интерпретатор, профит
𝛈µ
Интерпретатор не может оценить твою структуру не интерпретируя
AZ
Интерпретатор не может оценить твою структуру не интерпретируя
не может, но если у тебя есть партиал эвалюейшны то в компайл тайм все это делать все равно можно
𝛈µ
Эх
𝛈µ
Я не знаю, о чем мы спорим