Příspěvky uživatele Radegast

9. 1. 2024

• 03:069. 1. 2024, 03:06 rozdíl historie −10‎ m Severoopavské nářečí ‎ oprava aktuální
• 00:329. 1. 2024, 00:32 rozdíl historie +344‎ Severoopavské nářečí ‎ o zániku
• 00:249. 1. 2024, 00:24 rozdíl historie +134‎ m Severoopavské nářečí ‎ +kategorie
• 00:239. 1. 2024, 00:23 rozdíl historie +32‎ m Lašská nářečí ‎ →‎Související články: +Severoopavské nářečí aktuální
• 00:219. 1. 2024, 00:21 rozdíl historie +865‎ N Severoopavské nářečí ‎ první verze

27. 8. 2023

• 12:5827. 8. 2023, 12:58 rozdíl historie +234‎ Typová kontrola ‎ →‎Statická typová kontrola: přidán odstavec o závislostních typech aktuální značky: editace z mobilu editace z mobilního webu pokročilá editace z mobilního zařízení odkazy na rozcestníky

4. 6. 2023

• 16:034. 6. 2023, 16:03 rozdíl historie 0‎ m Tbiliský emirát ‎ Oprava odkazu

4. 3. 2023

• 15:454. 3. 2023, 15:45 rozdíl historie +11‎ m Harmonická posloupnost ‎ →‎Příklad: vylepšení matematického zápisu aktuální

25. 1. 2023

• 16:0625. 1. 2023, 16:06 rozdíl historie 0‎ m Roman Suszko ‎ odkaz na Fregeho axiom
• 16:0425. 1. 2023, 16:04 rozdíl historie +197‎ Lean (programovací jazyk) ‎ +info o typu Prop aktuální

23. 1. 2023

• 21:2023. 1. 2023, 21:20 rozdíl historie +312‎ Goodman-Myhillova věta ‎ odkazy + doplnění
• 00:1923. 1. 2023, 00:19 rozdíl historie +181‎ N Goodman-Myhillova věta ‎ Počáteční verze

22. 12. 2022

• 22:3622. 12. 2022, 22:36 rozdíl historie +21‎ Funkcionální programování ‎ +další příklady typovaných jazyků značky: editace z mobilu editace z mobilního webu pokročilá editace z mobilního zařízení odkazy na rozcestníky

20. 12. 2022

• 14:3720. 12. 2022, 14:37 rozdíl historie +320‎ Continuation ‎ →‎Funkcionálně: +příklad v Leanu aktuální
• 12:5920. 12. 2022, 12:59 rozdíl historie +175‎ Algebraický datový typ ‎ →‎Zobecněné algebraické datové typy: +příklad v Leanu
• 10:3520. 12. 2022, 10:35 rozdíl historie +72‎ m Lean (programovací jazyk) ‎ +kategorie
• 10:3420. 12. 2022, 10:34 rozdíl historie +72‎ m Idris (programovací jazyk) ‎ +kategorie aktuální
• 05:1220. 12. 2022, 05:12 rozdíl historie +860‎ N Idris (programovací jazyk) ‎ první verze značka: odkazy na rozcestníky
• 04:5020. 12. 2022, 04:50 rozdíl historie +835‎ N Lean (programovací jazyk) ‎ první verze
• 03:5720. 12. 2022, 03:57 rozdíl historie +69‎ m Algebraický datový typ ‎ →‎Zobecněné algebraické datové typy: +odkazy
• 03:5220. 12. 2022, 03:52 rozdíl historie +6‎ m Závislostní typ ‎ →‎Rovnostní typy a negace: +odkaz aktuální
• 03:5020. 12. 2022, 03:50 rozdíl historie +47‎ m Závislostní typ ‎ +odkaz na jazyk Idris

1. 5. 2022

• 11:291. 5. 2022, 11:29 rozdíl historie +32‎ N Ultraprodukt ‎ přesměrování na Filtr (matematika) aktuální značka: nové přesměrování

24. 4. 2022

• 17:4824. 4. 2022, 17:48 rozdíl historie 0‎ m Type shifter ‎ Oprava logického zápisu aktuální
• 12:0724. 4. 2022, 12:07 rozdíl historie +436‎ Závislostní typ ‎ +rovnostní typy
• 11:4624. 4. 2022, 11:46 rozdíl historie +684‎ N Type shifter ‎ První verze

15. 4. 2022

• 09:2415. 4. 2022, 09:24 rozdíl historie +86‎ m ADT ‎ +algebraický datový typ aktuální

11. 4. 2022

• 00:2611. 4. 2022, 00:26 rozdíl historie +57‎ m Algebraický datový typ ‎ +kategorie

10. 4. 2022

• 12:4210. 4. 2022, 12:42 rozdíl historie +26‎ m Statická analýza kódu ‎ →‎Formální metody: +odkaz
• 12:1810. 4. 2022, 12:18 rozdíl historie −1‎ m Algebraický datový typ ‎ oprava odkazu (Idriss -> Idris)
• 12:1810. 4. 2022, 12:18 rozdíl historie +2‎ m Continuation ‎ →‎Funkcionálně: přidány prázdné řádky do kódu pro lepší čitelnost
• 12:0510. 4. 2022, 12:05 rozdíl historie +291‎ Continuation ‎ →‎Funkcionálně: příklad v jazyce Idris značka: odkazy na rozcestníky
• 11:5310. 4. 2022, 11:53 rozdíl historie +31‎ m Algebraický datový typ ‎ +kategorie
• 10:0210. 4. 2022, 10:02 rozdíl historie +50‎ m Teorie typů ‎ +odkaz
• 09:5810. 4. 2022, 09:58 rozdíl historie +1 275‎ N Algebraický datový typ ‎ První verze značka: odkazy na rozcestníky

23. 2. 2022

• 17:2723. 2. 2022, 17:27 rozdíl historie +192‎ m Curryho–Howardův isomorfismus ‎ rovnostní typy
• 17:1923. 2. 2022, 17:19 rozdíl historie +392‎ Závislostní typ ‎ příklad typové funkce v signatuře funkce

22. 1. 2022

• 01:3222. 1. 2022, 01:32 rozdíl historie +4‎ m Lambda kalkul ‎ →‎Věta o pevném bodě: +odkaz na kombinátor pevného bodu

1. 4. 2021

• 12:231. 4. 2021, 12:23 rozdíl historie +44‎ m Monoidální kategorie ‎ +odkaz
• 12:231. 4. 2021, 12:23 rozdíl historie +32‎ m Kategorie endofunktorů ‎ oprava odkazu aktuální

18. 2. 2021

• 22:0518. 2. 2021, 22:05 rozdíl historie +221‎ m Typová inference ‎ +inference typových parametrů
• 22:0018. 2. 2021, 22:00 rozdíl historie +8‎ m Typový systém ‎ →‎Závislé typy: oprava terminologie + odkaz
• 21:5518. 2. 2021, 21:55 rozdíl historie +4‎ m Typový systém ‎ +odkaz
• 21:5018. 2. 2021, 21:50 rozdíl historie +749‎ Typová kontrola ‎ +typová inference

11. 2. 2021

• 17:2511. 2. 2021, 17:25 rozdíl historie +564‎ Go (programovací jazyk) ‎ +typový systém

26. 1. 2021

• 17:5526. 1. 2021, 17:55 rozdíl historie +149‎ m Korektor překlepů ‎ →‎Popis: přidána reference

31. 12. 2020

• 01:4131. 12. 2020, 01:41 rozdíl historie +23‎ m C++/CLI ‎ upřesnění odkazu
• 01:4031. 12. 2020, 01:40 rozdíl historie +261‎ C++/CLI ‎ +informace o C++/CX
• 01:3731. 12. 2020, 01:37 rozdíl historie +144‎ C++ ‎ přídána poznámka o variantách (C++/CLI, C++/CX, Objective-C++)
• 01:3031. 12. 2020, 01:30 rozdíl historie +1 248‎ N C++/CLI ‎ první verze