higher-kinded-types

4зной

2ответ

Неявное разрешение класса для параметризованных типов

В следующем примере кажется, что компилятор Scala распознает неявный класс, когда он определен, чтобы принять более высокое представление Wrapper. Почему это? scala> case class Nested(n: Int) defined

5зной

1ответ

Какие типы проблем помогают «более высокоподобному полиморфизму» решить лучше?

Как я прочитал несколько разделов, в History of Haskell, я наткнулся на: Однако более-kinded полиморфизм имеет независимую утилиту: это вполне возможно, и иногда очень полезно, чтобы объявить типы дан

12зной

1ответ

Kind Demotion (в отличие от Kind Promotion)

Расширение DataKinds способствует «значениям» (т. Е. Конструкторам) в типы. Например, True и False становятся отличными видами вида Bool. Что я хотел бы сделать, это наоборот, то есть типы demote в зн

0зной

1ответ

Что такое добрый проектор

Я копал в FP и все, что его окружало, и я нашел концепцию любезного проектора, написанную где-то, без подробностей и объяснений. Единственное, что я нашел, это github project, и я начинаю думать, если

5зной

2ответ

Scala выше kinded типа дисперсии

Я окунать свои пальцы в высших kinded типов, исследуя очень простой пример Scala: trait Mappable[F[_]] { def map[A, B](fa: F[A])(f: A => B): F[B] } object Mappable { implicit object Mappa

4зной

1ответ

Как создать структуру в Rust без поддержки более высокого типа (HKT)?

Я пытаюсь создать общую структуру Iteratee, поэтому могу перейти в другую функцию синтаксического анализа и получить другую Iteratee. Это не унифицированная версия, которая работает: use std::io::{Buf

3зной

1ответ

Transform ML код F # (выше-kinded полиморфизм)

Я пытаюсь следить на бумаге «Lightweight высших kinded полиморфизм» (https://ocamllabs.github.io/higher/lightweight-higher-kinded-polymorphism.pdf) и я застрял на преобразовании этого ML кода в F # ty