Сообщение Re[4]: Ада от 13.01.2020 22:12
Изменено 14.01.2020 18:04 FDSC
Re[4]: Ада
Здравствуйте, Слава, Вы писали:
С>Я не думаю, что вы найдёте более подходящий язык за исключением какой-нибудь экзотики вроде уже упомянутого F*
А как насчёт типизационных меток?
Не подскажете, что лучше почитать по Аде, чтобы было понятно и, желательно, на русском?
И какой лучше использовать бесплатный компилятор (желательно, чтобы он умел для UEFI делать программы — это специально подготовленные PE32+ файлы; Linux/Windows тоже не помешает)
С>Я не думаю, что вы найдёте более подходящий язык за исключением какой-нибудь экзотики вроде уже упомянутого F*
А как насчёт типизационных меток?
Не подскажете, что лучше почитать по Аде, чтобы было понятно и, желательно, на русском?
И какой лучше использовать бесплатный компилятор (желательно, чтобы он умел для UEFI делать программы — это специально подготовленные PE32+ файлы; Linux/Windows тоже не помешает)
Re[4]: Ада
Здравствуйте, Слава, Вы писали:
С>Я не думаю, что вы найдёте более подходящий язык за исключением какой-нибудь экзотики вроде уже упомянутого F*
А как насчёт типизационных меток?
Не подскажете, что лучше почитать по Аде, чтобы было понятно и, желательно, на русском?
С>Я не думаю, что вы найдёте более подходящий язык за исключением какой-нибудь экзотики вроде уже упомянутого F*
А как насчёт типизационных меток?
Не подскажете, что лучше почитать по Аде, чтобы было понятно и, желательно, на русском?