Пока мой код смотрит мой же лид...

[Tengro]

Подумалось тут, про уровни абстракции и про взаимоотношения объектов.
Если расширять старую шутку про "математики - это такие машины, перегоняющие кофе в теоремы" до "а программисты перегоняют кофе в код" и пытаться описать её в функциональном языке программирования, резко окажется, что "машина", которая выдаёт "результаты" - не математики или программисты, а кофе.

Ну, посудите сами:
Ввод - вывод:
Кофе(математик) - теорема
Кофе(программист) - код

Но! В парадигме ООП резко становится лучше описывать именно классы "программист" и "математик"; с методом, например, питьё.

Программист.питьё(кофе) - код
Математик.питьё(кофе) - теорема

А метод "питьё", соответственно, общий для всего, что наследует класс "Человек" в целом.

Так. кажется. сегодня я продуктивно поработал и знатно упоролся.

@темы: webweaving

Comments

[Таши]

[Night de Lune]

не-не-не
упарываться так упарываться:

abstract class DrinkResult { }
class Code: DrinkResult { }
class Theorem: DrinkResult { }

abstract class Beverage { }
class Coffee: Beverage { }

Interface IDrinkable 
{
   DrinkResult Drink(Beverage b); 
}

class Mathematician: IDrinkable, //тут сложное дерево наследования включая Animal, Human, Scientist, вот это все
{
   DrinkResult Drink(Beverage b)
   {
      if (b is Coffee) 
      {
         return new Theorem();
      }
      else return null;
   }
}

class Programmer: IDrinkable, //то же что у математика
{
   DrinkResult Drink(Beverage b) 
   {
      if (b is Coffee) 
      {
         return new Code();
      }
      else return null;
   }
}

алсо где-то там надо использовать ковариацию или контрвариацию но мне влом

[helvene]

Женился б ты, барин!

[Tengro]

Night de Lune, си - это страшно, но красиво, да.
helvene, исходный комментарий тоже был хорош но вот 17 я выдохну уже, да.

[Night de Lune]

Tengro, это C# =)

[Self-mad]

Night de Lune, IDrinkable -> IBeverageTransformer

DrinkResult я б убрал — он отравляет всю классовую иерархию необходимостью наследоваться от него каждый раз, когда ты хочешь вернуть соответствующий класс из IBeverageTransformer. В частности, это лишает тебя возможности возвращать классы, определённые в third-party libraries. Сделать это можно с помощью generics - не знаю, как это выглядит в Шарпах, в java это.

public interface IBeverageTransformer<T> {
    T transformBeverage(Beverage b); 
}

class Programmer implements IBeverageTransformer<Theorem>{
...
}

Кроме того, instanceOf (который b is Coffee) считается code smell. Один из способов с этим справиться — double dispatch (см Visitor Pattern*). Но на самое деле это излишне тут, потому что у напитка нет особого поведения, так что его можно просто сделать Enum (не знаю как в шарпах, в джаве к ним можно приклеивать состояние и даже методы).


*Хотя вот я счас на него смотрю, и мне ясно, что с самим этим "паттерном" есть проблемы.

[Night de Lune]

в джаве к ним можно приклеивать состояние и даже методы

в C# через extention methods можно, но как по мне это костыль
но действительно, если от кофе ничего больше не требуется, можно и enum
ну и с дженериком красивее, да)))

[helvene]

Tengro, я написала и подумала, что тебе это не светит.
А если серьезно, когда в голову приходят мысли, из которых состоит твой заглавный пост, это сигнал, что нужно срочно сменить род деятельности.