AV
насколько я помню, там "позвать джаву из хаскеля" превращается в то, что хаскель запихиваатся в джар и РТС запускается джавовским мейном
Да
https://github.com/llelf/acme-java
но с тех пор получше может написали
Size: a a a
2020 May 21
AV
Все предложения Митчела даже не должны рассматриваться
TZ
рядом с inline-java была паковалка
Окей, гляну
MK
хотел добавить пару метрик, в итоге заюзал в проекте первый раз open type family
TZ
насколько я помню, там "позвать джаву из хаскеля" превращается в то, что хаскель запихиваатся в джар и РТС запускается джавовским мейном
А, хорошо. Надо только будет научиться ртс пускать не сразу, а по надобности.
MK
(я если что с этим не работал от слова совсем)
TZ
https://github.com/llelf/acme-java
но с тех пор получше может написали
но с тех пор получше может написали
Аскетичненько там в репе) тоже посмотрю
D
насколько я помню, там "позвать джаву из хаскеля" превращается в то, что хаскель запихиваатся в джар и РТС запускается джавовским мейном
когда одного гц недостаточно
ЗП
был же etalang
MK
Все предложения Митчела даже не должны рассматриваться
ЗП
Все предложения Митчела даже не должны рассматриваться
why?
AV
У меня сложилось впечатление, что ему всё равно, что думают остальные и он будет делать так как хочет, а факт обсуджения даст его деятельности легитимность, хоть все и не согласны
к
чушь, разве сейчас нет расширений, которые ломают код?
MK
не настолько
АХ
чушь, разве сейчас нет расширений, которые ломают код?
А какие ломают? Ну разве что GADTs полиморфный лет выкллючают