В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Scala User Group

2085 membersпожаловаться на группу
2020 October 17

Oℕ

Oleg ℕizhnik in Scala User Group
Ilya
Ну тогда почему ТФ не мета-программа? У меня может быть 2 разных интерпретатора. Имхо TF это тоже мета-программа.
И со своим компилятоом (то что это обычно интерпретатор мало что меняет)
Это не метапрограмма, потому что никакая специальная прогармма не исполняется в момент компиляции\трансляции вашего кода.
источник
21:37пожаловаться#1

Oℕ

Oleg ℕizhnik in Scala User Group
Αλεχ Zhukovsky
но хкт и тайпфемили это разные вещи
Тайп-фемили  и матч тайпы - это расширение ХКТ  https://t.me/scala_ru/294193
Telegram
Oleg ℕizhnik in Scala User Group
то, что в дотти, и  то, что в хошкеле при должной поддержке могут работать как платформа для метапрограммирования
источник
21:37пожаловаться#2

O

Ortofax in Scala User Group
ТФ это тайпфемели или тэглесфайнал?
источник
21:37пожаловаться#3

Oℕ

Oleg ℕizhnik in Scala User Group
Ortofax
ТФ это тайпфемели или тэглесфайнал?
теглесс файнал, конечно
источник
21:38пожаловаться#4

I

Ilya in Scala User Group
Ortofax
ТФ это тайпфемели или тэглесфайнал?
Я про второе
источник
21:38пожаловаться#5

O

Ortofax in Scala User Group
тогда это типа дсл
источник
21:38пожаловаться#6

ΑZ

Αλεχ Zhukovsky in Scala User Group
Oleg ℕizhnik
Тайп-фемили  и матч тайпы - это расширение ХКТ  https://t.me/scala_ru/294193
Telegram
Oleg ℕizhnik in Scala User Group
то, что в дотти, и  то, что в хошкеле при должной поддержке могут работать как платформа для метапрограммирования
да, но если остаться в рамках базового хкт (с параметричностью, без матчинга по типам), то метапрограммирования не получитсся же
источник
21:38пожаловаться#7

Oℕ

Oleg ℕizhnik in Scala User Group
типа ДСЛ\ типа еДСЛ - это не метапрограммирование
источник
21:38пожаловаться#8

I

Ilya in Scala User Group
Αλεχ Zhukovsky
да, но если остаться в рамках базового хкт (с параметричностью, без матчинга по типам), то метапрограммирования не получитсся же
А мы про концепцию в конкретном языке или пол абсткцию?)))
источник
21:39пожаловаться#9

Oℕ

Oleg ℕizhnik in Scala User Group
Αλεχ Zhukovsky
да, но если остаться в рамках базового хкт (с параметричностью, без матчинга по типам), то метапрограммирования не получитсся же
Я так и сказал https://t.me/scala_ru/294192
Telegram
Oleg ℕizhnik in Scala User Group
ХКТ разное бывает
источник
21:39пожаловаться#10

ΑZ

Αλεχ Zhukovsky in Scala User Group
Ilya
А мы про концепцию в конкретном языке или пол абсткцию?)))
второе
источник
21:39пожаловаться#11

ΑZ

Αλεχ Zhukovsky in Scala User Group
Oleg ℕizhnik
Я так и сказал https://t.me/scala_ru/294192
Telegram
Oleg ℕizhnik in Scala User Group
ХКТ разное бывает
отлично, значит я правильно понял мысль
источник
21:39пожаловаться#12

Oℕ

Oleg ℕizhnik in Scala User Group
например хаскельное "базовое ХКТ" с точки зрения скалы тоже неполноценное
источник
21:39пожаловаться#13

ΑZ

Αλεχ Zhukovsky in Scala User Group
спасибо
источник
21:39пожаловаться#14

O

Ortofax in Scala User Group
на вики написано: Метапрограммирование — вид программирования, связанный с созданием программ, которые порождают другие программы как результат своей работы[1] (в частности, на стадии компиляции их исходного кода), либо программ, которые меняют себя во время выполнения (самомодифицирующийся код).

получается, что монада IO - метапрограммирование
источник
21:40пожаловаться#15

I

Ilya in Scala User Group
Oleg ℕizhnik
типа ДСЛ\ типа еДСЛ - это не метапрограммирование
Почему? Если, к примеру, у меня есть 2 транслятора. Один исполняет бизнес-дейсьвия, второй стоит граф исполнения и пытается его оптимизировать?
источник
21:40пожаловаться#16

ΑZ

Αλεχ Zhukovsky in Scala User Group
Ortofax
на вики написано: Метапрограммирование — вид программирования, связанный с созданием программ, которые порождают другие программы как результат своей работы[1] (в частности, на стадии компиляции их исходного кода), либо программ, которые меняют себя во время выполнения (самомодифицирующийся код).

получается, что монада IO - метапрограммирование
почему именно ио?
источник
21:40пожаловаться#17

O

Ortofax in Scala User Group
байндами собираешь императивную программу
источник
21:40пожаловаться#18

I

Ilya in Scala User Group
Ortofax
на вики написано: Метапрограммирование — вид программирования, связанный с созданием программ, которые порождают другие программы как результат своей работы[1] (в частности, на стадии компиляции их исходного кода), либо программ, которые меняют себя во время выполнения (самомодифицирующийся код).

получается, что монада IO - метапрограммирование
Любая монада.
источник
21:40пожаловаться#19

O

Ortofax in Scala User Group
Αλεχ Zhukovsky
почему именно ио?
*монада IO в частности - метапрограммирование
источник
21:40пожаловаться#20