Форум 'Декларативное программирование' на RSDN.RU

[Scheme] Объясните про let* и define?

Sat, 13 Mar 2010 11:43:54 GMT

Стал изучать scheme в рамках баловства со скриптами для GIMPа. Не могу понять одну вещь. Рассмотрим определение двух функций:

(define (f) (define x 10) (define y x) y)
(define (g) (let* ((x 10) (y x)) y))

Обе работают одинаково, переменные x и y получаются локальными. Зачем тогда нужен let*, если есть define? Или это просто синтаксический сахар, два способа написать одно и то же?

[OCaml] Тьюториал

Thu, 11 Mar 2010 21:30:21 GMT

Подскажите что бы почитать для начала изучения языка?

Собственно кое-какой опыт с ФЯ имеется. Немного ковырял Haskell, ну и erlang (если ерланг за функциональщину конечно сойдет).

[Scheme]Можно читать воркгруппы

Fri, 26 Feb 2010 04:58:26 GMT

---------- Пересылаемое сообщение ----------
From: John Cowan <cowan@ccil.org>
To: r6rs-discuss@r6rs.org
Date: Thu, 25 Feb 2010 16:51:03 -0500
Subject: [r6rs-discuss] WG1 and WG2 mailing lists now open to lurkers
It is now possible to join the Scheme Reports WG1 and
WG2 mailing lists either through the Google Groups websites
(http://groups.google.com/group/scheme-reports-wg[12]) or in the usual
way via email to scheme-reports-wg[12]-subscribe@googlegroups.com.
Only members of the WG may post, however.

This is offered as a service to the Scheme community; please propagate.

--
John Cowan http://www.ccil.org/~cowan cowan@ccil.org
Would your name perchance be surname Puppet, given name Sock?
--Rick Moen

PS: [12] — это, ессно, либо 1, либо 2:
http://groups.google.com/group/scheme-reports-wg1
http://groups.google.com/group/scheme-reports-wg2

fprog №4

Thu, 25 Feb 2010 15:30:50 GMT

http://fprog.ru/2010/issue4
Html-версии уже лежат: http://fprog.ru/2010/issue4/html/

[Haskell] зачем Skip в Data.Stream?

Wed, 24 Feb 2010 08:28:35 GMT

Недавно смотрел на реализацию Data.Stream и увидел следующее:

data Stream a = forall s . Unlifted s => Stream !(s -> Step a s) !s

data Step a s 
  = Yield a !s
  | Skip !s
  | Done

Смысл Yield и Done вполне понятен. Но зачем Skip?

Вот, например, одна из функций:

filter :: (a -> Bool) -> Stream a -> Stream a
filter p (Stream next0 s0) = Stream next s0
  where
    next !s = case next0 s of
      Done                   -> Done
      Skip    s'             -> Skip    s'
      Yield x s' | p x       -> Yield x s'
                 | otherwise -> Skip    s'

Разве не проще было бы сделать так:

filter :: (a -> Bool) -> Stream a -> Stream a
filter p (Stream next0 s0) = Stream next s0
  where
    next !s = case next0 s of
      Done                   -> Done
      Yield x s' | p x       -> Yield x s'
                 | otherwise -> next0 s'

[haskell] вопрос новичка

Tue, 23 Feb 2010 09:50:35 GMT

Всем привет!

Встала задача написать простой скрипт, который конвертирует видео из разных форматов в avi с помощью ffmpeg. Я быстро набросал скрипт на питоне. Ради интереса решил написать тоже самое на других языках (Ruby, CL, Haskell)

Пришла очередь хаскеля
Хочу скомпилировать простой пример:

import System.FilePath -- я не уверен, правильный ли я модуль подключаю

mySplitFileExt = splitFileExt

В результате чего получаю:

test.hs:4:17: Not in scope: `splitFileExt'
Failed, modules loaded: none.

Как узнать в каком модуле находится splitFileExt?
В документации присутствует Distribution.Compat.FilePath ...? Где искать?

How a Clojure pet project turned into a full-blown ...

Thu, 18 Feb 2010 10:48:34 GMT

Тут прикольная презентация c Berlin Lispers Meetup про опыт использования Clojure компанией Freiheit.

[Haskell] Как получить все разложения числа на слагаемые

Wed, 17 Feb 2010 12:14:47 GMT

subj

[Haskell] Простой вопрос по монадам

Sat, 13 Feb 2010 06:08:46 GMT

Пример из A Gentle Introduction to Haskell:

run              :: Resource -> R a -> Maybe a
run s (R p)      =  case (p s) of 
                      (_, Left v) -> Just v
                      _           -> Nothing

run 10 (fact 2) => Just 2

Что это значит — case (p, s)? При подстановке получаем case (2, 10) — не понимаю этого выражения.

добавил форматирование и убрал избыточные пробелы — Кодт

[Haskell] Existential Types - код не компилируется

Thu, 11 Feb 2010 11:28:27 GMT

Пытаюсь скомпилировать такой код:

{-# LANGUAGE ExistentialQuantification #-}
module Ex where

  import Maybe

  class (EX a) where
    cool :: a -> Bool

  process :: forall a b. (EX a, EX b) => a -> (a -> Maybe b) -> Maybe b
  process x processor = processor x

  myProcessor :: forall a b. (EX a, EX b) => a -> Maybe b
  myProcessor x = Nothing

  doStuff :: forall a. (EX a) => a -> Bool
  doStuff x = let newX = process x myProcessor
              in False

Никак не пойму, почему появляется ошибка

exist.hs:16:25:
    Ambiguous type variable `b' in the constraint:
      `EX b' arising from a use of `process' at exist.hs:16:25-45
    Probable fix: add a type signature that fixes these type variable(s)

Объясните, пожалуйста, что не так, и как это можно исправить (с примером, если можно ).

[ANN] Microsoft F#, February 2010 CTP + Power Pack

Wed, 10 Feb 2010 23:09:22 GMT

брать здесь

Power Pack теперь на CodePlex

Стоит ли использовать erlang для такой задачи?

Tue, 09 Feb 2010 08:55:28 GMT

Нужно написать утилиту, которая бы сравнивала два каталога с большим количеством текстовых файлов.
Файлов около 10000-20000.
Размеры каждого каталога порядка ~100Mb.
Сравнивать нужно будет часто. И желательно чтобы утилита работала быстро.

Самый adyaq вариант — распаралелить сравнение каталогов.
Имеет ли смысл использовать для такой задачи эрланг?
Как у эрланга обстоит дело с чтением текстовых файлов?
Или многозадачность эрланга в этом случае не поможет и лучше обойтись добрым старым перлом?

[Erlang] Как запускать программы с помощью erl ?

Tue, 09 Feb 2010 07:08:03 GMT

Изучаю Erlang. Пока запускаю программы примеры из оболочки, т.е. сначала запускаю erl а уже из него компилирую и выполняю нужные функции. Как сделать запуск программы неинтерактивно, т.е. с помощью erl имя_программы? В документации написано что надо erl -run Mod [Func [Arg1, Arg2, ...]] параметры модуль, функция и аргументы естественно заменяю но у меня выдает ошибку, хотя в оболочке все запускается нормально.

Конечные автоматы в чистых функциональных языках программиро

Sun, 07 Feb 2010 08:18:04 GMT

Статья:
Конечные автоматы в чистых функциональных языках программирования.Автоматы и Haskell

Авторы:
Malakhovski

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

Google AI Challenge

Sat, 06 Feb 2010 12:22:47 GMT

Здесь. Началось 4 февраля, заканчивается 26 февраля. Дерзайте товарищи!

[Haskell] State monad

Sat, 06 Feb 2010 11:03:53 GMT

Здравствуйте, подскажите пожалуйста как в Хаскеле выражается разница между Lazy и Strict версиями монады State?
Где проявляется ленивость/энергичность, где разница в реализации?
Я правильно понимаю, что энергичных языках можно реализовать только strict-версию?

Спасибо.

[F#] Мемоизация рекурсивной функции

Sat, 06 Feb 2010 10:58:58 GMT

Здравствуйте, господа функциональщики

Решал тут от скуки проблему №114 на project euler, потребовалось обеспечить мемоизацию рекурсивно определённой функции:

type Color = Red | Black

let memoize f =
    let dict = System.Collections.Generic.Dictionary()
    fun x -> match dict.TryGetValue(x) with
             | false, __ -> let t = f x in dict.Add(x,t); t
             | true, res -> res

let solve len =
    
    let rec brute = memoize <| fun (color, len) ->
        
        let color', min =
            match color with Red -> Black, 1I
                           | Black -> Red, 3I
        
        let rec loop l c =
            if (l = 0I) then c + 1I
            else loop (l-1I) (c + brute (color', l))
        
        let x = len - min
        if (x < 0I) then 0I else loop x 0I
    
    brute (Black, len) + brute (Red, len)

Всё работает как ожидалось, только вот не без warning'а:

This and other recursive references to the object(s) being defined will be checked for initialization-soundness at runtime through the use of a delayed reference. This is because you are defining one or more recursive objects, rather than recursive functions. This warning may be suppressed by using #nowarn "40" or --nowarn 40.

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

C9 Lectures: Dr. Don Syme - Introduction to F#

Fri, 05 Feb 2010 04:53:07 GMT

1 of 3
http://channel9.msdn.com/shows/Going+Deep/C9-Lectures-Dr-Don-Syme-Introduction-to-F-1-of-3/

Design Patterns для функциональных языков

Thu, 04 Feb 2010 09:11:18 GMT

Тут несколько раз уже были вопросы о паттернах в функциональных языках и об адаптации GOF паттернов для них же.
Я сегодня наткнулся на интересный доклад на эту тему "A Multiparadigmatic Study of the Object-Oriented Design Patterns"

http://homepages.fh-regensburg.de/~mpool/mpool07/proceedings/2.pdf

презентация: http://homepages.fh-regensburg.de/~mpool/mpool07/proceedings/2_slides.pdf

Взято отсюда http://homepages.fh-regensburg.de/~mpool/mpool07/cfp.html

Еще по ссылкам на литературу из доклада набрел на довольно фундаментальную книгу
по этой же теме:

http://homepages.mcs.vuw.ac.nz/~tk/fps/
http://homepages.mcs.vuw.ac.nz/~tk/fps/fps-sans-escher.pdf

[Haskell] Как вызвать функцию из DLL?

Thu, 04 Feb 2010 08:14:28 GMT

Есть DLL, написанная на Си, в которой есть такая функция:

EXPORT int init(int a, int b) {
    yyin = fopen("In.txt", "r");
    printf("Done");
    return(a+b);
}

Как вызвать эту функцию из программы на Хаскеле? Желательно дать работающий код. Интересует решение для GHC и WinHugs.