icfp08

[deniok]

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

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

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

Comments

[mr-aleph.livejournal.com]

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

[deni-ok.livejournal.com]

Ухожу закупаться петардами.

[nivanych.livejournal.com]

Что же скажет президент ? ...

[deni-ok.livejournal.com]

То, что премьер порекомендует?

[nivanych.livejournal.com]

Он так хорошо говорил насчёт
нашего футбола, вот я и думаю,
кто б его надоумил сказать
речь про наших на ICFP-2008 ...

[nivanych.livejournal.com]

Тут один недостаток есть.
Результаты будут известны только в конце,
в то время, как про футбол всегда известно
по ходу игры.

[mr-aleph.livejournal.com]

да если бы это была удалённая комманда, то можно было бы внедрится в их способ коммуникации и послушать, а так как это судя по всему локальная комманда, то придётся ставить прослушку =)

// еще в тему, хотя я думаю все читали http://frumich.livejournal.com/255934.html

[nivanych.livejournal.com]

Да, в следующия раз это надо продумать.
И поступить так же, как в рассказе ;-)
А рассказик замечательный.

[kurilka.livejournal.com]

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

[deni-ok.livejournal.com]

Я подразумевал физическую реальность, но вобщем согласен :)

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

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

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

[deni-ok.livejournal.com]

Ну фана-то наверняка было по уши и выше :-)

Ждём рассказов, устных и/или письменных.

Оффтопик

[(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 - не работает ни то ни другое.