Wyniki wyszukiwania dla "existential-type"

TheWiki Haskell robi dobrą robotę wyjaśniając, jak używać typów egzystencjalnych, ale nie do końca rozumiem teorię stojącą za nimi.Rozważmy ten przykład typu...

haskell higher-rank-types functional-programming

2 odpowiedź

Jak wyrazić typy egzystencjalne przy użyciu polimorfizmu typu wyższej rangi (rangi-N)?

type-systems java bounded-wildcard scala

5 odpowiedzi

Różnica między typami egzystencjalnymi Scali a wieloznacznością Javy według przykładu?

Nieco bardziej szczegółowe niż pytanie dotyczące przepełnienia stosuCzym jest typ egzystencjalny?, jaka jest różnica między Scalatypy egzystencjalne i Javadz...

haskell pattern-matching

3 odpowiedź

Dekonstruowanie typu egzystencjalnego

Używam typu egzystencjalnego jako opakowania. W punkcie mojego kodu, w którym znam typ zamknięty, chcę zrobić coś, co jest specyficzne dla zamkniętego typu. ...