Russian Lambda Planet

Codefest 2012

В файле, находящемся по известному адресу, записано 100 тысяч условий арифметических задач на четыре действия: сложение, вычитание, умножение и деление. Условия записаны на естественном языке. В качестве результата необходимо представить файл с ответами на задачи — по одному ответу в виде натурального числа на каждой строке (итого 100 тысяч строк).

Eric B. Merritt нашел способ связать Flymake и rebar. Как известно, стандартно установленный Flymake не работает с rebar'ом по той про стой причине, что он просто не знает, где находится код и пути к зависимостям.

Решение простое (детальное описание того, что делает этот код, можно посмотреть в блоге Эрика):

(defun ebm-find-rebar-top-recr (dirname)
      (let* ((project-dir (locate-dominating-file dirname "rebar.config")))
        (if project-dir
            (let* ((parent-dir (file-name-directory (directory-file-name project-dir)))
                   (top-project-dir (if (and parent-dir (not (string= parent-dir "/")))
                                       (ebm-find-rebar-top-recr parent-dir)
                                      nil)))
              (if top-project-dir
                  top-project-dir
                project-dir))
              project-dir)))

    (defun ebm-find-rebar-top ()
      (interactive)
      (let* ((dirname (file-name-directory (buffer-file-name)))
             (project-dir (ebm-find-rebar-top-recr dirname)))
        (if project-dir
            project-dir
          (erlang-flymake-get-app-dir))))

     (defun ebm-directory-dirs (dir name)
        "Find all directories in DIR."
        (unless (file-directory-p dir)
          (error "Not a directory `%s'" dir))
        (let ((dir (directory-file-name dir))
              (dirs '())
              (files (directory-files dir nil nil t)))
            (dolist (file files)
              (unless (member file '("." ".."))
                (let ((absolute-path (expand-file-name (concat dir "/" file))))
                  (when (file-directory-p absolute-path)
                    (if (string= file name)
                        (setq dirs (append (cons absolute-path
                                                 (ebm-directory-dirs absolute-path name))
                                           dirs))
                        (setq dirs (append
                                    (ebm-directory-dirs absolute-path name)
                                    dirs)))))))
              dirs))

    (defun ebm-get-deps-code-path-dirs ()
        (ebm-directory-dirs (ebm-find-rebar-top) "ebin"))

    (defun ebm-get-deps-include-dirs ()
       (ebm-directory-dirs (ebm-find-rebar-top) "include"))

    (fset 'erlang-flymake-get-code-path-dirs 'ebm-get-deps-code-path-dirs)
    (fset 'erlang-flymake-get-include-dirs-function 'ebm-get-deps-include-dirs)

К сожалению, описание этого подхода существует только на китайском. Код можно взять на GutHub'е: https://github.com/edwardbadboy/Erlang_Monad.

С виду, эта библиотека позволяет достаточно многое и интересное. Примеры кода:

трансформируется в 

Еще трансформации:

Библиотека реализует следующие монады: Maybe, State, List, Flex

Есть здесь хипстеры?

Ковыряю Agda2

module if where

open import proof
open import bool

open import list

if_then_else_ : ∀ {l} {a : Set l} → (p : bool) → ((p ≡ true) → a) → a → a
if true then t else f = t refl
if false then t else f = f

head₀ : ∀ {l} {a : Set l} → (ls : list a) → (not (empty ls) ≡ true) → a
head₀ {_} {_} null ()
head₀ {_} {_} (cons x xs) p = x

test₁ : ∀ {l} {a : Set l} → list a → a → a
test₁ ls v = if (not (empty ls)) then head₀ ls else v

test₂ : ∀ {l} {a : Set l} → a → a
test₂ v = head₀ (singleton v) refl

• Евгений Бурмако (EPFL) — «scala.reflect»
• Василий Ременюк (Viaden) — «Курс молодого подрывника, или как с помощью Akka2.0 и одного сервера положить кластер онлайн игры»
• Александр Подхалюзин (JetBrains) — «Магия Scala изнутри»
• Светлана Исакова (JetBrains) — «Язык Kotlin»

Народный перевод книги Джо Армстронга "Programming Erlang" переехал на GitHub. Перевод, производимый силами сообщшества Russian Armstrong Erlang обрел новый адрес: https://github.com/dyp2000/Russian-Armstrong-Erlang

Для тех, кто не любит .docx, перевод также доступен тут: https://github.com/dieu/Russian-Armstrong-Erlang

record Monad {o ℓ e} (C : Category o ℓ e) : Set (o ⊔ ℓ ⊔ e) where
  field
    F : Endofunctor C
    η : NaturalTransformation id F
    μ : NaturalTransformation (F ∘ F) F

  open Functor F

  field
    .assoc : μ ∘₁ (F ∘ˡ μ) ≡ μ ∘₁ (μ ∘ʳ F)
    .identityˡ : μ ∘₁ (F ∘ˡ η) ≡ idN
    .identityʳ : μ ∘₁ (η ∘ʳ F) ≡ idN

Издательство «ДМК Пресс» выпустило перевод книги Ф. Чезарини и С. Томпсона «Программирование в Erlang».

Книга доступна, например, на «Озоне»: http://www.ozon.ru/context/detail/id/9552287/ или на сайте самого издательства: http://www.dmk-press.ru/catalog/computer/programming/functional/978-5-94074-617-1/ (тут дешевле).

Программирование в Erlang
Erlang Programming

• Автор: Ф. Чезарини, С. Томпсон
• Переводчик: А. Холомьев
• Языки: Русский
• Издательство: ДМК Пресс
• Серия: Функциональное программирование
• ISBN 978-5-94074-617-1, 978-0-596-51818-9; 2012 г.

Дополнительные характеристики

• Страниц: 488 стр.
• Формат: 60x90/16 (145х217 мм)
• Тираж: 300 экз.
• Переплет: Мягкая обложка

Sinan, система автоматической сборки приложений под Erlang/OTP, обновилась до версии 4.0.0. Несмотря на то, что проект все еще дивет и развивается, о новых версиях информация появлялась редко. Tristan Sloughter, одиин из авторов Sinan'а, решил объявить о выходе версии 4.0.0 после того, как рассказал о проекте во время Lightning Talks на Erlang Factory 2012.

Подробнее о том, что такое Sinan, зачем он нужен, и как его использовать, можно на сайте проекта: http://erlware.github.com/sinan/

Spawnfest – это 48-часовой марафон по программированию на Erlang'е, по принципу Rails Rumble and Node Knockout.

В этом году Spawnfest пройдет 9-10 июля. Идея таких соревнований - создать наилучшее приложение на выбранной технологии (в данном случае - на Erlang'е) в сжатые сроки.

Правила соревнования доступны тут: http://spawnfest.com/rules/ Вкратце: Команды от 1 до 4 участников старше 13 лет, используя в основном Erlang (доп. технологии типа Javascript допустимы), должны с нуля написать самое шикарное приложение из всех возможных.

Зарегистрироваться на конкурс можно тут: http://spawnfest.com/take-part/

file:write_file(Cache, erlang:term_to_binary(Rows, [compressed,{minor_version,1}])).

Встречу, состоявшуюся 28 апреля, открывал традиционно сильным докладом Евгений Бурмако. Евгений рассказал о появившихся в Scala 2.10 возможностях метапрограммирования, новом Reflection API, и макросах в Scala:

Сяржук Медведев познакомил публику с популярным фреймворком Play2.0, продемонстрировав, почему разработка с его помощью такая простая и стремительная:

type MaybeLens v = Lens (Maybe v) v

withDefault :: v -> MaybeLens v
withDefault v = iso (fromMaybe v) Just

withNoop :: MaybeLens v
withNoop = lens (error "It's impossible to read with noop") (fmap . const)

withFailure :: MaybeLens v
withFailure = lens fromJust (\x (Just y) -> Just x)

type Modifier a = a -> a

counter x = mapLens x >>> withDefault 0

countItem :: String -> Modifier (M.Map String Int)
countItem x = counter x ^+= 1

item x y = mapLens x >>> withDefault M.empty >>> counter y

countItem2 :: String -> String -> Modifier (M.Map String (M.Map String Int))
countItem2 x y = item x y ^+= 1

itemCount x y countMap = item x y ^$ countMap

А вот этого я уже в других языках программирования как-то не видал. Эдакая «лиспо-лямбда» получается:

alexo@codedot:~$ wscat -c ws://localhost:8080/

connected (press CTRL+C to quit)

< (function () {
			socket.say = function(data) {
				data = JSON.stringify(data);
				this.send(data);
			};
		})(undefined)

< (function () {
			socket.say("Hello World!");
		})(undefined)
> "Hello World!"

< (function (data) {
			window.alert(data);
		})("Hello World!")

disconnected

alexo@codedot:~$

Кстати, wscat вчера починили.

Features: