Есть ли язык программирования с GC, но в котором сложно восстановить исходный код?

Question

[iskateli]

Ищу язык программирования с хорошим GC (не простой подсчёт ссылок, а на уровне java, например сборка по поколениям), но в котором сложно восстановить исходный код. Вот например в Go или Haskell не посмотришь исходный код, а в Java или C# он практически в открытом виде, почему так? Какие ещё языки поддерживают такое?

Comments

[d'Ivan]

Это нужно для академического исследования?

Answer 1

[Василий Банников]

а в Java или C# он практически в открытом виде, почему так?

Потому что у C# и Java есть ещё одно важное свойство: у них есть виртуальная машина и они компилируются сначала в промежуточный код. А в машинный уже делается через JIT-компиляцию.

C# с недавнего времени поддерживает ещё и FullAOT - в таком режиме тоже код будет нечитабельный/нативный, как и в случае с Go.

Есть ещё F# из мира дотнета, который хоть и компилируется в промежуточный код, но там компилятор такой код генерирует, что в принципе это не далеко от обфускации будет.

Вот например в Go или Haskell не посмотришь исходный код

Если ты уже нашёл ответ на свой вопрос, то зачем задаёшь?

Comments

[iskateli]

Если ты уже нашёл ответ на свой вопрос, то зачем задаёшь?

потому что меня не удовлетворяют эти языки по другим параметрам, поэтому ищу другие

[Василий Банников]

iskateli, может следует эти "другие" параметры тут перечислить?
Ибо в вопросе упоминается только GC и компиляция в машинный код.
Почему именно поколенчатый GC лично я не понял - есть к примеру прикольный Swift, в котором используется подсчёт ссылок.

[iskateli]

есть к примеру прикольный Swift, в котором используется подсчёт ссылок.

я же специально написал

не простой подсчёт ссылок, а на уровне java, например сборка по поколениям

может следует эти "другие" параметры тут перечислить?

минимум поддержка ооп, лучше чтобы был популярным (готовые батарейки, библиотеки и т.п.) но чем больше языков тем лучше или просто скажите как искать, должна быть поддержка Full AOT? или ещё какие-то варианты есть?

[Василий Банников]

iskateli, FullAOT - это термин из дотнета.
Так тебе нужно искать язык, который компилируется в нативный код.

В жаве ещё вроде есть graalvm

[Василий Банников]

iskateli,

я же специально написал

А я специально спросил - откуда такое требование?

Второй вопрос - откуда требование наличия GC?

Третий вопрос - откуда требование ООП?

Четвёртый вопрос - откуда требование нечитабельного кода?

Вопросы задаю тк допускаю, что вы могли из своей задачи вывести неправильные требования

[iskateli]

как ответы на эти вопросы помогут ответу? зачем вы это спрашиваете? например GC мне нужен потому, что там редко возникают ошибки доступа к памяти и мне не хочется сидеть и разбираться в ассемблерном коде открывшегося окна отладчика после ошибки "access violation at address ..." Ну и остальные требования, если они мне нужны, значит действительно нужны, а не просто прихоть, почему я должен это обосновывать вам?

[Василий Банников]

iskateli,ну например мы выяснили, что GC нужен не просто так, а чтобы он сам следил за памятью:

там редко возникают ошибки доступа к памяти и мне не хочется сидеть и разбираться в ассемблерном коде открывшегося окна отладчика после ошибки "access violation at address ..."

В таком случае сборка мусора за счёт подсчёта ссылок, как в Swift, или за счёт передачи владения, как в Rust, вам тоже должно подойти.

[Василий Банников]

iskateli, если следовать вашим требованиям буквально, то по сути есть только 4 варианта:
Java с GraalVM
Kotlin с GraalVM
C# с FullAOT
VB NET с FullAOT

Любой другой популярный язык просто не пройдёт по одному из пунктов.

Это будет либо какой-то ФП или пультипарадигменный язык, возможно, с АТД как Scala, Haskell, F#.
В нём будет ООП, но не как в жаве: Go, D, Rust, Swift
В нём хоть и есть автоматическая сборка мусора, но она не на поколениях: Swift, Rust.
Может быть не очень популярный, или предназначен он для какой-то узкой ниши: Dart, D, Swift

[iskateli]

Василий Банников, , GraalVM частично проприетарный, AOT частично или полностью исключает использование reflection в Java и C# и ещё какие-то ограничения есть. Похоже языки, у которых VM изначально основано на AOT более полноценные, чем те, которые включили эту фичу позднее.

[Василий Банников]

iskateli,

Похоже языки, у которых VM изначально основано на AOT более полноценные, чем те, которые включили эту фичу позднее.

Покажи хоть один язык, у которого VM и AOT изначально, лол)
Это же буквально взаимоисключающие понятия.

[Роман Титов]

почему я должен это обосновывать вам?

Потому что часто возникает ru.wikipedia.org/wiki/Проблема_XY

Answer 2

[0x0f80]

Rust

Comments

[iskateli]

там же нет GC

[Василий Банников]

iskateli, но язык прикольный и тебе не нужно руками освобождать память.
А система типов такая, что если её прочуствуешь - забудешь жава-подобное ООП как страшный сон.

[Dmitry Roo]

Василий Банников, а можно какой-нибудь пример или, не знаю даже, статью, чтобы прямо вот проникнуться?

[Василий Банников]

Dmitry Roo, https://youtu.be/z-0-bbc80JM
А вот статью хорошую найти сейчас сходу не могу.

Answer 3

[Dmitry Roo]

Современная java умеет в нейтив.

Comments

[iskateli]

а какие-то ограничения в языке есть при этом?

[Dmitry Roo]

iskateli, есть некоторые.
Вот например: https://github.com/spring-projects/spring-boot/wik...