These are chat archives for groupoid/exe

4th
Apr 2016
nponeccop
@nponeccop
Apr 04 2016 00:20
У меня в HNC "посредине" нетипизированная чистая лямбда
в оптимизаторе граф лямбд
с ребрами в виде ссылок на переменные
Namdak Tonpa
@5HT
Apr 04 2016 00:21
ну JavaScript это тоже язык экстрактора как и C++
nponeccop
@nponeccop
Apr 04 2016 00:22
С++ нужны типы.. т.е. я обратно вывожу потом
Namdak Tonpa
@5HT
Apr 04 2016 07:15
так а какой смысл их еще раз выводить если они в EXE все будут после разворачивания макросов ?
или чтобы ничего не менять и тестировать ХМ твой выводитель?
nponeccop
@nponeccop
Apr 04 2016 15:14
Кому выводить? Я только про устройство оптимизатора в HNC, ты можешь делать что угодно.
Смысл их выводить в том что а) IR оптимизатора бестиповый и б) мне нужно больше типов, чем есть у тебя, и.к
Т.е. типы всех подтермов
nponeccop
@nponeccop
Apr 04 2016 15:20
Ну и в) каррирования нет, это накладывает отпечаток. В т.ч. на требования к стирателю, который должен устранять каррированные аппликации, если такие будут. Или делать его явным.
nponeccop
@nponeccop
Apr 04 2016 18:23
По поводу "ничего не менять" - если переводить оптимизатор на типизированное представление, мне ж придётся делать например бета-редукции в типах, когда я делаю бета-редукции в термах. Это двойная работа. Тройная, учитывая, что термы у меня хранятся в формате, исключающем variable capture, благодаря особенностям либы-оптимизатора, а для типов этот фокус не пройдёт.