Моделирование аппаратуры на Хаскеле. Часть 1.

[thesz]

Comments

[indeyets]

вёрстка не срослась с livejournal
нужно < подставить

[thesz]

Try again. ;)

[thesz]

And again. Ещё и плюс отовсюду повыкидывало.

[thesz]

Не только там не было. Везде не было. Я поправил.

[nealar]

Хорошее подробное описание. Как раз мой чайницкий уровень. А зачем нужен абстрактный тип S? Какие у него преимущества перед, скажем, списками?

[lomeo]

действительно. почему не type S a = [a] или даже data S a = S [a], тогда функции проще вроде получаются (по крайней мере код короче из-за использования стандартных), а при втором варианте можно закрыть в модуле возможность делать S [], чтобы абстракция всегда была бесконечной.

[thesz]

Во-первых, из-за необходимости перекрывать определения классов. Я планировал, помимо Show, перекрыть ещё Num и многое другое. Не понадобилось.

Первый вариант плох ещё и тем, что синоним типа может быть раскрыт и получится что-то типа [([a],[[a]])] -> [(b,[c])] -> ... -> [[a]]. В общем, сплошная путаница. ;)

Второй вариант используется Hawk. Он лишён вышеуказанных недостатков, но другой пользы от него я никакой не вижу. Всё равно примитивов, работающих с внутренней структурой сигнала раз-два и обчёлся.

Как выяснилось в процессе работы, мой вариант ещё и быстрей работает. ;)

[lomeo]

Хорошо! Третий вариант :) newtype S a = S [a] ;-)
Хочешь перекрываешь инстансы, хочешь derive-ишь.

Помнишь, я говорил, что мне кажется, что подобные вещи лучше делать на комонадах? Так вот я тут хочу сделать то же самое таким образом, если будет время да ещё и получится - обязательно выложу.

[geniepro]

Нельзя ли разместить где-нить эти исходники для скачки в виде архива?
А то ни один из этих модулей не компилируется (ни S, ни SVB)... :о(

[thesz]

Мне некуда это выкладывать. Но зато я поправил ошибки. ;)

[rvp74]

Буквально за пару дней до этого поста я рассматривал схему конвеерного суматора чисел с плавающей запятой. Это был экзамен по архитектуре ВМ. :)

[thesz]

И как, у меня похоже на правду? ;)

[rvp74]

Порядок операций тот же. А программу я еще не анализировал - читается тяжело

[thesz]

Сумматора, как такового, там нет. Там есть его имитация.