Транслятор llvm → c++14 constexpr functions / templates. Выгода в том, что можно написать на каком-нибудь высокоуровневом языке сложную штуку, которая будет, например, возвращать параметр для шаблона. Другой вариант: транслятор из ML-подобного языка. В таком случае выхлоп и получившееся API будет аккуратнее выглядеть.
че?
#O85GTG/H05
/ @hirthwork
/ 3539 дней назад
@hirthwork Например,
data List a = Null | Cons { car :: a, cdr :: (List a) }
length p@Null = 0
length p@(Cons _ _) = 1 + length (cdr p)
foo = length_ (Cons 3 (Cons 2 Null))
транслировать в http://pastebin.com/raw.php?i=GT3E4BvX . В итоге `foo` в крестах вычисляется уже на этапе компиляции.
#O85GTG/9Y1
/ @fix
-->
#O85GTG/H05
/ 3539 дней назад
@fix ок, а то я не понял сначала что ты про кодогенерацию говоришь, чтобы потом уже юзать сгенерированные темплейты. пиздец, в общем. страуструп бы не одобрил
#O85GTG/UM3
/ @hirthwork
-->
#O85GTG/9Y1
/ 3539 дней назад
@hirthwork Ну и пусть он сам вручную на крестах пишет, раз такой умный!
#O85GTG/K1D
/ @fix
-->
#O85GTG/UM3
/ 3539 дней назад
[c++ темплейты ето хаскель](http://www.tnkcs.inf.elte.hu/vedes/sinkovics_abel_ertekezes.pdf)
#O85GTG/P6U
/ @kuzy000
/ 3539 дней назад
@kuzy000 ухты, круто
#O85GTG/IQR
/ @fix
-->
#O85GTG/P6U
/ 3539 дней назад
@polecat ппц
#O85GTG/5HN
/ @fix
-->
#O85GTG/DZG
/ 3539 дней назад
Цоперайт © 2010-2016 @stiletto.