Алгебраической системой <A;WF;WR> называется объект, состоящий из трёх множеств: непустого множества A, множества алгебраических операций WF, определёных на A, и множества отношений WR, определёных на A. Множество A называется носителем алгебраической системы. Если алгебраическая система не содержит операций, она называется моделью, если не содержит отношений, то – алгеброй.
Вопрос не в отображении элементов, а в формализуемости языка. Допустим, Haskell позволяет доказать корректность программы не выполняя саму программу. Есть еще Рефал, и суперкомпиляция, созданные как раз для формальных доказательств корректности. Вообще, для моделирования систем лучше использовать что-то типа Maude System или Coq.
Иначе это будет Go++, а этого допустить никак нельзя.
Я уверен, что этот человек программирует на haskell.
Если в котлете попадётся микрочип, то будут очень большие претензии.
Вырезка из учебника по алгебре.
Вопрос не в отображении элементов, а в формализуемости языка. Допустим, Haskell позволяет доказать корректность программы не выполняя саму программу. Есть еще Рефал, и суперкомпиляция, созданные как раз для формальных доказательств корректности. Вообще, для моделирования систем лучше использовать что-то типа Maude System или Coq.
Очень сомневаюсь что это был практикант из Стенфорда ?