abclinuxu.cz AbcLinuxu.cz itbiz.cz ITBiz.cz HDmag.cz HDmag.cz abcprace.cz AbcPráce.cz
AbcLinuxu hledá autory!
Inzerujte na AbcPráce.cz od 950 Kč
Rozšířené hledání
×
dnes 06:00 | IT novinky

Na Indiegogo byla spuštěna kampaň na podporu chytrého telefonu a kapesního počítače Astro Slide 5G Transformer od společnosti Planet Computers. Požadovaná částka 180 000 eur byla vybrána během 4 hodin. Stejně jako u předchozích zařízení Gemini PDA a Cosmo Communicator od této společnosti je slíbená podpora Linuxu.

Ladislav Hagara | Komentářů: 7
včera 19:22 | Zajímavý software

CryptPad je svobodný online kancelářský balík. Zdrojové kódy jsou k dispozici na GitHubu pod licencí AGPL-3.0. Oficiální instance nově nabízí 1 GB prostoru. Mozilla Foundation tento týden věnovala projektu 10 000 $.

Ladislav Hagara | Komentářů: 1
včera 18:22 | Nová verze

Byla vydána finální beta verze Ubuntu 20.04 LTS s kódovým názvem Focal Fossa. Přehled novinek v poznámkách k vydání. Dle plánu by Ubuntu 20.04 mělo vyjít 23. dubna 2020.

Ladislav Hagara | Komentářů: 3
včera 17:22 | Nová verze

Vyšel XCP-ng 8.1 (seznam změn), alternativní sestavení Citrix Hypervisor (dříve XenServer), tedy serverová distribuce hypervizoru Xen (4.13), toolstacku XAPI a systému CentOS v privilegované doméně. XCP-ng na rozdíl od bezplatné verze Citrix Hypervisoru nemá četná omezení funkcionality, vývojáři ale nabízejí i komerční podporu. Novinkou (zatím) pouze v XCP-ng je možnost zálohovat VM včetně aktuálního stavu jejich paměti; funkce je integrována také v administračním nástroji Xen Orchestra.

Fluttershy, yay! | Komentářů: 0
2.4. 17:55 | Nová verze

Byl vydán LineageOS ve verzi 17.1. LineageOS (Wikipedie) je svobodný operační systém pro chytré telefony, tablety a set-top boxy založený na Androidu. Jedná se o nástupce CyanogenModu. LineageOS 17.1 je založený na Androidu 10.

Ladislav Hagara | Komentářů: 9
2.4. 17:22 | Zajímavý projekt

Lukasz Erecinski na blogu Pine64 oznámil možnost předobjednání telefonu PinePhone v edici UBports Community Edition. Telefon bude mít speciální kryt s logem a nápisem UBports Edition. Základní deska bude podle nového schématu (v1.2) vylepšená podle zpětné vazby od majitelů BraveHeart edice. Bude mít FCC i CE certifikace.

joejoe | Komentářů: 3
2.4. 15:33 | IT novinky

Společnost Cloudflare před dvěma lety spustila DNS resolver 1.1.1.1. Včera spustila 1.1.1.1 pro rodiny aneb nové resolvery 1.1.1.2 (2606:4700:4700::1112) a 1.1.1.3 (2606:4700:4700::1113) blokující stránky s malwarem a obsahem pro dospělé. Dnes se omluvila, že nechtěně blokovala také LGBTQIA+ stránky.

Ladislav Hagara | Komentářů: 31
2.4. 14:55 | Nová verze

Společnost Red Hat oznámila vydání Red Hat Enterprise Linuxu 7.8, který přináší vedle nových vlastností a oprav chyb také aktualizaci ovladačů a předběžné ukázky budoucích technologií. Podrobnosti v poznámkách k vydání.

Ladislav Hagara | Komentářů: 0
2.4. 14:33 | Nová verze

V pondělí vyšel Linux 5.6. Dnes vyšla jeho 2. opravná verze 5.6.2 (git). Opravena byla mimo jiné diskutovaná chyba v ovladači iwlwifi.

Ladislav Hagara | Komentářů: 0
1.4. 19:55 | Nová verze

Po dvou letech od vydání verze 3.0 byla vydána nová major verze 4.0 nástrojů LXC, LXD a LXCFS pro kontejnerovou virtualizaci LXC (LinuX Containers). Jedná se o verzi s dlouhodobou podporou (LTS). Ta končí v červnu 2025. Přehled novinek v jednotlivých oznámeních o vydání: LXC, LXD a LXCFS.

Ladislav Hagara | Komentářů: 3
Chodíte do práce?
 (26%)
 (2%)
 (5%)
 (1%)
 (49%)
 (14%)
 (4%)
Celkem 103 hlasů
 Komentářů: 4, poslední 2.4. 14:20
Rozcestník

Python konverguje k ML

14.8.2014 18:18 | Přečteno: 1405× | Programování | Výběrový blog

Typové systémy mohou výrazně zjednodušit konstrukci a údržbu větších programů. Python bohužel zatím žádný oficiální typový systém nemá, ale zřejmě se blýská na lepší časy. Guido van Rossum, autor jazyka, přišel s návrhem, aby se anotace funkcí specializovaly pro typové anotace. Předpokládám, že je jen otázkou času, kdy Python dostihne Dart a získá volitelný typový systém.

Zatím není jasné, jak typový systém Pythonu bude vypadat. Jelikož známé postupy typové inference nefungují dobře s podtypovým polymorfismem, budou si muset autoři Pythonu vybrat – buď spolehlivou typovou inferenci nebo podtypový polymorfismus.

Pokud si vyberou podtypový polymorfismus, je otázkou, co bude mít Python navíc oproti Javě, Scale, C#, F# nebo Dartu? Alternativu k podtypovému polymorfismu představuje řádkový polymorfismus (row polymorphism). Jeho výhodou je, že lépe funguje s typovou inferencí. V mainstreamových jazycích není řádkový polymorfismus příliš rozšířen (vím jen o OCamlu), tudíž by Python mohl přinést i něco nového. Například Ur/Web přinesl pokročilejší práci s řádkovými proměnnými.

Kromě typových anotací narazil Guido van Rossum na dvě další věci: na neměnné datové struktury a na abstraktní datové typy. Když o tom tak přemýšlím, tak musím opět dát za pravdu Robertu Harperovi – programovací jazyky vskutku konvergují k ML.

       

Hodnocení: 71 %

        špatnédobré        

Tiskni Sdílej: Linkuj Jaggni to Vybrali.sme.sk Google Del.icio.us Facebook

Komentáře

Vložit další komentář

14.8.2014 19:41 JS1 | skóre: 2 | blog: intuition_pump
Rozbalit Rozbalit vše Re: Python konverguje k ML
Nejsem si jisty, jestli jsem spravne pochopil ten rozdil (mezi radkovym a podtypovym polymorfismem), ale u Pythonu mi prijde ten radkovy polymorfismus prirozenejsi. Funkce se odjakziva v Pythonu chovaji genericky, to znamena, nezalezi jim na konkretnich deklarovanych typech parametru, ale na tom, jake operace nad nimi lze provadet.
Lidstvo má již jen 11 let, aby odvrátilo nejhorší důsledky klimatické katastrofy. Podpořte hnutí Limity jsme my!
14.8.2014 22:21 Radek Miček | skóre: 23 | blog: radekm_blog
Rozbalit Rozbalit vše Re: Python konverguje k ML
Je rozdíl mezi řádkovým, podtypovým strukturálním a podtypovým nominálním polymorfismem.

V podtypovém polymorfismu je klíčové pravidlo subsumce: Má-li x typ S a je-li S podtyp T, pak x má typ T. To znamená, že kdykoliv je požadována hodnota typu T lze dát i hodnotu typu S. Klasické algoritmy typové inference jsou založeny na unifikaci – pokud je někde požadována hodnota typu T a dávám-li tam hodnotu typu T0, tak se oba typy unifikují (za proměnné v typech T a T0 se dosadí, aby typy byly shodné). Kvůli subsumci však tento postup nejde použít (např. T = Zvíře a S = Pes – v typech Zvíře a Pes nejsou žádné proměnné a nejde je unifikovat).

Jinak řečeno raději bych při typové inferenci řešil rovnosti než nerovnosti.

Předpokládejme:
class Zvíře { void jez(); }
class Pes { void jez(); void štěkej(); void vrč(); }
Chtěl bych napsat funkci, která jako argument bude moci mít hodnoty typu Zvíře i Pes, ale nechci tam mít pravidlo subsumce. Taková funkce bude mít typ
void f({ jez(); ... } zvíře);
Typ parametru zvíře říká, že hodnota musí mít metodu jez a může mít i nějaké další metody. Tři tečky jsou ve skutečnosti anonymní řádková proměnná, do níž se při unifikaci může dosadit (metody / jiná proměnná). Cíle jsme tedy dosáhli bez subsumce. Použití řádkových proměnných se říká řádkový polymorfismus.

Díký řádkovému polymorfismu máme něco jako podtypy do šířky, chybí ale podtypy do hloubky – metody musí mít shodné typy – nemohou to být podtypy.
15.8.2014 06:57 JS1 | skóre: 2 | blog: intuition_pump
Rozbalit Rozbalit vše Re: Python konverguje k ML
Tomuhle nerozumim:
Kvůli subsumci však tento postup nejde použít (např. T = Zvíře a S = Pes – v typech Zvíře a Pes nejsou žádné proměnné a nejde je unifikovat).
Prijde mi, ze S je podtyp T musi z neceho vyplynout. V normalnim Pythonu to vyplyne z toho: Pes obsahuje metodu vrc(). Proc nemuze proste ten algoritmus typove inference pouzit tenhle fakt?

Asi mi porad unika ten rozdil mezi radkovym a strukturalnim podtypovym polymorfismem. (Nominalni je - chapu-li to spravne - ze se explicitne deklaruje treba ze Pes je podtrida Zvirete).

IMHO, podminkou typoveho systemu v Pythonu ma byt to, aby dnes validni programy v Pythonu (ve smyslu bezi to korektne na vsech vstupech) bylo mozne otypovat tak, aby neselhaly na typovou chybu po zavedeni typove kontroly. Pokud radkovy polymorfismus omezi, co se da dnes delat, je to proste spatny napad tam takovou vec davat.

Priznam se, ze nejsem moc velky zastance statickeho typovani, jako cile. Staticke typy (zvlast pokud je chceme mit rozhodnutelne) jsou totiz vzdy jen aproximace toho, co se skutecne stane. Podle me dost programatoru ponekud popira praktickou realitu, v ktere je typovy dynamismus temer vzdy nevyhnutelny (ve smyslu - pokud to budeme chtit napsat typove korektne, bude to bud dost pres ruku, nebo se typove kontroly v danem pripade beztak vzdame). Ti, co to nepopiraji, prijali extremne dynamicky typovane jazyky jako Lisp, Forth nebo Python; prave proto, ze je nesvazuje (rozhodnutelny) typovy system.
Lidstvo má již jen 11 let, aby odvrátilo nejhorší důsledky klimatické katastrofy. Podpořte hnutí Limity jsme my!
15.8.2014 11:30 Ondrej Santiago Zajicek
Rozbalit Rozbalit vše Re: Python konverguje k ML
Priznam se, ze nejsem moc velky zastance statickeho typovani, jako cile. Staticke typy (zvlast pokud je chceme mit rozhodnutelne) jsou totiz vzdy jen aproximace toho, co se skutecne stane. Podle me dost programatoru ponekud popira praktickou realitu, v ktere je typovy dynamismus temer vzdy nevyhnutelny.

Ono take staticke typovani neni cil, je to prostredek. Dale IMHO neni rozumne se koukat na staticke a dynamicke typovani jako na alternativy, spis se jedna o koncepty, ktere se vzajemne doplnuji (i kdyz je pravda, ze existuji jazyky z obou konci spektra, at uz takove, ktere staticke typy nemaji, tak takove, ktere maji tak striktni staticky typovy system, ze vse, co by jinak resily dynamicke typy, je uz rozhodnuto staticky).
Ti, co to nepopiraji, prijali extremne dynamicky typovane jazyky jako Lisp, Forth nebo Python; prave proto, ze je nesvazuje (rozhodnutelny) typovy system.
Predstav si, ze mas funkci v programu a chces na zaklade lokalni informace (vidis jen samotnou funkci) overit jeji korektnost. Pak potrebujes vedet, co se od te funkce ocekava, minimalne co volany muze predpokladat o argumentech a co naopak volajici muze ocekavat o navratove hodnote. To muzes bud jen napsat do komentaru, nebo to explicitne formulovat pomoci assertu na zacatku a konci funkce. Na (staticky) typovy system pak muzes pohlizet jako na mechanismus, ktery nektere ty asserty umozni vyhodnotit staticky (pokud je lze overit staticky, tak je automaticky vyradit z kodu, pokud ne, tak pripadne vynadat).

Druhy uzitecny aspekt statickeho (nebo mozna bych to spis nazval 'lexikalniho') typoveho systemu je to, ze umoznuje explicitne popsat lexikalni kontext. Kdy na ten samy objekt (s jednim dynamickym typem) je mozne pohlizet ruznymi pohledy (ryznymi lexikalnimi typy). Napr. v Lispu dynamicky typovy system nerozlisi asociacni list, obecny list ci obecnou strukturu tvorenou pary. V C-like jazyku zas je mozne plynule prechazet mezi unsigned a signed pohledem na cislo, ci je mozne chapat ten samy string "12345" jako pole bajtu, genericky zero-terminated string, ci jako dekadicky kodovane 'dlouhe cislo'. S trochou nadsazky se na to da algebraicky podivat tak, ze objekty (se svymi dynamickymi typy) tvori nosnou mnozinu a ruzne staticke typy pak tvori ruzne algebraicke struktury na te nosne mnozine (ci na jejich podmnozinach). V Lispu nebo v C se to vetsinou resi tak, ze ty funkce pracujici z danou strukturou maji spolecny prefix (napr. assoc-* ci list-*, ci memcmp vs strcmp), jenze pak se clovek pri psani kodu v obou jazycich uprefixuje, pritom informace o aktualnim pohledu je obvykle znama z kontextu a je prirozene ji asociovat s lexikalni promennou, pres kterou se k objektu pristupuje.
18.8.2014 14:46 sarimak
Rozbalit Rozbalit vše Re: Python konverguje k ML
Nestacila by na to ale existujici abstraktni bazova trida?

Pokud tedy metoda/funkce potrebuje nutne vedet, jake typove-specificke chovani ma zvolit, pouzije test na isinstance(). Tam kde neni potreba explicitne resit typ, pouzije se stavajici duck typing. Jelikoz umele pridat abstraktniho predka muzu kolikrat chci, zajistim tim vyse popisovane lexikalni typy.
16.8.2014 11:32 Radek Miček | skóre: 23 | blog: radekm_blog
Rozbalit Rozbalit vše Re: Python konverguje k ML
Asi mi porad unika ten rozdil mezi radkovym a strukturalnim podtypovym polymorfismem.
Příklad z OCamlu:
class foo = object
  method f = 1
  method g = 1
end

class bar = object
  method f = 10
  method g = ""
end

let h xs = (List.hd xs)#f + 1
Automaticky odvozené typy:
class foo : object method f : int method g : int end
class bar : object method f : int method g : string end
val h : < f : int; .. > list -> int
Funkce h bere seznam objektů, jenž mají metodu f a nějaké další metody. Dvě tečky jsou řádková proměnná. Zkusím-li funkci h použít se seznamem [new foo; new bar], dostanu chybu:
Error: This expression has type bar but an expression was expected of type
         foo
       Types for method g are incompatible
Problém je, že kompilátor do řádkové proměnné dosadil metodu g z foo a požaduje seznam objektů typu < f : int; g: int >. S řádkovým polymorfismem tohle nejde otypovat – do řákové proměnné nejde dosadit, aby výsledný typ byl foo a zároveň bar. Pro tyto případy má OCaml explicitní přetypování, lze tedy napsat [(new foo :> < f : int >); (new bar :> < f : int >)].

Totéž v systému se strukturálním podtypovým polymorfismem: Funkce h by nejspíše měla typ < f : int > list -> int. Pokud seznamy obsahují hodnoty jednoho typu, použitím subsumce dostane kompilátor new bar : < f : int > a new foo : < f : int >. Příklad tedy projde typovou kontrolou.
17.8.2014 18:12 JS1 | skóre: 2 | blog: intuition_pump
Rozbalit Rozbalit vše Re: Python konverguje k ML
Aha, dik za vysvetleni. Takze ja na to koukam trochu prakticky, a pripada mi, ze pokud tenhle priklad projde typovou kontrolou, je to v poradku. Z toho vyplyva, jestli jsem nasi diskusi spravne pochopil, ze s tebou nesouhlasim, a jsem zastance toho, aby v Pythonu byl strukturalni podtypovy polymorfismus spis nez ten radkovy. Jinak v podstate Ondrej Zajicek niz napsat lepe to, co jsem si tak nejak myslel, kdyz jsem na tebe poprve reagoval.
Lidstvo má již jen 11 let, aby odvrátilo nejhorší důsledky klimatické katastrofy. Podpořte hnutí Limity jsme my!
15.8.2014 10:36 Ondrej Santiago Zajicek
Rozbalit Rozbalit vše Re: Python konverguje k ML
pokud je někde požadována hodnota typu T a dávám-li tam hodnotu typu T0, tak se oba typy unifikují (za proměnné v typech T a T0 se dosadí, aby typy byly shodné). Kvůli subsumci však tento postup nejde použít (např. T = Zvíře a S = Pes – v typech Zvíře a Pes nejsou žádné proměnné a nejde je unifikovat).

Nevim, co o tom rika teorie, ale me dava daleko vetsi smysl to chapat jako logickou resoluci nez jen jako unifikaci. Takze v takovem pripade potrebuji automaticky odvodit Zvire(v) z faktu Pes(v) a pravidla Pes(X)->Zvire(X).
Typ parametru zvíře říká, že hodnota musí mít metodu jez a může mít i nějaké další metody.
To me prijde, ze jsem jen nahradil obecny fakt (v splnuje typ 'vrcable') za konkretni fakt (v ma metodu vrc). Toho sameho bych mohl obdobne dosahnout na urovni typu (objekty/tridy by explicitne znaly vsechny typy, ktere splnuji, a funkce by mohla definovat konjunkci pozadovanych typu pro argument).
16.8.2014 12:02 Radek Miček | skóre: 23 | blog: radekm_blog
Rozbalit Rozbalit vše Re: Python konverguje k ML
To me prijde, ze jsem jen nahradil obecny fakt (v splnuje typ 'vrcable') za konkretni fakt (v ma metodu vrc). Toho sameho bych mohl obdobne dosahnout na urovni typu (objekty/tridy by explicitne znaly vsechny typy, ktere splnuji, a funkce by mohla definovat konjunkci pozadovanych typu pro argument).
V typových systémech s průnikovými typy se tohle někdy dělá. Takové systémy pak nepotřebují obecné záznamy/objekty, stačí typ pro záznam/objekt s jedním polem/metodou – záznamy/objekty s více poli/metodami se získají jako průnik.
Nevim, co o tom rika teorie, ale me dava daleko vetsi smysl to chapat jako logickou resoluci nez jen jako unifikaci. Takze v takovem pripade potrebuji automaticky odvodit Zvire(v) z faktu Pes(v) a pravidla Pes(X)->Zvire(X).
Měla by to být především rozhodovací procedura. Pro jednoduché typové systémy s podtypovým polymorfismem takové existují. Jak se ale dostanete na úroveň Javy, tak se situace komplikuje – viz Mazurak, Zdancewic: Type Inference for Java 5 Wildcards, F-Bounds, and Undecidability.
16.8.2014 22:42 Ondrej 'SanTiago' Zajicek
Rozbalit Rozbalit vše Re: Python konverguje k ML
Měla by to být především rozhodovací procedura.

Je otazka, jestli tenhle pozadavek je opravdu vyznamny. Negativni odpoved (tedy ze kompilator se pri validaci typoveho vyrazu obecne muze zacyklit a sezrat zdroje) je sice neprijmemna, ale prakticky se to zas tak nelisi od situace, kdy mame jazyk s turingovsky uplnym makrojazykem (coz ma treba Lisp), kde se vyrazy v nem take mohou zacyklit pri kompilaci.

IMHO pozadavek na rozhodnutelnost je zbytecne omezujici, expresivnost typoveho systemu je IMHO dulezitejsi nez rozhodnutelnost. Spis nez obecna teoreticka rozhodnutelnost je treba, aby typovy system mel 'smysluplnou operacni semantiku', tedy aby programator rozumel tomu, jak se konkretni typovy vyraz bude 'vyhodnocovat' a mohl zvolit takove typove vyrazy, ktere se efektivne vyhodnoti a vyhnout se tem, ktere by se zacyklily.
9.12.2015 22:27 tacoberu | skóre: 5
Rozbalit Rozbalit vše Re: Python konverguje k ML
Můžu dvě otázky?

1. Proč bych něco takového, jako je:
void f({ jez(); ... } zvíře);
měl chtít? Pak by mi do té funkce mohlo projít i něco takového:
class VodníDílo { void jez(); }
2. Mě by se více líbilo řešení zadaného problému takto:
void f(Zvire | Pes zvíře)
V čem je to horší/lepší? Nebo jen blbý příklad?
14.8.2014 21:19 pavel
Rozbalit Rozbalit vše Re: Python konverguje k ML
Kolikaty to uz bude pokus, jak odstranit koncepcni omyl nebo omezeni Pythonu ? Cython, mypy, Nuitka, Numba - variace na stejne tema a zatim se nic z toho nechytilo nebo neopustilo experimentalni stav.

Moc tomu neverim, kdyz se zatim ani poradne nepreslo na Python 3. Nevidim ani duvod pro vznik dalsiho python-like jazyka, kdyz oblasti kriticke na rychlost zpracovani jsou uz obsazeny jinymy nastroji a jazyky.

Bystroushaak avatar 14.8.2014 23:02 Bystroushaak | skóre: 36 | blog: Bystroushaakův blog | Praha
Rozbalit Rozbalit vše Re: Python konverguje k ML
Mě se to docela líbí. Ty anotace tam jsou už teď, jen se trochu mění jejich syntaxe, ale tak, aby to bylo zpětně kompatibilní.
15.8.2014 09:38 x
Rozbalit Rozbalit vše Re: Python konverguje k ML
Volitelný typový systém nepotřebuje inferenci. Volitelný typový systém ani nemusí být správný (viz kovariantní generiky v Dartu), to je celá pointa té volitelnosti. Musí být jenom užitečný, zbytek jsou akademické řečičky.
16.8.2014 13:27 Radek Miček | skóre: 23 | blog: radekm_blog
Rozbalit Rozbalit vše Re: Python konverguje k ML
Volitelný typový systém ani nemusí být správný (viz kovariantní generiky v Dartu)
Kovariantní generika v Dartu, aneb když programy, co jsou v podstatě v pořádku nefungují (v checked módu). Volání start
abstract class Zvire { void jez(); }
class Pes extends Zvire { void jez() { print("Pes"); } }

abstract class Krmic<A> { void nakrm(A a); }
class ZvireKrmic extends Krmic<Zvire> {
  void nakrm(Zvire z) { z.jez(); }
}

void f(Krmic<Pes> k, Pes p) {
  k.nakrm(p);
}

void start() {
  f(new ZvireKrmic(), new Pes());
}
vyhodí výjimku
Breaking on exception: type 'ZvireKrmic' is not a subtype of type 'Krmic<Pes>' of 'k'.
Zatímco obdobný program ve Scale normálně funguje (Krmic je kontravariantní v A).
abstract class Zvire { def jez: Unit }
class Pes extends Zvire { def jez = println("Pes") }

abstract class Krmic[-A] { def nakrm(a: A): Unit }
class ZvireKrmic extends Krmic[Zvire] {
  def nakrm(z: Zvire) = z.jez
}

def f(k: Krmic[Pes], p: Pes) = k.nakrm(p)

def start = f(new ZvireKrmic, new Pes)
16.8.2014 18:58 x
Rozbalit Rozbalit vše Re: Python konverguje k ML
Dejte ten první program normálnímu programátorovi a pravděpodobně vám řekne: "to volání f(new ZvireKrmic(), new Pes()) je špatně, ne? Přece ZvireKrmic, což je Krmic<Zvire>, nemůže být Krmic<Pes>..."

No ano, my víme že může, protože to zvíře se tam vyskytuje jenom v kontravariantní pozici, jenže to odporuje běžné programátorské intuici. A to je přesně to, o čem si s volitelným typovým systémem můžete aspoň dovolit uvažovat.
16.8.2014 22:10 Ondrej 'SanTiago' Zajicek
Rozbalit Rozbalit vše Re: Python konverguje k ML
Ja bych rekl, ze normalni programator, aniz by cokoliv vedel o kovariantnich a kontravariantnich pozicich v generikach a teorii typovych systemu, by minimalne mel postrehnout to a zamyslet se nad tim, ze ten prvni priklad je semanticky korektni, zatimco bezny priklad dosazeni predka na misto, kde se ocekava potomek, je obecne semanticky nekorektni. A takova uvaha by mela zvitezit nad (spatnou) intuici.
17.8.2014 12:53 erzsebe
Rozbalit Rozbalit vše Re: Python konverguje k ML
a ML je co?
17.8.2014 14:20 Ondra
Rozbalit Rozbalit vše Re: Python konverguje k ML
ML (puvode zkratka za metalanguage) je programovaci jazyk, ktery na zacatku 70. let vytvoril Robin Milner. Na svoji dobu (ktera v podstate trva do ted) byl velmi pokrokovy a postupem casu se jim nechavaji inspirovat jakyzy, at uz nove, nebo nove verze tech stavajicich.

Odtud ta konvergence, i kdyz nekdy je kolem tohoto pokroku zbytecne vic kecu, remcani a vymluv, nez by bylo zdravo, a ta konvergence by mohla byt rychlejsi (alespon z meho pohledu).

Wikipedia: ML (programming language)
18.8.2014 23:07 xxar3s
Rozbalit Rozbalit vše Re: Python konverguje k ML
Este doplnim kolegu ze ML je aj rodina jazykov, ktore maju povod v ML.

Najrozsirenejsi ML jazyk je F# (podla tiobe).

Ps. Nechapem aky zmysel ma prerobit python na ML a nepouzit radsej priamo niektory ML jazyk.
25.8.2014 11:25 JS1 | skóre: 2 | blog: intuition_pump
Rozbalit Rozbalit vše Re: Python konverguje k ML
Mozna trochu pozde, ale tady je zajimavy blogpost k tematu (a diskuse na HN).

TLDR: Semantika typu v Pythonu je dost nejasna a je otazka, jestli to neni vlastne vyhoda. :-)
Lidstvo má již jen 11 let, aby odvrátilo nejhorší důsledky klimatické katastrofy. Podpořte hnutí Limity jsme my!
27.8.2014 20:46 Radek Miček | skóre: 23 | blog: radekm_blog
Rozbalit Rozbalit vše Re: Python konverguje k ML
V tom, že by se podivná chování měla opravit souhlasím s autorem blogu. Ale na rozdíl od něj si myslím, že tato podivná chování nepředstavují překážku pro zavedení statického typového systému. Například volání __repr__ nebo cmp může statický typový systém povolit pro každé objekty a chování při spuštění programu může zůstat stejné.

Jeden z diskutujících, ivoras, psal:
By adding static types, the focus of the language would move to a different niche, which would probably be already occupied by some competitor language(s) which do(es) types much better.
Myslím, že je stále dost volného prostoru – například kombinování více typových systémů v jednom programu/jazyce.

Založit nové vláknoNahoru

ISSN 1214-1267   www.czech-server.cz
© 1999-2015 Nitemedia s. r. o. Všechna práva vyhrazena.