Size: a a a

2021 February 15

0

000Sanya in dlang.ru
Oleg B
не тот язык в основу выбран, формальное доказательство только на чистых функциональных языках есть вроде
ну скорее просто все эффекты надо в типах выразить
источник

OB

Oleg B in dlang.ru
000Sanya
ну скорее просто все эффекты надо в типах выразить
мне кажется не будет достаточно для автоматизации
источник

ВК

Виталий Кулич... in dlang.ru
Oleg B
максимально мутно
А дядькам-думцам придётся писать указы для ГосУслуги))) Тоже на метатегнологическом языке, а не в "распорядительную записку")))
источник

0

000Sanya in dlang.ru
Виталий Кулич
А дядькам-думцам придётся писать указы для ГосУслуги))) Тоже на метатегнологическом языке, а не в "распорядительную записку")))
так они не умные
источник

0

000Sanya in dlang.ru
не напишут
источник

0

000Sanya in dlang.ru
да и я могу сказать, что придется куда более естественный язык делать
источник

0

000Sanya in dlang.ru
что выльется в дикое потребление ресурсов
источник

OB

Oleg B in dlang.ru
подобная мысль меня посещала при размышлениях о языке описания законов, нормативных документов, договоров и других юридических взаимодействий
источник

ВК

Виталий Кулич... in dlang.ru
000Sanya
так они не умные
Вот я ж и говорю, что им предлогается ПОДВИНУТЬСЯ)))
источник

OB

Oleg B in dlang.ru
Oleg B
подобная мысль меня посещала при размышлениях о языке описания законов, нормативных документов, договоров и других юридических взаимодействий
по сути программы, которые в теории можно проверить на валидность
источник

OB

Oleg B in dlang.ru
но каким боком это должно быть основано на языке, который делался для системного, общего программирования программ на компьютер?
источник

DH

Dark Hole in dlang.ru
Oleg B
подобная мысль меня посещала при размышлениях о языке описания законов, нормативных документов, договоров и других юридических взаимодействий
Сложно, долго, непонятно, ненужно
источник

OB

Oleg B in dlang.ru
Dark Hole
Сложно, долго, непонятно, ненужно
не исключаю, просто как концепция
источник

OB

Oleg B in dlang.ru
автоматизация работы юристов
источник

OB

Oleg B in dlang.ru
но это не программы для компьютера
источник

ВК

Виталий Кулич... in dlang.ru
Oleg B
по сути программы, которые в теории можно проверить на валидность
На низкоуровневых плечах сего Атланта сидят все Питоны, Джавы и ХСкрипты... а работает этот Атлант, а не эти паразиты)))
источник

DH

Dark Hole in dlang.ru
Виталий Кулич
На низкоуровневых плечах сего Атланта сидят все Питоны, Джавы и ХСкрипты... а работает этот Атлант, а не эти паразиты)))
Вы перепутали D с С и С++
источник

И

Игорь in dlang.ru
когда-то пролог позиционировали на нечто подобное, в плане есть база фактов в произольном виде и можно делать из них выводы
источник

OB

Oleg B in dlang.ru
Виталий Кулич
На низкоуровневых плечах сего Атланта сидят все Питоны, Джавы и ХСкрипты... а работает этот Атлант, а не эти паразиты)))
вообще разные отправные точки для языка программирования и того что ты пытаешься сделать, ты начал не там и не туда
источник

И

Игорь in dlang.ru
да и сейчас есть гораздо более продвинутые формальные системы описания связей
источник