NI
Скажем так, я вижу пользы в близости к хаскелю гораздо больше.
Можно даже ради этого и unsafe coerce ;-)
Можно даже ради этого и unsafe coerce ;-)
Size: a a a
2020 May 17
NI
наверное можно
Что-то типа этого я и имел в виду под "на определённом уровне стирания типов".
Ну это неточно сказано, конечно.
Ну это неточно сказано, конечно.
MK
Скажем так, я вижу пользы в близости к хаскелю гораздо больше.
Можно даже ради этого и unsafe coerce ;-)
Можно даже ради этого и unsafe coerce ;-)
ну так он все хвалёные хаскельные оптимизации и ломает
MK
(привет агда)
AA
ну сложно типы недостереть же. одно дело когда все стерто, а тут типолямбда и док-во что вот у этих вот штук один тип стерто уже, приехали
AA
Скажем так, я вижу пользы в близости к хаскелю гораздо больше.
Можно даже ради этого и unsafe coerce ;-)
Можно даже ради этого и unsafe coerce ;-)
пользы то может было бы больше, но по человечески понятно, почему он не хочет связываться с использованием гхц как бекенда - там не особо-то для этого что предусмотрено
MK
в твиттере кстати какой-то чел периодически постит про компиляцию в СТГ
MK
я так и не понял правда что он строит
AA
я так и не понял правда что он строит
он делает полнопрограммную оптимизацию стг, ну сейчас исключение мертвого кода только
AA
это вот гринтех и есть, щас у них организация на гитхабе не так называется, гринкомпайлер вроде
MK
а фронтенд там что?
AA
гхц
MK
а хм
AA
они не делают фронтенд
AA
они делают бекенд для гхц
AA
демо фронтенд у них идрис-1
NI
пользы то может было бы больше, но по человечески понятно, почему он не хочет связываться с использованием гхц как бекенда - там не особо-то для этого что предусмотрено
Ну тогда развиваем juvix ;-)
AA
правда щас у них получается гхц как бекенд как побочный продукт из-за экспериментов с стг-стг оптимизацией, он даже писал бреди в твиттере - вот мол можно будет использовать как бекенд, но это такой побочный и неофициальный продукт, который вероятнее всего не будет доделан а если и будет - то быстро сгниет, так что
AA
впрочем про малфункшон то же сказать можно
AA
(малфункшон - это окамлк как бекенд)