Tag: системы типа

Не удалось сопоставить HList

Я пытался решить эту проблему бесформенным. Однако по какой-то причине я не HList . Я позволю коду говорить сам за себя. import shapeless._ import HList._ case class Foo(a: Option[Int], b: Option[Int]) val a = Foo(Some(3), None) val b = Foo(Some(22), Some(1)) implicit val fooIso = HListIso(Foo.apply _, Foo.unapply _) val mapper = new (({ type […]

Система типов в Scala завершена. Доказательство? Пример? Выгоды?

Существуют утверждения, что система типа Scala является полной. Мои вопросы: Есть ли для этого формальное доказательство? Как бы выглядели простые вычисления в системе типа Scala? Это какая-то польза для Scala – языка? Это делает Scala более «мощным» в некотором роде сравнением языков без полной системы Turing? Я предполагаю, что это относится к языкам и типам […]

Почему выбирают члены типа Scala с хешем вместо точки?

В Scala синтаксис выбора типа из classа отличается от синтаксиса выбора любого другого из classа. В том, что первый использует hash как оператор выбора вместо точки. Почему это? Пример: если у нас есть class вроде … class Example { type Foo = String } Почему мы выбираем тип из этого classа … val example:Example#Foo = […]

Давайте будем гением компьютера.