Příspěvky
1. 4. 2021
18. 2. 2021
Typová inference
+inference typových parametrů
m+221
Typový systém
Závislé typy: oprava terminologie + odkaz
m+8
Typový systém
+odkaz
m+4
Typová kontrola
+typová inference
+749
11. 2. 2021
26. 1. 2021
31. 12. 2020
C++/CLI
upřesnění odkazu
m+23
C++/CLI
+informace o C++/CX
+261
C++
přídána poznámka o variantách (C++/CLI, C++/CX, Objective-C++)
+144
C++/CLI
první verze
Microsoft Visual C++
+odkaz na C++/CLI
m+4
Objective-C
Objective-C++: doplnění o C++ třídách v ObjC onjektech
m+101
5. 7. 2020
Unifikační gramatika
+ kategorie & anglické termíny
m+101
Unifikační gramatika
Oprava odkazů
m+52
Unifikační gramatika
První verze
Unifikace (logika)
+odkaz na unifikační gramatiky
m+84
Diskuse:Continuation
+poznámka o přidání příkladu v C++
+75
Continuation
Funkcionálně: přidán příklad implementace v C++
+501
Diskuse:Continuation
Odpověď
+175
Diskuse:Monáda (funkcionální programování)
Odpověď
+167
Continuation
Verze 18784210 uživatele Jj14 (diskuse) zrušena — na závorkách sice záleží, ale původní verze byla správně, ta změněná ani neprojde typovou kontrolou
26. 3. 2020
11. 3. 2020
28. 9. 2019
Monoidální objekt
Přesměrování na Monoid#Teorie kategorií
Monoid
Teorie kategorií: doplnění podmínek
m+120
Monoidální kategorie
Oprava vzorce
m+2
Monoidální kategorie
+doplnění o kategorii endofunktorů
+358
Monoidální kategorie
První verze
Monoid
+kategoriální monoidy
+669
Volná monáda
Rozšíření článku o matematický kontext
+323
22. 9. 2019
1. 9. 2019
30. 8. 2019
28. 8. 2019
27. 8. 2019
Roman Suszko
Axiomy: upřesnění ke kongruenci
m+21
Předsvazek
první verze
Předsvazek abelovských grup
Definice: +odkaz
m+4
Hom funktor
upřesnění, že jde o bifunktor
m+42
Hom funktor
+kategorie:Teorie kategorií
m+32
Komutativní diagram
první verze
21. 8. 2019
Monáda (funkcionální programování)
Upřesnění funktor->endofunktor
+4
Volná monáda
+poznámka o použití
+186
Volný objekt
+příklady
m+48
Volná monáda
oprava kódu
20. 8. 2019
Volná monáda
+kategoriie
m+33
Volná monáda
první verze
Volný objekt
poznámka o volných monádách
m+70
Monáda (funkcionální programování)
poznámka o volných monádách
m+75