AN
не забывайте нашу молитву
Size: a a a
2021 May 30
B
я вариадик темплейты запилю, не сишные
B
а завтипов не будет
AN
я кстати так и не понял как они собираются делать в итоге const_generic до конца. потому что не понятно как тайпчекать же тьюринг полные функции. Но я много что не понимаю, так что это не удивительно )
B
а все, с++, неразрешимая грамматика
AN
но в с++ это не нужно.
AN
там скомпилировалось и хорошо. А если у тебя есть функция в трейте X<N> -> X<f(N)> то можно ли ее сделать имплементировать через X<N> -> X<g(N)>
AN
и тогда надо как то доказывать что f(N) == g(N) для любого N. Но это я может загнул с примером.Даже для гораздо более простых случаев подобное надо доказывать как то.
TK
Так всё на константах ведь будет работать. Считай константы да проверяй ограничения, в случае паник выдавай ошибку компиляции. Равенство в комптайме проверяться может только с помощью guaranteed_eq, по идее.
(Надеюсь, про ржавый речь)
(Надеюсь, про ржавый речь)
SS
Хочу вернуться к теме про БД
SS
А те, которые бекенд пишут, они как код заменяют? Им разве не нужно окно?
SS
Про Hibernate знаешь что-нибудь?
SS
Может, у меня опыт маленький, но в джаве страшная морока курсор двигать по таблице через
resultSet.next() и таскать ряды через resultSet.getString(index)p
Scala
а
Scala фигня, там даже нету Self типа в трейтах
B
И у замыканий отстойный синтаксис
DS
Это не так критично, по сравнению с тем, что там есть нормальные HKT, path-dep типы, человеческие макросы и т.п.
SS
А если я хочу попробовать ФП, лучше выбрать Хаскель или Скалу?
DS
Хаскель
p
Я это и имел ввиду. Что бы про скалу не говорили для Доге это фигня ненужная, а скала идеальна.