Zobrazit příspěvky

Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.


Témata - Coati

Stran: [1]
1
Vývoj / Porovnání funkcí
« kdy: 19. 03. 2022, 11:55:34 »
Čau lidi ;D
když umím v jazyce s rovnostními typy ukázat, že pro každé x platí pro dvě funkce f a g, že f(x)=g(x), jde z toho nějak odvodit “refl” pro f=g?

2
Vývoj / Ověření pravidel pro funktory
« kdy: 03. 03. 2022, 23:12:12 »
Ve funkcionálním programování se uvádí, že typové operátory musí splňovat několik rovností, aby byly funktory (viz například Wikipedie nebo dokumentace k Haskellu). Zároveň se uvádí, že programátor musí věřit autorům knihovny, že jejich funktory ony rovnosti splňují, že to překladač Haskellu neumí. Existuje nějaký jazyk, který umí podmínky u funktorů a podobných operátorů zaručit automaticky ve vší obecnosti?

3
Vývoj / Číselné typové parametry a type erasure
« kdy: 26. 02. 2022, 11:27:14 »
Jak se v runtimu přistupuje k číselným generickým parametrům třeba u Vect<T,N>, když překladač provádí kompletní type erasure? Když jde o konstantu, dosadí ji překladač přímo, ale v některých jazycích N nemusí být známé při překladu, co tam je za trik?

4
Vývoj / Rust na Azure Functions
« kdy: 05. 11. 2021, 02:50:09 »
Jde nějak na Azure Functions použít Rust bez použití custom handlers (to je poněkud těžkopádné a v podstatě to není skutečně serverless)?

Stran: [1]