[09:31:52] <gour(home)> а вот вопрос дилетантский:
на Spark-е возможно написать что-то, что будет по tcp/udp работать? (имеется ввиду: есть ли реализация сетевого стека полностью написанная и верифицируемая через Spark)
а то я загуглил на тему Ada Spark tcp, и первый же результат, который должен был бы быть релевантнее некуда (ибо на adacore вёл) SUDDENLY вернул 404. (
[09:32:45] <gour(home)> (хотя во, вторая ссылка говорит, что там это уже есть и что "SPARK GPL 2015 also ships with additional examples, in particular a
standalone TCP/IP stack implementation")
в общем буду штудировать