|
|
|
Проверка бинарных отношений переопределенных операторов компилятором
|
|||
|---|---|---|---|
|
#18+
Академический вопрос. Можно ли создать такой компилятор, чтобы он проверял бинарные отношения переопределенных операторов на уровне компиляции, то есть пишем требование рефлексивности: Код: plaintext 1. 2. 3. аналогично требование симметричности: symmetric (a==b) == (b==a) ну и далее: транзитивности, антисимметричности (для строгих неравенств) и проч. С уважением, Naf ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 10.02.2011, 13:05 |
|
||
|
Проверка бинарных отношений переопределенных операторов компилятором
|
|||
|---|---|---|---|
|
#18+
Типа того. Смотри в сторону автоматических доказательств теорем ( http://en.wikipedia.org/wiki/Automated_theorem_proving) К примеру Coq( http://coq.inria.fr/) Там надо вручную писать (части) доказательства что операция будет рефлексивной(или какой угодно). Полностью автоматически такое не докажешь. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 10.02.2011, 13:29 |
|
||
|
|
start [/forum/topic.php?fid=16&msg=37108976&tid=1343146]: |
0ms |
get settings: |
7ms |
get forum list: |
14ms |
check forum access: |
2ms |
check topic access: |
2ms |
track hit: |
63ms |
get topic data: |
13ms |
get forum data: |
3ms |
get page messages: |
43ms |
get tp. blocked users: |
2ms |
| others: | 260ms |
| total: | 409ms |
| 0 / 0 |
