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

Size: a a a

rust_offtopic

354 membersпожаловаться на группу

2020 February 29

Dollar Føølish in rust_offtopic

На расте работы нет

источник

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

Dollar Føølish in rust_offtopic

+ я не так хорошо его знаю

источник

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

Т8

Т-34 85 in rust_offtopic

Dollar Føølish

+ я не так хорошо его знаю

тогда бери хаскелл

источник

13:20пожаловаться #3

Т8

Т-34 85 in rust_offtopic

или скалу

источник

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

Т8

Т-34 85 in rust_offtopic

Переслано от Т-34 85

ну, кроме авионики и т.п

источник

13:24пожаловаться #5

Т8

Т-34 85 in rust_offtopic

Переслано от Wild_Wind

Там есть Ада.
С приборами и мк она прекрасно справляется.

источник

13:24пожаловаться #6

Т8

Т-34 85 in rust_offtopic

Переслано от Т-34 85

а почему раст хуже неё?

источник

13:24пожаловаться #7

Т8

Т-34 85 in rust_offtopic

Переслано от Т-34 85

синтаксис у него точно лучше

источник

13:24пожаловаться #8

Т8

Т-34 85 in rust_offtopic

Переслано от Wild_Wind

Потому, что для менее удобен, и есть много готовых решений на аде. Ну и надежность в долгосрочной перспективе, её он гарантировать не может.

источник

13:24пожаловаться #9

Т8

Т-34 85 in rust_offtopic

Переслано от Wild_Wind

Это уже на любителя.

источник

13:24пожаловаться #10

Т8

Т-34 85 in rust_offtopic

@t91x0 вот так вот

источник

13:25пожаловаться #11

Т8

Т-34 85 in rust_offtopic

"хотите безопасность - берите аду"

источник

13:27пожаловаться #12

Т8

Т-34 85 in rust_offtopic

Переслано от Wild_Wind

Так же есть формальная верификация из коробки. Одна из самых удобных на текущий день.
MISRA сосет у SPARK, заглатывая.

источник

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

Dollar Føølish in rust_offtopic

Мисра это формальная верификация? С каких пор?

источник

13:48пожаловаться #14

Т8

Т-34 85 in rust_offtopic

Dollar Føølish

Мисра это формальная верификация? С каких пор?

@shiz01

источник

13:55пожаловаться #15

Roman Proskuryakov in rust_offtopic

у С есть формальная верификация?

источник

13:55пожаловаться #16

Dollar Føølish in rust_offtopic

Есть

источник

13:56пожаловаться #17

Dollar Føølish in rust_offtopic

Но не мисра

источник

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

Т8

Т-34 85 in rust_offtopic

Roman Proskuryakov

у С есть формальная верификация?

вроде нет. И не нужно её туда добавлять

источник

13:56пожаловаться #19

Dollar Føølish in rust_offtopic

И в целом аргумент за аду только в том что она уже используется в министерстве обороны

источник

13:57пожаловаться #20