AK
Хм, а ты можешь в C++ в шаблонах проверять типы?
Конечно. Смотри type_traits. Растовые баунды в несколько десятков строк имплементятся
Size: a a a
2020 March 27
А⚙
Это наипрекраснейший синтаксис
ИМХО, у Хаскелля получше
А⚙
Alexander Krivitskiy
Конечно. Смотри type_traits. Растовые баунды в несколько десятков строк имплементятся
Сделай на type_traits аналог Default
G
ИМХО, у Хаскелля получше
Указание типа через
:: там странноеТ8
ИМХО, у Хаскелля получше
посмотри на Java
G
В Idris через
:Т8
ИМХО, у Хаскелля получше
или на JavaScript
А⚙
Примерно тот же
Нет, там нет бессмысленного with для матча, там нет let на top level binding, там гораздо приятнее обобщённые сигнатуры выглядят
AK
Сделай на type_traits аналог Default
Зачем? Дефолт в плюсах выражается через конструктор без аргументов.
А⚙
Указание типа через
:: там странноеЭто да, но во всём остальном лучше
G
Нет, там нет бессмысленного with для матча, там нет let на top level binding, там гораздо приятнее обобщённые сигнатуры выглядят
Почему вьюхи ненужны?
G
А, ты про
with в матчеА⚙
А, ты про
with в матчеДа
G
Ну
with или of, какая разницаА⚙
Т-34 85
посмотри на Java
Говно засохшее
AK
Сделай на type_traits аналог Default
А проверить что он определен можно через is_default_constructable
А⚙
Т-34 85
или на JavaScript
Говно жидкое
G
Говно засохшее
+
Т8
Говно жидкое
ахаха
G
Rust - говно среднее