Type shifter

Type shifter je ve formální sémantice monáda přiřazující prvku typu e jím generovaný ultrafiltr typu \langle\langle e,t \rangle,t \rangle: x \mapsto \lambda P. P(x) Tuto konstrukci zavedla v jazykovědě Barbara Partee pro reprezentaci kvantifikátorů.

Použij AI

Obsah

1. 6 vztahy: Continuation, Kvantifikátor, Monáda (funkcionální programování), Teorie typů, Ultrafiltr, Závislostní typ.

Continuation

Continuation, česky pokračování, se jako speciální pojem užívá při programování počítačů, kde se chápe jako abstraktní reprezentace okamžitého stavu vykonávání nějakého programu.

Vidět Type shifter a Continuation

Kvantifikátor

Kvantifikátory jsou symboly používané v matematice a logice (predikátové logice).

Vidět Type shifter a Kvantifikátor

Monáda (funkcionální programování)

Monáda je funktoriální datový typ vybavený dvěma přirozenými transformacemi umožňujícími asociativní skládání operací nad monádami.

Vidět Type shifter a Monáda (funkcionální programování)

Teorie typů

Teorie typů je teorie na pomezí matematiky, filosofie a algoritmiky, kterou jako první předložil Bertrand Russell za účelem vyřešení paradoxů teorie množin, ačkoliv zárodky lze najít již u Bernarda Bolzana.

Vidět Type shifter a Teorie typů

Ultrafiltr

Ultrafiltr je matematický pojem z oboru teorie množin.

Vidět Type shifter a Ultrafiltr

Závislostní typ

Závislostní typ je v teorii typů typ závisející na konkrétní hodnotě.

Vidět Type shifter a Závislostní typ

Uniepedie je mapa koncept nebo sémantické sítě organizovány jako encyklopedie nebo slovníku. To dává stručný definici každého pojmu a jeho vztahů.

Toto je obrovská on-line mentální mapa, která slouží jako základ pro koncepčních diagramů. Je to zdarma k použití a každý článek nebo dokument lze stáhnout. Je to nástroj, zdroj nebo odkaz na studium, výzkum, vzdělání, učení, nebo učení, které mohou být použity učiteli, pedagogy, žáky a studenty; pro akademický svět: pro školní, základním, středním, střední školy, střední, vysoké školy, technické vzdělání, vysoké školy, univerzity, vysokoškolák, mistři nebo doktorandském studiu; po dokladech, zprávy, projekty, nápady, dokumentace, průzkumy, souhrny, nebo práce. Zde je definice, vysvětlení, popis, nebo význam každá významná, na které budete potřebovat informace, a seznam jejich přidružené pojmů jako slovníčku. K dispozici v čeština, angličtina, španělština, portugalština, japonština, čínština, francouzština, němčina, italština, polština, nizozemština, ruština, arabština, hindština, švédština, ukrajinština, maďarština, katalánština, hebrejština, dánština, finština, indonéština, norština, rumunština, turečtina, vietnamština, korejština, thajština, řecký, bulharský, chorvatský, slovák, lithuanian, filipínský, lotyšský, estonština a slovinský. Více jazyků brzy.

Informace jsou založeny na článcích z Wikipedie a dalších projektů Wikimedia a jsou k dispozici pod licencí Creative Commons Uveďte autora-Zachovejte licenci.

Uniepedie není podporována ani spojena s nadací Wikimedia Foundation.

Google Play, Android a logo Google Play jsou ochranné známky společnosti Google Inc.

Zásady ochrany osobních údajů