I
он просто хочет таким способом лишить термин "метапрограммирование" какого-либо смысла
Ну как бы вряд-ли... Он один из тех кто это придумал... Хз это как Кнут хочет лишить людей ИТ)
Size: a a a
2020 October 17
I
Блин, я спать собирался)))
I
/me пошёл искать стандарт ц++
SK
Почему? (Да я знаю что я это в свой список включил)
Но это рацианолизаторсвто класса "highly likely". Доказательств у меня нет кроме отсылок к трупу страуса
Но это рацианолизаторсвто класса "highly likely". Доказательств у меня нет кроме отсылок к трупу страуса
Зависит от того, понимать ли метапрограммирование широко, или сужать до generative programming. Сужать, наверное, нехорошо, хотя хочется. Если понимать широко, то да, получается, что любые темплейты — метапрограммирование.
I
Зависит от того, понимать ли метапрограммирование широко, или сужать до generative programming. Сужать, наверное, нехорошо, хотя хочется. Если понимать широко, то да, получается, что любые темплейты — метапрограммирование.
Хотелось бы найти границы за которым расширять уже нельзя. Тогда можно будет попробовать найти определение полностью попадающее в эти границы
O
это как ООП, только чуть более лучше определённое
O
и с ФП такая же беда
O
вроде программирование про точные вещи, а определения расплывчатые
O
кроме всяких ФПшных штук, пришедших из ТК и прочих матанов
SK
Хотелось бы найти границы за которым расширять уже нельзя. Тогда можно будет попробовать найти определение полностью попадающее в эти границы
Думаю, полезнее будет глянуть на диссер Ромпфа и на туториал от Олега (был выше), чем на стандарт С++.
SK
Думаю, полезнее будет глянуть на диссер Ромпфа и на туториал от Олега (был выше), чем на стандарт С++.
http://infoscience.epfl.ch/record/180642/files/EPFL_TH5456.pdf если захочется.
SK
Ромф так определяет, вслед за Walid Taha:
Meta-programs are programs that manipulate other programs.
Object-programs are programs manipulated by other programs. Meta-languages and objectlanguages are the languages of meta-programs and object-programs, respectively. Program generators are meta-programs that produce object-programs as their final result
2020 October 18
AD
на вики написано: Метапрограммирование — вид программирования, связанный с созданием программ, которые порождают другие программы как результат своей работы[1] (в частности, на стадии компиляции их исходного кода), либо программ, которые меняют себя во время выполнения (самомодифицирующийся код).
получается, что монада IO - метапрограммирование
получается, что монада IO - метапрограммирование
может хватит щупать слона?
O
может хватит щупать слона?
можно продолжать?
IL
https://scastie.scala-lang.org/k8optGPqR8aaPByTTtuPzQ
Как работает такое применение экстрактора? Увидел в коде http4s и не понимаю, что происходит.
Как работает такое применение экстрактора? Увидел в коде http4s и не понимаю, что происходит.
AD
https://scastie.scala-lang.org/k8optGPqR8aaPByTTtuPzQ
Как работает такое применение экстрактора? Увидел в коде http4s и не понимаю, что происходит.
Как работает такое применение экстрактора? Увидел в коде http4s и не понимаю, что происходит.
case as("match", n) =>
IL
case as("match", n) =>
Вот мне интересно, как
case "match" as n превращается в case as("match", n), что за синтаксис такой?AD
Вот мне интересно, как
case "match" as n превращается в case as("match", n), что за синтаксис такой?Инфиксный
AD
1 :: Nil вас не смущает?
IL
Инфиксный
Окей, спасибо, нагуглил, что такая инфикс-нотация может применяться для кейс-классов, таплов или типов с двумя аргументами