Телеграмм чат группы adalang страница 4087

pragma Ada_2020;
with System, Interfaces.C;

package ada_lib with Export, Convention => CPP is
    package C renames Interfaces.C;
    procedure bla(count: C.size_t; string: C.char_array(count));
    pragma export (cpp, bla, "bla", "_bla");
end ada_lib;

— Во чего наговнокодил.
— А как передать не костантного размера указатель на char?
— Ибо если через char_array, то размер массива должен зашит быть в размер char_array.
— Иначе во шо пишет:

ada_lib.ads:6:56: constraint not allowed here

источник

18:21пожаловаться #4

Victor Miasnikov in Ada

Alexey Veselovsky

https://github.com/charlie5/swig4ada

GitHub

charlie5/swig4ada

Provides a SWIG module to generate Ada bindings. Contribute to charlie5/swig4ada development by creating an account on GitHub.

Приятный сюрприз

источник

18:22пожаловаться #5

Victor Miasnikov in Ada

Идея:

Библиотеки и Modula-3:
есть специальная "софтина".

Называется SWIG.

К Питону и ко многому другому из .h файлов "headers" Си формирует нужное для целевого ЯП.

Есть и для M3.
Им подключали ( раза 3-4) LLVM .dll
для компилятора.

И для Ada есть

источник

18:22пожаловаться #6

Alexey Veselovsky in Ada

rustRustRUST!!1 https://www.abetterinternet.org/post/memory-safe-curl/

Internet Security Research Group

Memory Safe ‘curl’ for a More Secure Internet

Memory safety vulnerabilities represent one of the biggest threats to Internet security. As such, we at ISRG are interested in finding ways to make the most heavily relied-upon software on the Internet memory safe. Today we’re excited to announce that we’re working with Daniel Stenberg, author of ubiquitous curl software, and WolfSSL, to make critical parts of the curl codebase memory safe.
ISRG is funding Daniel to work on adding support for Hyper as an HTTP back-end for curl.

источник

18:25пожаловаться #7

FORTRAN ONE LOVE in Ada

Alexey Veselovsky

одно вот это является страхом и ужасом:

void method1 (void);

Почему?

источник

18:30пожаловаться #8

Alexey Veselovsky in Ada

FORTRAN ONE LOVE

Почему?

потому, что foo(void) не имеет смысла в с++

источник

18:30пожаловаться #9

FORTRAN ONE LOVE in Ada

Alexey Veselovsky

потому, что foo(void) не имеет смысла в с++

Т.е. так нельзя глобальный стейт обновить?

источник

18:32пожаловаться #10

Alexey Veselovsky in Ada

FORTRAN ONE LOVE

Т.е. так нельзя глобальный стейт обновить?

можно. функция без аргументов в с++ записывается так: foo(), а не foo(void)

источник

18:33пожаловаться #11

МР

Максим Резник... in Ada

Wild_Wind

В доке написано, что может. И что даже эксепшены прокидывать может. Значит я таки запилию это!

Боюсь, это дохлая затея. Вадим когда писал биндинг к Qt обарачивал каждый С++ метод в С враппер, а потом на Аде уже биндил его. Ну не руками, конечно...

источник

18:35пожаловаться #12

Wild_Wind in Ada

Максим Резник

Блин, похоже придется через шину биндить.
Поднимать демона и через него через в сокет читать/писать :(

источник

18:37пожаловаться #13

МР

Максим Резник... in Ada

> А как передать не костантного размера указатель на char

Через Interfaces.C.Strings.chars_ptr

источник

18:37пожаловаться #14

Alexey Veselovsky in Ada

а почему дохлый? вроде ада позволяет даже плюсовые классы наследовать

источник

18:38пожаловаться #15

Alexey Veselovsky in Ada

а потом возвращать и плюсы от них чтобы уже наследовались

источник

18:38пожаловаться #16

Wild_Wind in Ada

Максим Резник

> А как передать не костантного размера указатель на char

Через Interfaces.C.Strings.chars_ptr

pragma Ada_2020;
with System, Interfaces.C;

package ada_lib with Export, Convention => CPP is
    package C renames Interfaces.C;
    procedure bla(str: Interfaces.C.Strings);
end ada_lib;

ada_lib.ads:6:36: "Strings" not declared in "C"
gprbuild: *** compilation phase failed

источник

18:39пожаловаться #17

МР

Максим Резник... in Ada

with Interfaces.C.Strings;
Это отдельный пакет

источник

18:39пожаловаться #18

Wild_Wind in Ada

Максим Резник

with Interfaces.C.Strings;
Это отдельный пакет

Я думал, что раз я подключил весь Interfaces.C, то Interfaces.C.Strings - тоже подключится, как часть пакета.

источник

18:40пожаловаться #19

МР

Максим Резник... in Ada

Alexey Veselovsky

а почему дохлый? вроде ада позволяет даже плюсовые классы наследовать

Ну наследовать ты можешь, а чтобы вызвать метод С++ класса его же нужно в Аде объявить. А объявить, как я понимаю, надо в той последовательности в которой они в виртуальной таблице лежат. А сделать это руками для нетривиального класса будет проблематично.

источник

18:41пожаловаться #20