Sustav F: razlika između inačica

Posljednja izmjena od 25. ožujak 2022. u 05:41

Sustav F, poznat i kao polimorfni lambda račun ili lambda račun drugog reda, je tipizirani lambda račun. Otkrili su ga neovisno logičar Jean-Yves Girard i računalni znanstvenik John C. Reynolds. Sustav F formalizira pojam parametarskog polimorfizma u programskim jezicima.

Baš kao što lambda račun posjeduje varijable nad funkcijama i vezanja nad njima, lambda račun posjeduje varijable nad tipovima i vezanja nad njima.

Na primjer, činjenica da identiteta ima tip oblika A→ A bi u sustavu F bila formalizirana kao sud

\vdash \Lambda \alpha .\lambda x^{\alpha }.x:\forall \alpha .\alpha \to \alpha

Sustav F, skupa sa čak i ekspresivnijim lambda računaima, može biti shvaćen kao dio lambda kocke.

Nedovršeni članak Sustav F koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima uređivanja Hrvatske internetske enciklopedije.

Inačica od 23. kolovoz 2021. u 03:03 vidi izvor WikiSysop (razgovor \| doprinosi) AA_Korisnik, Botovi, Birokrati, Administratori sučelja, Otajnici, Administratori 523.901 edit Bot: Automatski unos stranica		Posljednja izmjena od 25. ožujak 2022. u 05:41 vidi izvor WikiSysop (razgovor \| doprinosi) AA_Korisnik, Botovi, Birokrati, Administratori sučelja, Otajnici, Administratori 523.901 edit m bnz
Redak 1:		Redak 1:
	~~<!--'''Sustav F'''-->'''~~Sustav F''', poznat i kao '''polimorfni lambda račun''' ili '''lambda račun drugog reda''', je [[tipizirani lambda račun]]. Otkrili su ga neovisno [[logičar]] [[Jean-Yves Girard]] i [[računalni znanstvenik]] [[John C. Reynolds]]. Sustav F formalizira pojam parametarskog [[polimorfizam (računarstvo)\|polimorfizma]] u [[programski jezik\|programskim jezicima]].		Sustav F''', poznat i kao '''polimorfni lambda račun''' ili '''lambda račun drugog reda''', je [[tipizirani lambda račun]]. Otkrili su ga neovisno [[logičar]] [[Jean-Yves Girard]] i [[računalni znanstvenik]] [[John C. Reynolds]]. Sustav F formalizira pojam parametarskog [[polimorfizam (računarstvo)\|polimorfizma]] u [[programski jezik\|programskim jezicima]].

	Baš kao što [[lambda račun]] posjeduje varijable nad funkcijama i vezanja nad njima, lambda račun posjeduje varijable nad ''tipovima'' i vezanja nad njima.		Baš kao što [[lambda račun]] posjeduje varijable nad funkcijama i vezanja nad njima, lambda račun posjeduje varijable nad ''tipovima'' i vezanja nad njima.