Монадичность в сборке строк

Когда-то давно я писал на тему того, как с помощью монадичного подхода можно делать цепочные проверки на null (монада Maybe). Сейчас я хочу показать аналогичный подход, в котором путем создания декоратора мы можем делать весьма интересные вещи со строковыми литералами.

Вы уже знаете что конкатенация большого количества строк не есть гуд, так? .Net рекоммендует нам использовать для этого StringBuilder, но тем не менее иногда мы все же опускаемся на землю и пользуемся операторами + или +=. Это нормально пока в дело не вступает какая-то сложная логика. Например:

void AppleReport(int count)
{
  Console.WriteLine("You have " + count + "apple" +
                    count != 1 ? "s" : string.Empty); // wtf?
}

Код выше корректен, только записан он как-то не по-человечески: например, в коде выше string.Empty не должен фигурировать вообще – не думаю что в спецификации к этому методу хоть где-то упоминается использование пустой строки.

Наличие или присутствие окончания “s” – это тоже по сути дела монадичное поведение, только не в той форме в которой мы привыкли. Первое приближение к решению – это написать, например, метод расширения AppendIf() для класса… StringBuilder:

public static StringBuilder AppendIf(this StringBuilder sb, string text, bool condition)
{
    if (condition)
        sb.Append(text);
    return sb;
}

Последующее использования сего конструкта достаточно предсказуемо:

void CountApples(int count)
{
    Console.WriteLine(
        new StringBuilder("You have ")
            .Append(count)
            .Append(" apple")
            .AppendIf("s", count != 1));
}

Нам даже не пришлось использовать ToString() в примере выше но, по-хорошему, этот вызов нужен в большинстве случаев. Да даже без ToString(), цепочка вызовов выше не отличается какой-то особой изящностью. Что нужно так это более хитрый способ составлять подобные цепочки.

Монадичность + Гибкий Интерфейс

Итак, представим что у нас больше нет StringBuilder, но есть некий декоратор поверх него. Например:

public class MyStringBuilder
{
    private StringBuilder sb;
    public MyStringBuilder(string text = "")
    {
        sb = new StringBuilder(text);
    }
    public static implicit operator string(MyStringBuilder msb)
    {
        return msb.sb.ToString();
    }
}

В примере выше я не показал собственно пробросы на агрегированный StringBuilder, зато показал инициализацию. Это важно! Мы сейчас этим конструктором воспользуемся в следующем примере.

Итак, допустим что у нас есть класс с методами расширения в которых фигурируют методы похожие на методы StringBuilder, только повешены они на строку (!!!). Например:

public static MyStringBuilder a(this string text, object moreText)
{
    var msb = new MyStringBuilder(text);
    return msb.a(moreText);
}

При этом, у самого MyStringBuilder есть метод a(), который реализован вот так:

public MyStringBuilder a(string text)
{
    sb.Append(text);
    return this;
}

В том же ключе можно, например, создать AppendIf() – опять же, чуть укоротив название метода:

public static MyStringBuilder ai(this string text, object moreText, bool condition)
{
    var msb = new MyStringBuilder(text);
    return msb.ai(moreText, condition);
}

Ну а теперь можно воспользоваться всем этим счастьем и начать собирать строки в более “монадичной” манере:

void CountApples(int count)
{
    Console.WriteLine("You have ".a(count).a(" apple").ai("s", count != 1));
}

По аналогии с этим подходом можно понастроить других полезных методов. Жаль лишь что нельзя совместить наш helper class и класс с методами расширения. Или можно – как вы думаете?