что подразумевается под композицией?
https://golang.org/doc/effective_go#embedding
в дарте так примесями можно делать

https://programmingideaswithjake.wordpress.com/2015/05/09/replacing-inheritance-with-composition/
(дарт я не шарю - хз, как там)

можно все тоже самое на интерфейсах делать, причем все практически абсолютно тоже самое.
еще примеси есть, что помогает не писать оверайды

Так об этом и речь.
Пример из пхп
наследование:

abstract class Bar
{
 public function foo($i)
 {
 $i = $this->ba($i);
 $i = $this->baz($i);
 return $this->qux($i);
 }

 abstract protected function ba($i);
 abstract protected function baz($i);
 abstract protected function qux($i);
}

Композиция:

interface BarStrategy
{
 public function ba($i);
 public function baz($i);
 public function qux($i);
}

class Bar
{
 private $strategy;

 public function __construct(BarStrategy $strategy)
 {
 $this->strategy = $strategy;
 }

 public function foo($i)
 {
 $i = $this->strategy->ba($i);
 $i = $this->strategy->baz($i);
 return $this->strategy->qux($i);
 }
}

Конечно, можно implements, но в моем случае от этого не будет пользы — нет смысла.

Кстати, в тайп-скрипт можно не только наследоваться от класса, но и имплементировать класс как интерфейс

в ts много дичи можно

например объявить класс, а потом дополнить его неймспейсом

Решил поэкспериментировать с хаскель.

Почему ошибка в первом выражении (там где let), но выводится тип во второй команде (там где :t) ?

Обратите внимание, я не использую []

А что вы пытаетесь сделать? (:) это оператор для соединения элемента со списком
Т.е валидная запись в виде 2 : []
Или 3 : [1, 2]

Я всего лишь экспериментирую)

О том что вы пишете я знаю.

Мне интересно почему команде :t удалось вывести тип?

Ещё интересно то что : имеет тип

(:) :: a -> [a] -> [a]

то есть второй аргумент должен быть списком

а у меня второй аргумент это 3.

получается что 3 список???

В хаскелле числовые констатны полиморфны. Если как то объявить instance Num [a], то код будет работать.

Интересно ему как-то можно сказать что [a] это список бит
То есть написать что то вроде:
let f = 2:3 :: BitList

Можно. А зачем?

Я всего лишь экспериментирую)

Спасибо)

Короче я понял что тип хаскель вывести смог но из-за полиморфности числовых констант он не понимает что такое 2:3

Не, он не понимает потому что инстанса нет - о чём ghc и говорит

ну да)

https://t.me/haskell_learn хороший чатик для начинающих хаскелистов

тип выражения вывести может компилятор, потому что вывод типов работает в самом широком режиме, со всеми фичами,

а тип переменной вывести не может, потому что в режиме по умолчанию используемая фича недоступна.

то есть тип вывести и показать его пользователю можно, но в выбранном языке записать и присвоить этот тип переменной нельзя

Друзья, я что-то несколько запутался в композиции Клейсли. Задача – измерить время работы нескольких функций, сохранив каждый замер с описанием. Сделал вот так – но оно что-то категорически нечитаемо. Можно что-то исправить?