runCommand env cmd state = ...
retrieveState = ...
saveState state = ...

main :: IO ()
main = do
    args <- getArgs
    let (actions, nonOptions, errors) = getOpt Permute options args
    opts <- foldl (>>=) (return startOptions) actions
    when (null nonOptions) $ printHelp >> throw NotEnoughArguments
    command <- fromError $ parseCommand nonOptions
    currentTerm <- getCurrentTerm
    let env = Environment
            { envCurrentTerm = currentTerm
            , envOpts = opts
            }
    saveState =<< runCommand env command =<< retrieveState

• Часть 1. Необходимый минимум
• Часть 2. Инструменты цитирования кода

Материализация

$(optimize [d| fib = … |])

fib = $(optimize [| … |])

Облегчённое цитирование имён

f ∷ Exp → Exp
f (App (Var m) e) |  m == 'map  =  …

• 'Foo означает “конструктор данных Foo в контексте выражения”
• 'foo означает “имя foo в контексте выражения”
• ''Foo означает “конструктор типа Foo в контексте типов”
• ''foo означает “переменная типа foo в контексте типов”

Вступление

Что такое категория?

Примеры

• Бывает, что из одного города в другой никак не попасть поездом или самолётом – между этими городами нет морфизмов.
• Если мы перемещаемся в пределах одного и того же города, то это тоже морфизм – мы как бы путешествуем из города в него же.
• Если из Санкт-Петербурга есть поезд до Москвы, а из Москвы есть авиарейс в Амстердам, то мы можем купить билет на поезд и билет на самолёт, “скомбинировать” их и таким образом попасть из Санкт-Петербурга в Амстердам – то есть можно на нашей карте нарисовать стрелку от Санкт-Петербурга до Амстердама изображающую этот скомбинированный морфизм.

Компания Microsoft опубликовала сегодня исходные коды компилятора F# 2.0 и набора других инструментов для этого языка под названием F# PowerPack.

IObservable<string> xs = Observable.Generate<int, string>(
    initialState: 0, // начальное значение
    condition: x => x < 10, // условие завершения генерации
    iterate: x => x + 1, // изменение значения
    resultSelector: x => x.ToString() // преобразование текущего значения в результат
    );
 
xs.Subscribe(x => Console.WriteLine("x: {0}", x));

    Action<Action> action = (Action action) => { action(); };

• На каком языке написан этот кусок кода?
• Верен ли он синтаксически? Скомпилируется ли он?
• Имеет ли данный код смысл? Что он делает?
• Зачем такой код мог быть написан?
• Как можно улучшить этот код? (Как бы его написали Вы?)
• Приведите реальные варианты использования этого кода.
• Какие потенциальные проблемы могут возникнуть при его применении?

Зачем пишем

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

1. Простая конкатенация строк
2. JavaScriptSerializer (.NET Framework)
3. DataContractJsonSerializer (.NET Framework 3.5)
4. Newton Json.net (json.codeplex.com, james.newtonking.com/pages/json-net.aspx)
5. JsonEx (code.google.com/p/jsonexserializer)
6. Fluent Json (fluentjson.codeplex.com, code.google.com/p/fluent-json)

Введение

• Разработать собственные инструменты для создания решений
• Создать вспомогательные средства, встроенные в среду разработки