Не перестаю удивляться
От: VladD2 Российская Империя www.nemerle.org
Дата: 04.02.10 19:16
Оценка: 20 (4)
Вот уже почти 4 года как знаком с Nemerle, но до сих пор не перестаю удивляться логичности его проектирования.

Сам много раз писал в статьях, что для декомпозиции кортежей можно применять специальный вид паттерн-матчинга. Выглядит это так:
TitleImpl(parags : list[XElement], styleName : string) : list[XElement] * string { ... }
...
 def (tail, title) = TitleImpl(parags, "H1");
 используем tail и title


Здесь (tail, title) — это паатерн-матчинг с паттерном "кортеж".

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

Конечно можно использовать индексы для получения вложенных значений:
 def res = TitleImpl(parags, "H1");
 используем res[0] вместо tail и res[1] вместо title

Но использование res[0] и res[1] как-то некрасиво.

Наткнувшись очередной раз на эту ситуацию я вспомнил не однократно повторяемые самим же собой слова "это паттерн" и подумал — раз это паттерн, то я наверно могу использовать паттерн "as". Сам не веря в то, что это сработает я попробовал написать:
Title(parags : list[XElement]) : list[XElement] * string
{
  def (_, title) as res = TitleImpl(parags, "H1");
  
  if (title == null)
  {
    Error(0, "Первым абзацем должен идти заголовок статьи помеченный стилем 'H1'");
    (parags, "<<Не задан заголовок статьи>>")
  }
  else res
}

и это сработало! Я одновременно получил и кортеж, и значение из него.

Вот это в Немерле мне нравится больше всего. Он работает так как предполагаешь, даже если на первый взгляд предположения кажутся очень смелыми!
http://nemerle.org/Banners/?g=dark
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.