Дыбр
Сегодня, спустя год, была первая пробежка. Я не ожидал что она будет такая - дыхалки хватило километра на 2. Пробежка является неким итогом, который показывает полную дисгармонию между физическими показателями силы и выносливости организма. Да, я больше тяну, больше жму но выносливость...развитию выносливости необходимо уделять больше времени. В общем стыд и срам.
Пару дней назад обнаружил для себя, как мне сейчас кажется, еще одно применение структурных типов Scala. К примеру давать формальное определение типа. Взять к примеру классическое изложение формального определения детерминированного конечного автомата, как известно это пятерка: Q - множество состояний; Σ - множество символов; q - начальное состояние; δ - функция с парой аргументов; F - конечное состояние. Таким образом, получаем следующий код:
type DFA = {
val Q: Set[S]
val Σ: Set[Char]
val q: S
def δ(t: Tuple2[Char, S]): S
val F: S
}
Но, реализацию мы поручим обычному классу:
final class DFAImpl {
...
}
Что имеем в итоге:
val dfa: DFA = new DFAImpl