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í
×
    včera 14:00 | Zajímavý článek

    Byl publikován aktuální přehled vývoje renderovacího jádra webového prohlížeče Servo (Wikipedie).

    Ladislav Hagara | Komentářů: 0
    včera 12:00 | Nová verze

    V programovacím jazyce Go naprogramovaná webová aplikace pro spolupráci na zdrojových kódech pomocí gitu Forgejo byla vydána ve verzi 12.0 (Mastodon). Forgejo je fork Gitei.

    Ladislav Hagara | Komentářů: 0
    17.7. 18:44 | Zajímavý článek

    Nová čísla časopisů od nakladatelství Raspberry Pi zdarma ke čtení: Raspberry Pi Official Magazine 155 (pdf) a Hello World 27 (pdf).

    Ladislav Hagara | Komentářů: 1
    17.7. 16:11 | Nová verze

    Hyprland, tj. kompozitor pro Wayland zaměřený na dláždění okny a zároveň grafické efekty, byl vydán ve verzi 0.50.0. Podrobný přehled novinek na GitHubu.

    Ladislav Hagara | Komentářů: 2
    17.7. 15:55 | Komunita

    Patrick Volkerding oznámil před dvaatřiceti lety vydání Slackware Linuxu 1.00. Slackware Linux byl tenkrát k dispozici na 3,5 palcových disketách. Základní systém byl na 13 disketách. Kdo chtěl grafiku, potřeboval dalších 11 disket. Slackware Linux 1.00 byl postaven na Linuxu .99pl11 Alpha, libc 4.4.1, g++ 2.4.5 a XFree86 1.3.

    Ladislav Hagara | Komentářů: 5
    16.7. 21:22 | IT novinky

    Ministerstvo pro místní rozvoj (MMR) jako první orgán státní správy v Česku spustilo takzvaný „bug bounty“ program pro odhalování bezpečnostních rizik a zranitelných míst ve svých informačních systémech. Za nalezení kritické zranitelnosti nabízí veřejnosti odměnu 1000 eur, v případě vysoké závažnosti je to 500 eur. Program se inspiruje přístupy běžnými v komerčním sektoru nebo ve veřejné sféře v zahraničí.

    Ladislav Hagara | Komentářů: 19
    16.7. 16:22 | IT novinky

    Vláda dne 16. července 2025 schválila návrh nového jednotného vizuálního stylu státní správy. Vytvořilo jej na základě veřejné soutěže studio Najbrt. Náklady na přípravu návrhu a metodiky činily tři miliony korun. Modernizovaný dvouocasý lev vychází z malého státního znaku. Vizuální styl doprovází originální písmo Czechia Sans.

    Ladislav Hagara | Komentářů: 26
    16.7. 15:33 | Upozornění

    Vyhledávač DuckDuckGo je podle webu DownDetector od 2:15 SELČ nedostupný. Opět fungovat začal na několik minut zhruba v 15:15. Další služby nesouvisející přímo s vyhledáváním, jako mapyAI asistent jsou dostupné. Pro některé dotazy během výpadku stále funguje zobrazování například textu z Wikipedie.

    bindiff | Komentářů: 8
    16.7. 13:33 | Bezpečnostní upozornění

    Více než 600 aplikací postavených na PHP frameworku Laravel je zranitelných vůči vzdálenému spuštění libovolného kódu. Útočníci mohou zneužít veřejně uniklé konfigurační klíče APP_KEY (např. z GitHubu). Z více než 260 000 APP_KEY získaných z GitHubu bylo ověřeno, že přes 600 aplikací je zranitelných. Zhruba 63 % úniků pochází z .env souborů, které často obsahují i další citlivé údaje (např. přístupové údaje k databázím nebo cloudovým službám).

    Ladislav Hagara | Komentářů: 5
    16.7. 00:11 | Nová verze

    Open source modální textový editor Helix, inspirovaný editory Vim, Neovim či Kakoune, byl vydán ve verzi 25.07. Přehled novinek se záznamy terminálových sezení v asciinema v oznámení na webu. Detailně v CHANGELOGu na GitHubu.

    Ladislav Hagara | Komentářů: 0
    Jaký je váš oblíbený skriptovací jazyk?
     (59%)
     (27%)
     (7%)
     (3%)
     (0%)
     (1%)
     (4%)
    Celkem 410 hlasů
     Komentářů: 16, poslední 8.6. 21:05
    Rozcestník

    Dotaz: Vlastný programovací jazyk - tail rekurzia

    hermes avatar 7.7.2019 06:16 hermes | skóre: 6 | blog: Elektro | BA
    Vlastný programovací jazyk - tail rekurzia
    Přečteno: 643×
    Robím si vlastný programovancí jazyk kompilovateľný do JS. Lexer som si napísal sám za pomoci pattern matchingu a rekurzie. Parser za pomoci nástroja FsYacc

    Je to primárne funkcionálny jazyk, takže sa snažím aby sa dalo všetko vyhodnotiť ako výraz. Jazyk zatiaľ obsahuje len jeden jediný príkaz a to je "let" inak je všetko výraz.

    Mám už hotové vetvenie, curried funkcie, impicitné vracanie hodnoty, funckionálne operátory ako forward a backward pipe ale aj forward a backward composition, štruktúry, zoznamy, pattern matching.

    No a teraz chcem do jazyka pridať opakovanie kódu. Ale keďže cyklus je príkaz chcem ho nahradiť čistejšie pomocou rekurzie (cykly v mojom jazyku asi nakoniec vôbec nebudú, nemajú tam zmysel), lenže ak chcem aby bola rekurzia použiteľná aj pre vačší počet iterácií musím vedieť na úrovni AST detekovať tail call a ten optimalizovať (na cyklus) (rovnako potom optimalizovať aj Call/CC). Ako na to?

    Trošku sa toho bojím ale aspoň sa niečo nové naučím. Viete mi poslať nejaký článok prípadne hotový zdroják na githube pre inšpiráciu?

    Viem že by som mohol vygenerovať JS kód pre babel a na to použiť nejaký plugin napr.: https://github.com/krzkaczor/babel-plugin-tailcall-optimization ale nechcem byť závislý na cudzích riešeniach - postavených na JS (chcem ten jazyk okrem JS neskôr targetovať aj na LLVM takže tail call optimalizácie musia byť priamo súčasťou môjho compilera).

    Odpovědi

    7.7.2019 12:11 debian+
    Rozbalit Rozbalit vše Re: Vlastný programovací jazyk - tail rekurzia
    7.7.2019 21:38 debian+
    Rozbalit Rozbalit vše Re: Vlastný programovací jazyk - tail rekurzia
    Toto som nepisal ja, ale nejaky menovec, ktora sa schovava za mna.
    7.7.2019 22:22 debian+
    Rozbalit Rozbalit vše Re: Vlastný programovací jazyk - tail rekurzia
    Robis novy HASKEL - cisto fukcionalny jazyk? Nemyslim GNU Haskel, v nom sa implementacne ku cisto fukcionalnemu HASKEL pridali aj proceduralne veci.

    Tu mas priklad ako funkcia definovana viacerymi prikazmi, implementuje opakovanie. Ukazka (ber to ako pseudo-kod):
    zobrazi_vykricnik = putchar('!')
    
    vypis_znak n funkcia = vypis_znak (n-1) funkcia
    vypis_znak 1 funkcia = funkcia
    
    # pouzitie
    vypis_znak 3 zobrazi_vykricnik
    A citacia teba:
    (cykly v mojom jazyku asi nakoniec vôbec nebudú, nemajú tam zmysel)
    Preco riesis nieco, co mozno zrejme potrebovat nebudes? To nepridavaj. Ked vydas alpha/beta, tak pockaj na reakcie ludi a uvidis. Aj na odborne reakcie. Ale nechaj si rezervu v navrhu, ked by si to mal pridat. A neminaj energiu, ked to mozno nebude potrebne.

    k prvemu komentu: Ja som nasiel toto: https://en.wikipedia.org/wiki/Call-with-current-continuation
    hermes avatar 8.7.2019 11:39 hermes | skóre: 6 | blog: Elektro | BA
    Rozbalit Rozbalit vše Re: Vlastný programovací jazyk - tail rekurzia

    Nebude to pure funkcionálny jazyk, ale preferujem jednoduchosť a ak mám tail rekurziu načo sú mi ďalšie zbytočné konštrukcie? Rekurzia mi príde jednoduchšia na pochopenie a je menej náchylná na chyby.

    Multiple dispatch ala haskell tam zatiaľ nemám, ale plánujem ho tam tiež pridať, ale najprv musím vyriešiť najpodstatnejšiu vec a tou je TCO lebo bez nej sa ďalej nepohnem.
    7.7.2019 22:29 Radovan
    Rozbalit Rozbalit vše Re: Vlastný programovací jazyk - tail rekurzia
    Je to "tail-call", takže ti stačí zjistit jestli je to poslední příkaz funkce. Prostě to nejde použít jako cyklus někde v kódu, ale jenom pro celou funkci.

    Když jsem si kdysi hrál s Karlem 85 pro ZX Spectrum, tak ten to jakýmsi způsobem umí také, nepodařilo se mi tam zaplnit zásobník ani po několikahodinovém vnořování.
    hermes avatar 8.7.2019 11:12 hermes | skóre: 6 | blog: Elektro | BA
    Rozbalit Rozbalit vše Re: Vlastný programovací jazyk - tail rekurzia

    Neni to až také jednoduché, skúsim to priblížiť. V mojom jazyku sa takáto funkcia (reprezentujúca cyklus):

    let loop = func i max -> (
        log ("Iteration: " + i)
        if i = max then ()
        else loop (i + 1) max
    )
    
    loop 0 5
    

    skompiluje na takéto AST: AST obrázok

    a z neho potom vygenerujem takýto JS kód:

    (() => {
        const loop = i => max => {
            console.log(`Iteration: ` + i);
            return (
                i === max
                    ? undefined
                    : loop(i + 1)(max)
            );
        };
        return loop(0)(5);
    })()
    
    takže medzi returnom a rekurzívnym volaním sa nachádza ešte vetvenie, ako teda detekujem koncové volanie keď rekurzívne volanie neni úplne na konci? Skúšal som aj on the fly TCO optimalizáciu cez takúto trampoline funkciu:
    function tco(f) {
        var value, active = false, accumulated = []
        return function accumulator() {
            accumulated.push(arguments)
            if (!active) {
                active = true
                while (accumulated.length) value = f.apply(this, accumulated.shift())
                active = false
                return value
            }
        }
    }
    ale tá bohužiaľ nefunguje s curried funkciami (funkcia poskladaná viacerých funkcií - čo argument to vnorená funkcia), ale ajtak riešenie až v run-time sa mi nepáči Takže ešte sa vrártim k pôvodným otázkam: 1. ako detekujem ten tail call. 2. ako ho nahradím Hľadám najjednoduchšie riešenie. Vôbec by mi nevadilo keby sa o TCO postaral nástroj tretej strany. Uvažujem nad tým že prepíšem generátor a nebudem generovať priamo js kód, ale to prevediem do LLVM IL a až LLC sa postará o optimalizáciu (LLVM to podporuje) a (z LLVM sa dá vraj generovať aj JS kód) otázka je ako si LLVM poradí s tými curried funkciami a či dokáže optimalizovať aj tie.
    8.7.2019 21:46 Radovan
    Rozbalit Rozbalit vše Re: Vlastný programovací jazyk - tail rekurzia
    Pokud rekurze není na konci, tak to není koncové volání a prostě to nedetekuješ. Ale můžeš použít goto.
    9.7.2019 18:13 debian+
    Rozbalit Rozbalit vše Re: Vlastný programovací jazyk - tail rekurzia
    Nemas pravdu. Na anglickej wikipedia su napisane podmienky, kedy sa jedna o tail funkciu.
    hermes avatar 14.7.2019 08:37 hermes | skóre: 6 | blog: Elektro | BA
    Rozbalit Rozbalit vše Re: Vlastný programovací jazyk - tail rekurzia

    Tak som to nakoniec vyriešil veľmi Šalamúnsky, keď pojde jazyk na github tak uvidíte ako. Prepísal som včera celý generátor už sa negeneruje priamo javascript, ale iný medzikód (zatiaľ chcem držať v tajnosti aký) a z toho medzikódu budem vedieť generovať jak natívne binárky (pre X86, X64 aj ARM; Linux, Windows, Mac OS), tak aj JS a WebAssembly a dokonca .NET CIL, LLVM IR, HLVM.

    Takže tým že som vyriešil tail rekurziu som prakticky zadarmo pre môj jazyk získal multiplatformovosť a kopu ďaších nových vlastností.

    Bystroushaak avatar 15.7.2019 11:41 Bystroushaak | skóre: 36 | blog: Bystroushaakův blog | Praha
    Rozbalit Rozbalit vše Re: Vlastný programovací jazyk - tail rekurzia
    A nechceš o tom napsat blog?
    15.7.2019 11:57 Xerces
    Rozbalit Rozbalit vše Re: Vlastný programovací jazyk - tail rekurzia
    Takže jako v životě. Teprve když to má ocas, tak to za něco stojí. :-)

    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.