A
Там же есть обходной путь для этого
Size: a a a
2021 May 30
[
какой?
A
Хотя может на счет c# я и ошибаюс.
В typescript/php это реализуется примерно так: создается тип HK параметризуемый 2мя типами, и дальше он используется там, где нужны hkt. Пример на typescript https://thesoftwaresimpleton.com/blog/2018/04/14/higher-kinded-types
В typescript/php это реализуется примерно так: создается тип HK параметризуемый 2мя типами, и дальше он используется там, где нужны hkt. Пример на typescript https://thesoftwaresimpleton.com/blog/2018/04/14/higher-kinded-types
K
interface HKT<F, A> {
readonly _F: F;
readonly _A: A;
}> HKT takes 2 type parameters F and A. Thinking in terms of kinds, F represents the first class parameterised type (* -> *) and _A represents the ground type *.
> We can now define functor like this:
export interface Functor<F> {
map<A, B>(f: (a: A) => B, fa: HKT<F, A>): HKT<F, B>
}Как эта чёрная магия вообще работает и где там тайпкаст, в итоге?
A
Ну в хаскеле у нас map :: (a -> b) -> ma -> mb
В примере выше F соответствует m, А - а, B - b
В примере выше F соответствует m, А - а, B - b
A
map<A, B>(f: (a: A) => B, fa: HKT<F, A>): HKT<F, B>ЗП
Есть же пейпер lightweight HKT
AP
Это "типы с порядком чуть повыше"?
YS
"немного высоковатые"
AP
Higher(er) Kinded Types
t
это которые в fp-ts реализованы?
AP
"Типа, Типы Типов"
A
A
Если просто, у тебя не будет Array<number> а будет HKT<Array, number>
