MK
Всё понятно
_GWrapped', и оно работало, но видимо в каком-то другом контексте использовалSize: a a a
2020 May 21
AA
Кстати, а что сплит секшенс делает?
то же самое, средствами линкера только
JG
к
согласен разве что с кейвордом для экспортов, но как опцию, потому что он не позволит так тонко настраивать экспортлист как сейчас
TZ
Никому не попадалась на глаза статья вида "а сейчас мы хитро обернем хаскелльную либу, запакуем в jar и будем её использовать из джавы"?
MK
google://inline-java
MK
хотя это не совсем то
TZ
Вижу java-bridge, который семь лет не обновлялся, и inline-java, которая про "позвать джаву из хаскелля"
JG
ну и : вместо :: тоже бы хотелось, но это самая минорная вещь из минорнейших, один символ мало что решает, а переписывать придется много, и проблем это добавит много при чтении, все будет перемешано, и имхо того не стоит
Тут согласен.
AV
Никому не попадалась на глаза статья вида "а сейчас мы хитро обернем хаскелльную либу, запакуем в jar и будем её использовать из джавы"?
рядом с inline-java была паковалка
AV
Сходу не вспомню как звалась
MK
Вижу java-bridge, который семь лет не обновлялся, и inline-java, которая про "позвать джаву из хаскелля"
насколько я помню, там "позвать джаву из хаскеля" превращается в то, что хаскель запихиваатся в джар и РТС запускается джавовским мейном
LO
ну и : вместо :: тоже бы хотелось, но это самая минорная вещь из минорнейших, один символ мало что решает, а переписывать придется много, и проблем это добавит много при чтении, все будет перемешано, и имхо того не стоит
:: лучше т.к. одной длинны с -> и =>
MK
наверное в обе стороны интероп естьь
MK
:: лучше т.к. одной длинны с -> и =>
+100500