icfp08

[deniok]

Оле-оле-оле-оле!

Судя по заданию у наших есть шансы.

_navi_ , насколько мне известно, не чужд моделированию действительности :)

Comments

[mr-aleph.livejournal.com]

будем бегать ночью по улице и бибикать? =)

[kurilka.livejournal.com]

Эээ, имхо программист не моделирующий действительность - это и не программист, а фигня какая-то...

[http://users.livejournal.com/_navi_/]

нууу, в общем, диагноз примерно такой: overdesigned :-)

Да, вспомнили теорию управления чуток, сделали PID-контроллер (правда сильно завязались на физические параметры — на нестандартных картах наверно всё плохо). Читал ещё в процессе про фильтр Калмана, но понял, что не осилим его прикрутить.

Оффтопик

[(Anonymous)]

Есть у меня class A a b, у которого, среди прочих, есть функция f :: a -> a -> a. И я хочу написать instance A a b => A a (a->b). Так вот, как обьяснить GHC, что функция f у A a (a->b) такая же, как и у A a b? Пытался написать f = f или f :: (A a (a->b)) => a -> a -> a = f :: (A a b) => a -> a -> a - не работает ни то ни другое.