Завалил первый в жизни экзамен - экзамен в автошколе. Позорно облажался еще на площадке почти сразу на развороте в 3 приема (в оправдание себе могу привести непривычную обувь, замерзшие ноги и непривычный вид площадки под снегом), в город следовательно не пустили, а затем и теорию тоже провалил.
Ох, и хреновый из меня водила к нынешнему моменту; но вдруг, за пару допзанятий научусь как следует.

Зато проникся Силой Победитового Сверла (редкий артефакт, скилл "дырявленье плитки" +10) и установил душедержатель - хочется, знаете ли, душу иногда подержать, вот и установил.

И fprog#3 тоже более или менее близится к завершению. С нечеловеческими усилиями трудится авторский и редакционный коллектив над пышущим горнилом знаний.

Засим отправляюсь на трапезу.

Слайды от всей из себя промышленной и энергетической компании Eaton.

http://dmcc.acm.org//dmcc///confdata/ICFP2008/2008-09-26_09h56/slides/ или http://cufp.galois.com/2008/slides/HawkinsTom.pdf .

Используют хаскель для:

Scripting, Data Conversion, Field Tools, etc.
ECU Flash Programming
Hardware-in-the-Loop Simulation
Differential Cryptanalysis
Remote Vehicle Management
  Data logging, calibration, and re-programming through WiFi and cell modems.
  Fountain codes for forward error correction.
    Distributed download, multicast.

В слайдах в основном про Atom - встроенный DSL для hard real time программирования embedded управляющих систем. Пишется понятный код на хаскеле в некой монаде System, безо всякой синхронизации и т.п. - как будто все действия атомарны.
Он компилируется и получается hard real time безопасный код на си, в котором уже есть шедулер, расставлена синхронизация и прочее.

Правда, я не понял, этот полученный код на си прямо пихается в железку или только симулирует ее. Презентация называется "Controlling hybrid vehicles with Haskell", так что похоже, что пихается в железку, но точно не знаю.

Картинка за сегодня, 10 декабря, четверг. Год пока ещё тот же.
До нового года три недели:)

Обещанная картинка с йолкой, так полюбившейся многим читателям:)
Ну и, понятно, про мат.

И с наступающим. Ёлку то уже поставили, не?:)



Напоминаю, впервые йолко появилось вот в этом комиксе. А потом была в этом. И ещё будет много где:) И вообще на ёлку есть специальный тег, так что это вам не трусы в шубу заправлять!

Пользуясь случаем, пропиарю свой личный блог. Народу там у меня пока маловато, разгуляться негде, так что все строем туда:)

Меня тошнит от знака рубля, борьбы с пиратством в сети и доменов и доменных зон написанных на русском языке.
Тошнит от тех, кто говорит, что я пишу не правильно.
Тошнит от борьбы преподавателей с сайтами где студенты пишут о них то что думают.
Тошнит...

http://blog.well-typed.com/2009/12/talk-at-the-functional-programming-exchange/

Про то, как с помощью системы типов контролировать разные виды побочных эффектов. Автор Duncan Coutts.

арованарован вновь и вновь задаётся риторическим вопросом о том, насколько же нужно охуеть, чтобы покупать за бюджетные бабки бронированный мерин стоимостью в 10 годовых бюджетов среднеразмерного детского сада в регионе, где рабочим автоиндустрии жрать нечего уже не первый месяц… арованарован всё же ещё не полный урод и он думает об эмиграции каждый раз, когда ему дают зарплату.

государство, помни, ты живёшь в долг за счёт арованарована! и арованарован замечает, как и Владимир Владимирович, что опять, как и в 1916 году, почти исчезли красивые люди.

Как можно, будучи СУПом, решать проблему спама в ЖЖ и продвинуться ровно настолько, чтобы даже быть не в состоянии за более чем месяц отфильтровать практически идентичные, даже не обфусцированные, спамные тексты со ссылками?
Интересно, они тупо забили и вообще ничего не делают, или пытаются не навредить миллиардам невинных пользователей, которые хотят, ну например, скопировать такой текст к себе в ЖЖ?

Очень прикольное его применение:

  type Trace a b = Tree (a,b)

  traceFix ::  (forall m. Monad m => (a ->  m         b )
                                  -> (a ->  m         b ))
           ->                        (a -> (Trace a b,b))
  traceFix ff = f
    where
    -- f :: a -> (Trace a b,b)
    f a = (Node (a,b) ts,b)
      where
      Writer (b,ts) = (`ff` a) $ \a ->
        let (t,b) = f a
         in Writer (b,[t])

(c) http://hpaste.org/fastcgi/hpaste.fcgi/view?id=10060

 > traceFix (\fib n -> if n < 2 then return n else liftM2 (+) (fib (n-1)) (fib (n-2))) 4
 Node (4,3) [Node (3,2) [Node (2,1) [Node (1,1) [],Node (0,0) []],
  Node (1,1) []],Node (2,1) [Node (1,1) [],Node (0,0) []]]

(c) http://tuukka.iki.fi/tmp/haskell-2008-11-07.html#07:23:33

Хрен знает, когда ее читать, но слюнки текут.