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 13:22 | IT novinky

Samsung oznámil, že program Linux on DeX končí. Android 10 už nebude podporován. Linux on DeX umožňuje spouštět linuxový desktop a aplikace z vybraných telefonů od Samsungu připojených pomocí Samsung DeX.

Ladislav Hagara | Komentářů: 3
dnes 12:00 | Komunita

Ubuntu slaví 15 let od vydání první verze. Přesně před patnácti lety, 20. října 2004, byla vydána první verze 4.10 s kódovým názvem Warty Warthog.

Ladislav Hagara | Komentářů: 0
včera 20:20 | Pozvánky

Ve středu 23. října 2019 se od 16.00 koná akce na téma Oracle Labs - Live for the Code. Představí projekty Oracle Labs, na kterých se pracuje i v České republice: Oracle Labs Data Studio a GraalVM. Místo konání: budova Oracle v Praze–Jinonicích. Vstup po registraci zdarma. Občerstvení zajištěno.

Ladislav Dobiáš | Komentářů: 0
18.10. 09:44 | Upozornění

Byly zveřejněny videozáznamy přednášek z konference LinuxDays 2019, která proběhla 5. a 6. října v Praze. Odkazy na videa společně s prezentacemi naleznete v programu, případně můžete jít rovnou na stránku video. Záznamy pořizovalo Audiovizuální centrum SiliconHill.

Petr Krčmář | Komentářů: 18
17.10. 18:55 | Nová verze

Bylo vydáno OpenBSD 6.6. Opět bez oficiální písně. Z novinek lze zmínit například sysupgrade(8).

Ladislav Hagara | Komentářů: 5
17.10. 08:36 | Nová verze

Vyšla nová verze monitorovacího řešení Centreon 19.10.0. Novinek je spousta (realtime API, podpora JIRA, vylepšený systém notifikací...), ale těmi nejdůležitějšími je pro mnohé uživatele podpora nové verze rrdtool 1.7.x a php 7.2. Systém tak půjde bez problémů provozovat na jiných distribucích než CentOS 7. Kompletní přehled novinek v seznamu změn. Předpřipravená appliance i samotné části jsou k dispozici na oficiálních stránkách.

Max | Komentářů: 0
17.10. 01:00 | Komunita

Dnes vyjde Ubuntu 19.10 s kódovým názvem Eoan Ermine. Přehled novinek v poznámkách k vydání. Ubuntu 20.04 LTS bude Focal Fossa.

Ladislav Hagara | Komentářů: 14
16.10. 22:11 | Zajímavý projekt

Padesátiny Unixu lze oslavit také hrou The Unix Game aneb na unixové roury pomocí Scratche.

Ladislav Hagara | Komentářů: 2
16.10. 21:44 | Komunita

Vývojáři svobodného 3D softwaru Blender oznámili, že nejnovějším firemním sponzorem Blenderu je společnost Adidas. Jedná se o úroveň Corporate Silver, tj. 12 tisíc eur ročně.

Ladislav Hagara | Komentářů: 36
16.10. 18:22 | Komunita

V září proběhla každoroční konference Akademy komunity KDE. Nyní jsou záznamy přednášek dostupné online. Témata se dotýkají aplikací a knihoven KDE, jejich adaptaci pro různá speciální použití (vestavěná zařízení či rozšířená realita) i obecně vývoje a distribuce softwaru.

Fluttershy, yay! | Komentářů: 0
Kdy jste naposledy viděli počítač s připojeným běžícím CRT monitorem?
 (20%)
 (4%)
 (11%)
 (39%)
 (24%)
 (2%)
Celkem 433 hlasů
 Komentářů: 22, poslední 23.9. 08:36
Rozcestník

www.AutoDoc.Cz

Dotaz: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov

18.8. 21:05 hermes | blog: ASDFGH
Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Přečteno: 336×
Robim si staticko dynamicky programovaci jazyk. Uz to generuje funkcny kod.

ale chcel by som tam teraz doplnit odvodzovanie typov na styl Ocaml teda Hindley-Milner typovy system:
#takto sa typ odvodzuje lahko:

let foo = 5 # odvodi foo : int
let bar = "Abc" # odvodi bar : string

# ale co toto:

# baz by mala mat typ: int -> int
let baz = func a -> a + 2
let qux = func a -> a + a 

# zavolame funkciu s ciselnym parametrom
qux 2

# zavolame funkciu zo stringovym parametrom
qux "Hahaha"
Pri tom poslednom priklade je uz otazka, ci by ta funkcia nemala byt polymorficka, alebo ci sa ma inferovat podla prvej pouzitej hodnoty a pri druhej vyhodit chybu.

Viete mi v skratke vysvetlit, alebo odkazat ma na priklad, clanok, ci rovno hotovu kniznicu ako ten Hindley-Milner typovy system funguje?

Samozrejme je mi jasne ze v urcitych situaciach automaticke odvodzovanie typov fungovat nebude a vtedy compiler vyhodi chybu a editor "vyzve" programatora, aby tam vlozil typovu anotaciu.

Taktiez tam bude kedyword auto, ktorym sa vytvori nova premenna typu dynamic ktora bude moct obsahovat data hociakeho typu. Ale to sem nechcem teraz do toho pliest.
auto x = 12 
# premenna typu dynamic

Odpovědi

18.8. 22:17 debian+
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
18.8. 22:19 debian+
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
19.8. 11:32 hermes | blog: ASDFGH
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Vecer precitam.

Ale nasiel som si velmi nazorny a jednoduchy demonstracny priklad. Teraz som v praci preluskam to vecer dik za odkazy.
19.8. 19:43 debian+
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Nechces sa podelit.
20.8. 11:54 hermes | blog: ASDFGH
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Jaj jasné. Tu je
19.8. 02:36 Sten
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Přijde mi to jako generické lambdy v C++. Tam je to implementované pomocí šablon.
19.8. 15:57 debian+
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Inac, Tvoj jazyk kompilovaci alebo intepretacny?
20.8. 12:09 hermes | blog: ASDFGH
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Kompilovaný kompiluje sa do vyššieho programovacieho jazyka (do akého zatiaľ nenapíšem) a z neho do LLVM -> a natívneho kódu alebo aj JS (cez Emscripten) . Nechcem zatiaľ písať podrobnosti kým to nebude v takej fáze, že budem môcť dať von nejakú funkčnú verizu. A mať hotový aj web s podrobným manuálom a blog s nejakým tutorálom a pluginy do najpoužívanejších editorov (Zatiaľ mám plugin len pre VSCode)

Už to generuje funkčný kód, ale stále to má ďaleko od dokončenia. A kôli typom sa to asi posunie minimálne o mesiac.
20.8. 12:43 debian+
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
To si si mal premysliet na zaciatku, aku chces silno typovy jazyk. Tak to riesis teraz za behu.
20.8. 18:06 hermes | blog: ASDFGH
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Máš pravdu že by bolo lepšie keby som mal hneď od začiatku jasnú predstavu čo od jazyka chcem. A podľa toho napísal zadanie a bod po bode podľa neho napísal aplikáciu.

Ale vlastne som to zo začiatku ani sám nevedel. Mal som pár nápadov a hmlisté predstavy ako ich zrealizovať. Ale presnú predstavu o typovom systéme som zo začiatku nemal, len som vedel že typová kontrola bude primárne statická, no zároveň chcem (hlavne kôli OOP pridať aj typ dynamic. V dnešnej dobe sa hodí oboje...

Lebo keď si pozrieš vačšie projekty tak často sa skladajú z časti napísanej v staticky typovanom jazyku ako C++ a potom to zlepia nejakým dynamickým jazykom ako LUA alebo Python.
21.8. 17:25 Miloslav Ponkrác
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
O typovém systému je opravdu potřeba rozhodnout na začátku.

Statický typový systém vede k jiným řešení. Dynamiku nad typy pak přidávají přetěžováním podprogramů a generickým programováním. Side effect statického typování je efektivita dat - není třeba k hodnotě přidávat typ, ani ho runtimově řešit.

Dynamický typový systém na to jde opačně. Primárně ke každé hodnotě přiletí runtimově i typ. Když chce dynamický typový systém napodobit statické typování - jednoduše přidá constraint na datový typ k proměnné, parametrům funkcí, apod.

Musíte se rozhodnout. Vše má svá pro a proti.

Měl byste vědět, jakou filozofii jazyka požadujete, a k čemu ten váš programovací jazyk má sloužit. Podle toho odvodíte i ostatní.
20.8. 18:11 hermes | blog: ASDFGH
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Zadanie resp todo list si robím pred každou vačšiou časťou toho jazyka a potom doňho pridávam ďaľšie nápady ako to vylepšiť, niečo naopak škrtnem, alebo občas niečo prepíšem a nad všetkým silno premýšlam, aby z toho vznikol jeden konzistentný celok a aby som priniesol aj nejaké nové nápady.
20.8. 19:29 Kit | skóre: 43 | Brno
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Je dobré mít těch jazykových konstruktů co nejméně, aby ten jazyk nebyl moc složitý. Také co nejvíc funkcionalit vytlačit do knihoven a v jádře ponechat jen nezbytné minimum.
Komentáře označují místa, kde programátor udělal chybu nebo něco nedodělal.
21.8. 17:27 Miloslav Ponkrác
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Jazyk klidně může být složitý, když to vyžaduje jeho účel. Knihovny nemohou řešit vše, jen tak mimochodem.

Napsat oholený a blbý jazyk nemusí být vždy cílem.
23.8. 14:15 Kit | skóre: 43 | Brno
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Nevidím rozpor. Snad jen v tom, že jazyk by určitě neměl být složitý, což historie potvrzuje.
Komentáře označují místa, kde programátor udělal chybu nebo něco nedodělal.
23.8. 17:54 Miloslav Ponkrác
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Ani já nevidím rozpor. Jednoduchost/složitost by neměla být cílem.

Funkcionální jazyky obvykle bývají směšně jednoduché.
20.8. 19:20 Kit | skóre: 43 | Brno
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Vodopádový model se moc neosvědčil. Agilní přístup je pro takové projekty výhodnější. Na slepé uličky se prostě narazí dříve.
Komentáře označují místa, kde programátor udělal chybu nebo něco nedodělal.
21.8. 17:20 Miloslav Ponkrác
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Agilní přístup je na houby, pokud potřebujete věci promyslet. Z agilního přístupu nikdy nevznikle ani dobrý programovací jazyk ani dobrá knihovna ani dobrý operační systém.

Agilní přístup plodí jen nalepováky na nalepováky.
22.8. 04:48 Kit | skóre: 43 | Brno
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
A vodopádový přístup se v dnešní době dá použít snad jen v korporacích, ale i tam je zoufale neefektivní.
Komentáře označují místa, kde programátor udělal chybu nebo něco nedodělal.
23.8. 13:48 Miloslav Ponkrác
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Jedno je nad slunce jasné: Použít jakoukoli agilní metodiku při návrhu nového programovacího jazyka, navíc v jedné osobě - je ptákovina na kvadrát.

Návrh programovacího jazyky potřebuje především dokonale promyšlené základy a vlastnosti jazyka - což je v kontadiktu a opozici k jakékoli agilní metodice.
23.8. 14:20 Kit | skóre: 43 | Brno
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
V žádném případě to není ptákovinou. Napsal jsem už několik jazyků tímto způsobem, které dodnes plní svůj účel.
Komentáře označují místa, kde programátor udělal chybu nebo něco nedodělal.
23.8. 16:55 Miloslav Ponkrác
Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
Je to ptákovina, pokud chcete napsat DOBRÝ a PROMYŠLENÝ jazyk.

Založit nové vláknoNahoru

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

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