Ни когда таким использованием комментариев не интересовался. Просто, рассуждаю. По

Question

Ни когда таким использованием комментариев не интересовался. Просто, рассуждаю. По

факту комментарий содержит какое-то утверждение. Утверждение это предикат, а предикат это тип именованной сущности. Допустим, коммент содержит информацию об ограничении на применение в полях только определенных типов. Например, классов с перегруженной суммой. Тогда, при трансляции в другой язык будет утечка смысла. Например, язык с не четкой типизацией или если операция суммы перегружена по умолчанию, например, для объединения строк.
Оно так работает?

#compilerdev #it #programming #russian

0

23.07.2023

2 ответов

25 просмотров

Лимон Цитрусовый Автор вопроса

Alexander Chichigin
Похоже, Вы пытаетесь изобрести Refinement Types в ...

Ну, основное, что при преобразовании язык-язык всегда возможно потеря смысла некоторого содержания. Я бы мог привести пример с комментарием, который указывает не ограничения, а например, возможность применить фичу языка, которой нет в новом языке. Контекст меняется и происходит утечка смысла. Неоднозначность подобных преобразований вызвана неоднозначностью самого процесса передачи любой информации. Энтропия.

0

24.07.2023

Alexander Chichigin · Accepted Answer

Alexander Chichigin

Похоже, Вы пытаетесь изобрести Refinement Types в целом и Liquid Haskell в частности. 😊 Ну и для Java тоже есть...

0

24.07.2023

185 похожих чатов

Ни когда таким использованием комментариев не интересовался. Просто, рассуждаю. По

2 ответов

Похожие вопросы