Всем привет из лузервиля. 133 место из 316 это не то что бы очень плохо, но целью было войти хотя бы в сотню.

Отличием этого контеста от предыдущих было то, что я участвовал в гордом одиночестве. Интересный экспириенс, хотя конкретно в этом году было куда распараллелиться и лишние руки не помешали бы уж точно. Кроме того, я в данный момент физически ( Read more... )

This post was supposed to be written nearly a year ago, but whatever ( Read more... )

Есть в комбинаторной логике (и связанных с ней областях) забавная функция, обычно обозначаемая буквой M. M-комбинатор, он же пересмешник (mockingbird), он же копирующий комбинатор, он же SII, он же (λx.xx).

Теоретикам он в первую очередь интересен тем, что (M M) = ω, омега-комбинатор, простейший способ создать рекурсию (причём, в отличие от ( Read more... )

Небывалое повышение писательской активности - с момента моего прошлого поста прошло менее года.

В этом году хотелось бы поговорить о типах данных. Любой, кто когда либо имел счастье (или боль) писать на «настоящем» функциональном языке программирования, испытывал некоторую неприязнь по мере возврата в столь ненавистный, но столь нужный всем старый ( Read more... )

Оффтоп: Вы знаете, я считаю, что писать в ЖЖ ровно раз в два года - это хорошая, годная традиция))

В этом, 2013 году я хотел бы поделиться с (несуществующими) читателями данного журнала наблюдениями о том, как ведёт себя с точки зрения типов на данный момент уж совсем странный язык программирования, TypeScript. Волею судеб мне сейчас приходится ( Read more... )

Недавний ICFPC заронил во мне тему комбинаторов в базисе SKI, и теперь хотелось бы посмотреть на неё в несколько ином ключе. Для начала, попробуем реализовать наш базис на Хаскеле и посмотреть, что получится:
Prelude> let i x = x Prelude> let k x y = x Prelude> let s x y z = x z $ y z Попросим ghc вывести типы этих комбинаторов:
Prelude> :t i ( Read more... )

Поучаствовал в сабже с группой товарищей, было круто) В итоге мы в «неофициальном» топе на 49 месте, а жалко. Примерно за час до закрытия топа были на 10м, вылетели по исключениям в программе) По факту:

• Scala - интересный язык, который я по-прежнему не знаю;
• Зато теперь я знаю в совершенстве комбинаторное исчисление в базисе SKI;
• И даже в применении ( Read more... )

О структурах в Си.

Недавно по долгу дружбы пришлось разбираться в программе, в которой осуществлялся обмен пакетами по сети, а реализовывалось всё это следующим страшным образом:

struct packet0 { char field0[20]; long field1; char field2[4]; long field3; }; struct packet1 { int field0[4]; char field1[32]; char ( Read more... )

Просто пейст небольшого куска кода на Хаскеле ( Read more... )

Сегодня, дорогие друзья, мы будем отвечать на страшный и неизмеримый в своей жестокости вопрос: «как на Haskell написать цикл for??!?»

Многие полегли, пытаясь объяснить очередному процедурщику, как же так случилось, что в мире ФП нету циклов. Пора процедурщикам сделать ответ на эти заявления. Сегодня мы делаем полный бред и несусветную чушь, а ( Read more... )