Vortex - update 01/09/13 (diskuse)

[Kaja]

K rozšiřujícím patterns as a when přibyl ještě unless. Má opačný význam k when.

Fůůůůj :(

[omm]

proč?

[----]

nejspíš to, že "unless" se dá taky v podstatě zapsat jako "when not" .. nicméně je to jen syntaxe a "unless" je explicitnější, nehrozí, že by se zapomnělo na "not" a hned to bije do očí, co to dělá.

[Kaja]

Ještě by to chtělo zavést klíčová slova: as, as long as, because, being, considering, inasmuch as, now, since, whereas, but, except, except for, excepting that, if not, lest, saving a without, aby se náhodou na něco nezapomnělo.

-100

[omm]

no jo, je jich tam už tak dost, pravda :)

[----]

Klíčové slovo "as" vlastně existuje , je použito jako pattern: např. [ a, b ] as c. Toto je standardně přítomno i v OCaml/F#, ze kterého Vortex pattern matching v podstatě bere Většina těch, které jsi zmínil, nedávají smysl, takže..

zas tolik jich momentálně není - v podstatě and as break case cfn clone coro cycle do else enum false fn for glob goto if in let match module new nil not or quote rec redo result return seq true unless unquote when while with yield __FILE__ __LINE__ a bit operátory band bor bxor bnot asr bsr bsl, některá ještě nejsou využita (module - moduly, cfn - generátory, coro - korutiny) a další momentálně přidávat neplánuju.

[xkucf03]

Nevím, jestli jsem to někde nepřehlédl, ale co „funkce“ coalesce() z SQL? Má libovolný počet parametrů a vrací první nenulovou hodnotu. Není to tak úplně funkce/metoda a je potřeba ji řešit pomocí nestandardních prostředků (klíčové slovo, nebo něco, co jen vypadá jako funkce). Její výhoda je v tom, že po nalezení nenulové hodnoty se ty další výrazy už nemusí vyhodnocovat.

[----]

No nevím, ale myslím, že tady by stačil operátor or, např.

let x = a or b or c or d or e or f

vyhodnotí se a, pokud není nil, přiřadí se, dál už to nejde; pokud je nil, vyhodnotí se b, apod. nevýhodou je, že nefunguje na hodnotách false, to by se dalo možná udělat ještě jinak:

let x  = a unless a == nil else b unless b == nil else c unless c == nil else d .....

[xkucf03]

jj, to je ono Jen by mi přišlo přehlednější:

x = a || b || c …

Boolean by to chtělo objektový – proměnná pak může nabývat tří hodnot: true, false, null.

[----]

Každá proměnná může nabývat hodnoty nil; Vortex není typovaný jazyk, takže jakákoliv proměnná může mít jakoukoliv hodnotu.

[----]

ještě co se týče ||; nejsem moc velký fanda používání && a || pro AND/OR editor ti dá vysvícení syntaxe a pak není s přehledností problém. Použití klíčových slov má výhodu v tom, že i člověk neznalý jazyka může hned vidět, co to znamená. Některé části kódu se pak čtou skoro jako angličtina, což je výhoda.

[xkucf03]

Podoba s přirozeným jazykem je často spíš zavádějící, při čtení programu stejně potřebuješ znát syntaxi a nelze si nic domýšlet, podle toho, co ti to připomíná v češtině/angličtině. Ostatně pro sčítání, odčítání, rovnost, přiřazení… se taky používají symboly. Stejně jako v matematice.

Kdyby se aspoň to AND/OR psalo velkýma, jako je to zvykem třeba v SQL… ale takhle malýma to vyloženě splývá. Přijde mi škoda se spoléhat na zvýrazňovač syntaxe, když se dá použít ||, které je nepřehlédnutelné i bez barev.

[xxx]

Použití klíčových slov má výhodu v tom, že i člověk neznalý jazyka může hned vidět, co to znamená. Některé části kódu se pak čtou skoro jako angličtina, což je výhoda.

Řekl Cobolista, a prezentoval jako výhodu Cobolu, to že chudák Fortranista musí luštit a = b + c, zatímco on má pěkné anglické ADD b,c GIVING A. Kupodivu později se i v tom Cobolu objevila možnost použít ono a=b+c.

Práce s ukecaným jazykem je utrpení. Problém je v tom, že někdo abstrahuje problém, řeší ho v nějaké vnitřní kondenzované formě, a místo aby pak tohle kondenzované řešení zapsal, tak napíše román, který sice připomíná angličtinu, ale dostat z něj jádro problému, je dost oser.

Aneb neopakujte historické chyby.

[----]

Problém je ten, že "ADD b, c GIVING A" je oproti "a = b + c" opravdu ukecané, ale použití "and" a "or" místo &&/|| není; dokonce je to rychlejší, protože na většině rozložení je třeba pro ||/&& stisknout altgr nebo shift, což s and/or není potřeba. Problém třeba v tom COBOLu byl ten, že tohle dovedl moc daleko. Je potřeba najít nějaký střed.

[Bedňa]

To mi tam chýba ešte debug pre logovanie chýb v produkčnom systéme.

[w4rr10r]

Ale implikace přímo v jazyku by byla fajn.

[Franta]

perl -ne 'print "chro chro\n" if /jsem prase/'

[Bystroushaak]

Wow, dost dobré, začíná se mi to líbit. Jinak co quasiquote? :)

[----]

No, quote už v podstatě má funkci quasiquote (obyčejný quote třeba ve Scheme nedovoluje unquote). Pro potřeby tohoto jazyka si myslím, že to není potřeba dělit. Hlavní funkce quote ve Vortexu je vytvořit základ pro makra - která také budou pracovat na bázi AST (tělo makra bude AST, a quote se použije k jeho vytvoření z obyčejného výrazu)

[w4rr10r]

Yay!

[Radek Miček]

Zajímavé. Osobně bych však místo zavádění nových řídících konstrukcí dal možnost uživateli jazyka nadefinovat si vlastní řídící konstrukce (například pomocí mixfixových operátorů, notací nebo maker).

[----]

Právě k tomu směřuju s quote a unquote - plánuju vytvořit systém maker podobný http://elixir-lang.org/getting_started/5.html, ale přizpůsobený jazyce. Nicméně ještě před makry chci napsat selfhostovaný kompilátor. Těch konstrukcí teď už moc nepřibude, a některé z existujících budou v novém kompilátoru vytvořeny pomocí maker

[xxxxxxxxxxx]

Pojď programit CAD!!!