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

Aleksandr Borgardt

Мои глаза.

Какой сегодня язык предлагали типа тайку?)

00:11пожаловаться #1

Вот с ним надо!

00:11пожаловаться #2

Какой сегодня язык предлагали типа тайку?)

каво?

00:15пожаловаться #3

каво?

TLA++ вроде. @k0tb9g9m0t, поправь меня

00:17пожаловаться #4

Просто +

00:17пожаловаться #5

https://en.wikipedia.org/wiki/TLA%2B

TLA+

https://en.wikipedia.org/wiki/TLA%2B

Wikipedia

TLA+

programming language

Да я загуглил, но в чатике мелькал TLA++

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

нам только волю дай, мы везде два плюса нарисуем!

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

нам только волю дай, мы везде два плюса нарисуем!

Когда ждать Rust++?

00:19пожаловаться #9

И куда в С# добавлять ++?

Denis Kormalev in Конференция C++ Russia

00:19пожаловаться #10

Когда ждать Rust++?

R++t

Alexander Zaitsev in Конференция C++ Russia

00:19пожаловаться #11

R***

00:20пожаловаться #12

Alexander Zaitsev

R***

R*st

Alex Ф-ф-фэils!🌠︙... in Конференция C++ Russia

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

Alexander Zaitsev

R***

Aleksandr Borgardt in Конференция C++ Russia

00:21пожаловаться #14

tla++ мой любимой подхотд к верефикации

00:21пожаловаться #15

И куда в С# добавлять ++?

тут их и так уже четыре 🙂

00:21пожаловаться #16

тут их и так уже четыре 🙂

Будет 6 😄

*cyberzx in Конференция C++ Russia

00:21пожаловаться #17

И куда в С# добавлять ++?

C++#

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

*cyberzx

C++#

Некрасиво

*cyberzx in Конференция C++ Russia

00:24пожаловаться #19

Ну лучше чем C+#+ или C#++ :)