Size: a a a

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

2020 September 25

NK

ID:0 in Конференция C++ Russia
Вычисления на типах во время компиляции дополняют традиционные вычисления на значениях на этапе выполнения и тем самым прорубают в С++ окно методам и понятийному аппарату теории категорий. Этот аппарат блестяще доказал свою плодотворность, например, в языке Haskell.

На C++ Russia 2020 Piter Вадим Винник, старший разработчик в SolarWinds, проведет большой воркшоп по метапрограммированию, в котором будет море полезностей от примитивных техник до решения сложных практических задач.

Если вы хотите обогатить свой арсенал приемами метапрограммирования, не пропустите.

Подробности и билеты — на сайте конференции.
Перейти на сайт
источник

M

Michael in Конференция C++ Russia
Вкуснота
источник

AV

Alexey Veselovsky in Конференция C++ Russia
У меня "вычисления на типах" почему-то сразу не с С++ ассоциируются, а с числами Пеано и Хаскеллем.
источник

VK

Vladimir Krivopalov in Конференция C++ Russia
Alexey Veselovsky
У меня "вычисления на типах" почему-то сразу не с С++ ассоциируются, а с числами Пеано и Хаскеллем.
Так программирование на шаблонах в С++ это в принципе Хаскель и есть)
источник

FO

FORTRAN ONE LOVE in Конференция C++ Russia
Vladimir Krivopalov
Так программирование на шаблонах в С++ это в принципе Хаскель и есть)
когда ждать транспилятор хаскеля в шаблоны C++?=)
источник

VK

Vladimir Krivopalov in Конференция C++ Russia
FORTRAN ONE LOVE
когда ждать транспилятор хаскеля в шаблоны C++?=)
А это мысль!
источник

FO

FORTRAN ONE LOVE in Конференция C++ Russia
интересно, насколько от такого транспилятора выиграет хаскель по скорости выполнения?:)
источник

NY

Nikita Yegorov in Конференция C++ Russia
Вопрос на грани адеквата: Снежана – это фортран?
источник

FO

FORTRAN ONE LOVE in Конференция C++ Russia
Nikita Yegorov
Вопрос на грани адеквата: Снежана – это фортран?
да
источник

FO

FORTRAN ONE LOVE in Конференция C++ Russia
тьфу. Снежана не фортран))
источник

AV

Alexey Veselovsky in Конференция C++ Russia
Vladimir Krivopalov
Так программирование на шаблонах в С++ это в принципе Хаскель и есть)
оооой.. всё же нет :-) ну, то есть вот на этом месте у матерого хаскелиста бомбануло бы очень сильно :-) потому как там весьма большой разрыв в семантике.
источник

AV

Alexey Veselovsky in Конференция C++ Russia
к хаскельным шаблонам скорее, как я слышал, шарповые дженерики ближе.
источник

AV

Alexey Veselovsky in Конференция C++ Russia
а плюсовые шаблоны это всё же макросы.
источник

VK

Vladimir Krivopalov in Конференция C++ Russia
Alexey Veselovsky
оооой.. всё же нет :-) ну, то есть вот на этом месте у матерого хаскелиста бомбануло бы очень сильно :-) потому как там весьма большой разрыв в семантике.
Да это конечно шутка была. Но сходство там налицо, об этом многие функциональщики сами говорят.
источник

AV

Alexey Veselovsky in Конференция C++ Russia
Vladimir Krivopalov
Да это конечно шутка была. Но сходство там налицо, об этом многие функциональщики сами говорят.
Это да. Но если хочется прям погрузиться в эти игры с типами, то лучше все же не с++ использовать - в плюсах это все слишком тяжеловесно и малофункционально при этом
источник

AV

Alexey Veselovsky in Конференция C++ Russia
Но как эпизодическая разминка - шаблоны хороши :-) если лениво в хаскель погружаться и это не основное занятие
источник

AV

Alexey Veselovsky in Конференция C++ Russia
Типа как на Си можно поиграть в ООП и даже в шаблонные контейнеры.
источник

VK

Vladimir Krivopalov in Конференция C++ Russia
Alexey Veselovsky
Это да. Но если хочется прям погрузиться в эти игры с типами, то лучше все же не с++ использовать - в плюсах это все слишком тяжеловесно и малофункционально при этом
Почему же, для каких-нибудь очень общих библиотек это вполне себе инструмент. Тут как в любом деле, главное не переборщить :)
источник
2020 September 26

AV

Alexey Veselovsky in Конференция C++ Russia
источник

AZ

Alexander Zaitsev in Конференция C++ Russia
он об этом знает?
источник