Второй критерий silly_sad |
[Jul. 9th, 2009|03:20 pm] |
Если дать програмеру задачу описать операции над матрицами (интервальными числами, тэнзорами, полиномами, объектами конечного поля, точками эллиптической кривой итп (нужное подчеркнуть)), и он напишет: "class matrix...." (tensor, vector, point, etc) (то этого програмера надо лечить). |
|
|
Comments: |
А если напишет instance (Num a) => Matrix a where (+) = ... ?
я недостаточно хорошо знаю хаскел (чтобы быстро ответить) я со справочником проконсультируюсь (чтобы понять каким будет продолжение вашего вопроса) и потом отвечу.
ггг. давай пиши уже книжку программистических антиафоризмов. подпишешь мне потом экземпляр, для завершения картины утопического мира, так сказать.
как надо написал тут в коментах один злой хаскелист.
а в остальных случаях надо писать class соответсвующий всему пространству внутри котрого живут рассматриваемые элементы.
если это матрицы, то класс должен описывать не матрицу а всю совукупность интересных нам матриц посредством определения операций над ними.
иными словами класс не должен содержать ничего кроме конечной совокупности операций. (примерно так как в хаскеле). за слова "экземпляр" и "виртуальный метод" надо бить батогами. | |