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.
kdyz mas delku kolekce primo v typu/objektu tak pri kazdem add/delete automaticky upravujes hodnotu delky. jinak si musis udelat (nekonecnou) smycku a delku spocitat.Takže cheš říct, že když mám:
parseList : String -> [Int]
nejde - Vect<a, n> prostě potřebuje v době překladu vědět, kolik je n, protože Vect<a, 4> má jinou implementaci než Vect<a, 5>. Takže snad jedině přes velikej if podle velikosti Listu.Ten parametr n nemusí mít známou hodnotu, pokud jde v jazyce mít tento typ:Kód: [Vybrat]V haskelloidních jazycích to bývá nějak takto:structure Sigma {α : Type u} (β : α → Type v) where
fst : α
snd : β fstKód: [Vybrat]Pak jde ta funkce napsat tak, aby fungovala za běhu (kdy se ten seznam, a tedy i n, načte například ze souboru nebo je po spuštění programu zadá uživatel).data DPair : (a : Type) -> (p : a -> Type) -> Type where
MkDPair : {p : a -> Type} -> (x : a) -> p x -> DPair a p
format x : String
...
format x : Int
...
formatAll xs : [String | Int]
...
loadFromFile File -> Error [String | Int], ErrorState
...
c# tak nějak víc podporuje přehlednost a strukturu kódu.
zlepšovat ve více žádaných jazycích - od PHP k JS nebo c# není tak daleko
že žiadnu finančnú kompenzáciu som za konkurenčnú doložku nedostal
Tak tady přiznávám svou neznalost. Když místo class použiju struct, což by mělo být podle docky hodnotový typ, tak to skutečně nelze vytvořit null. A je to i v naší staré code base. S tím si budu hrát.plus problém, že všechno je za nullable referencí, takže vrácení Either může být null... Oproti tomu v C#No, ale od které verze? V praxi to vůbec nepozoruju.
A třeba to not null bych fakt moc rád používal.
plus problém, že všechno je za nullable referencí, takže vrácení Either může být null... Oproti tomu v C#No, ale od které verze? V praxi to vůbec nepozoruju.
Taky má AFAIK už nějaký pattern matching...Ano. Nějaký.
Ten problém není ve výjimkách.Představuji si nástroj pro C#, který projede kód a dohledá všechny neošetřené scénáře... stále si představuji... stále si představuji...Já úplně nevím, proč se o tomhle se mnou přeš, já jsem odpůrce výjimek přesně z tohoto důvodu.
Věřim ti, že obecně Idris více tlačí uživatele do ošetření chyb, ale ten rozdíl je kvantitativní...Představuji si nástroj pro Rust, který projede kód a hledá výskyty slov panic().
Slušný vývojář tu výjimku odchytí a vypíše třeba “Sorry vole error”.Zákazník: Tak jsem zkoušel vaši aplikaci a je úplně k ničemu. Jsem tam normálně zadal číslo, a ono to spadlo.Problém je v tom, že v Idrisu se mi nestane to, co se mi stane v C# v tom příkladu, který jsem uváděl. Že tu chybu neodchytím, tedy nezpracuji, tedy jsem tu chybu nezohlednil.To je jedno ne? Hodnota toho typu nebude vytvořena, pokud konstruktor vyhodil výjimku...
Já: To je jedno ne?
To je ale něco jiného, to spadlo, protože nebyla dobře ošetřena chyba, ne proto, že by byl porušen invariant.Ano, je to něco jiného. To je rozdíl mezi Idrisem a C#.
To samé se stane v Rustu, pokud udělám `.unwrap()` na výsledku toho konstruktoru anebo v Haskellu, pokud bys např. v Either Left větvi udělal `error "shit's on fire yo"` ...
Jsou náročné na čas výpočtu v době překladu, za běhu ne.Ano, ano, sorry.
Zákazník: Tak jsem zkoušel vaši aplikaci a je úplně k ničemu. Jsem tam normálně zadal číslo, a ono to spadlo.Problém je v tom, že v Idrisu se mi nestane to, co se mi stane v C# v tom příkladu, který jsem uváděl. Že tu chybu neodchytím, tedy nezpracuji, tedy jsem tu chybu nezohlednil.To je jedno ne? Hodnota toho typu nebude vytvořena, pokud konstruktor vyhodil výjimku...
Akorát cena za to je,Imho statické typy mají jiné problémy.
O to nejde.C#, Java,Bavíme se o vstupu od uživatele, tzn. tam z principu to musí vyhodit chybu za běhu při načítání dat. Pokud při načítání dat chyba nenastane a úspěšně je vytvořena příslušná hodnota příslušného typu v C# nebo Javě (o Py to neplatí), tak pak přece není už důvod, aby to padalo někde dále, ne?Pythonmi tu kontrolu udělat nepřinutí. Data corupted sice nenastane (jsi-li alespoň trochu šikovnej), ale spadne to až za běhu.
Root.cz (www.root.cz), informace nejen ze světa Linuxu. ISSN 1212-8309
Copyright © 1998 – 2023 Internet Info, s.r.o. Všechna práva vyhrazena. Powered by Linux.