CD
Я поставлю вопрос прямо есть ли у письменного языка носители и попрошу определить
спроси лучше сначала, насколько язык, на котором ты пишешь, отличается от языка, на котором говоришь, и почему вода не течет под лежачий камень, а не под лежащий :)
Size: a a a
2020 May 21
O
Как и в Rust, собственно, как и во всех других языках, в экосистеме которых отсутствуют монады
Я отвечаю всегда вовремя
Не уверен, как конкретно реализуются монады в Haskell и других ФП языках, но я хочу возможность самостоятельной реализации монад на тайп-классах и рефлексии, а не чтобы язык сам пытался это за меня это сделать. Когда там тайп-классы в C++? ><
Не уверен, как конкретно реализуются монады в Haskell и других ФП языках, но я хочу возможность самостоятельной реализации монад на тайп-классах и рефлексии, а не чтобы язык сам пытался это за меня это сделать. Когда там тайп-классы в C++? ><
O
ФП такое себе в плане отлаживаемости кода
Да нормальное оно. Скажем так, отлаживать ошибки в шаблонах приятнее, чем на проде в рантайме
CD
Я поставлю вопрос прямо есть ли у письменного языка носители и попрошу определить
ну вот лежащий это церковно-славянизм
CD
ну нет его в устном русском
CD
ну не нужны там причастия
CD
Я поставлю вопрос прямо есть ли у письменного языка носители и попрошу определить
а еще спроси, как так получилось, что письменный язык от Ломоносова до Пушкина за 50 лет потерял всю идею о том, что "краткое" прилагательное соответствует неопределенному артиклю, а "полное" - определенному ;)
AB
и у меня конфуз мозга, потому что интуитивно в примере выше хочется поменять {} и []
Привыкнешь
AB
но это означает, что массивы будут в {}
Чем это плохо?
G
Я отвечаю всегда вовремя
Не уверен, как конкретно реализуются монады в Haskell и других ФП языках, но я хочу возможность самостоятельной реализации монад на тайп-классах и рефлексии, а не чтобы язык сам пытался это за меня это сделать. Когда там тайп-классы в C++? ><
Не уверен, как конкретно реализуются монады в Haskell и других ФП языках, но я хочу возможность самостоятельной реализации монад на тайп-классах и рефлексии, а не чтобы язык сам пытался это за меня это сделать. Когда там тайп-классы в C++? ><
+
С приходом GAT в Rust это станет возможным
С приходом GAT в Rust это станет возможным
G
(Сейчас уже возможно, но ой как неудобно)
CD
Я отвечаю всегда вовремя
Не уверен, как конкретно реализуются монады в Haskell и других ФП языках, но я хочу возможность самостоятельной реализации монад на тайп-классах и рефлексии, а не чтобы язык сам пытался это за меня это сделать. Когда там тайп-классы в C++? ><
Не уверен, как конкретно реализуются монады в Haskell и других ФП языках, но я хочу возможность самостоятельной реализации монад на тайп-классах и рефлексии, а не чтобы язык сам пытался это за меня это сделать. Когда там тайп-классы в C++? ><
Вопрос аналогичен "когда там gc в С++", все есть уже
CD
Ну смотри, как минимум в чем проблема метаклассов
@oficsu вот отсюда читать
KK
Да нормальное оно. Скажем так, отлаживать ошибки в шаблонах приятнее, чем на проде в рантайме
У тебя просто нормального прода в рантайме не было
CD
У тебя просто нормального прода в рантайме не было
в ФП стиле ужасная отлаживаемость компенсируется очень низкой ошибочностью
CD
грубо говоря у тебя в 10 раз меньше багов, каждый в 10 раз дольше локализовывать
G
EXEC_LAMBDA(LAMBDA(ARG + ARG), 1)
$ gcc meta/lambda.c -E
1 + 1
CD
EXEC_LAMBDA(LAMBDA(ARG + ARG), 1)
$ gcc meta/lambda.c -E
1 + 1
ты не хочешь завести канал "упоротый макросишник"?
CC
в ФП стиле ужасная отлаживаемость компенсируется очень низкой ошибочностью
Плюсую, императивщину дебажить проще в десятки раз. Но с ФП мне нужно дебажить в десятки раз меньше :)
G
EXEC_LAMBDA(LAMBDA(ARG + ARG), 1)
$ gcc meta/lambda.c -E
1 + 1
