Témata

1

Vývoj / Převod List<a> na Vect<a,n>

« kdy: 17. 02. 2023, 00:27:31 »

Jak můžu napsat funkci převádějící List<a> na Vect<a,n> (kde n je, logicky, velikost vektoru). Překladač hlásí, že nezná n, to ale nemusí být známo v době překladu.

2

Vývoj / Rychlost Chez Scheme

« kdy: 21. 12. 2022, 18:24:31 »

Může někdo vysvětlit, jak autoři Chez Scheme dosahují rychlosti srovnatelné s Céčkem/Rustem u tohoto jazyka? Intuitivně bych u dynamického jazyka čekal určitou režii (za dynamické typování a vysokoúrovňové abstrakce).

3

Vývoj / Rozdíl mezi GADT a dependent types

« kdy: 23. 10. 2022, 23:34:53 »

Zdravím, je někdo schopen (a ochoten) vysvětlit rozdíl mezi GADT a dependent types? Co přinášejí ve funkcionálním programování nad rámec Haskellu a proč se nevyskytují v “běžných” jazycích (C++, Java, C#, Go…).

4

Vývoj / Traits ve Fortranu

« kdy: 09. 09. 2022, 09:09:11 »

Doufám, že tu jsou nějací fortranisti Má moderní Fortran něco jak trait v Rustu? Podle dokumentace k F2018 jsem to v jeho OO vlastnostech nenašel, ale vzhledem k rozsahu se to dá snadno přehlédnout.

5

Vývoj / Event sourcing a mikroslužby

« kdy: 12. 08. 2022, 19:11:43 »

Zdar, uměl by někdo vysvětlit, proč/kdy je event sourcing v architektuře založené na mikroslužbách lepší než tradičnější přístupy (REST, různá RPC)? Případně jaký je váš osobní názor na jeho použití v projektech?

Podle zastánců poskytuje relativní nezávislost (například na konkrétním jazyce), ale to platí pro většinu RPC také. Navíc někde musí běžet server a databáze pro zpracování a uložení událostí, s čímž se pojí nezanedbatelná režie.

6

Vývoj / Porovnání funkcí

« kdy: 19. 03. 2022, 11:55:34 »

Čau lidi
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?

7

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?

8

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?

9

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)?