Byla vydána nová verze 2.53.18.2 svobodného multiplatformního balíku internetových aplikací SeaMonkey (Wikipedie). Přehled novinek v poznámkách k vydání.
Na blogu programovacího jazyka Swift byl publikován příspěvek Psaní aplikací pro GNOME v programovacím jazyce Swift. Používá se Adwaita pro Swift.
egui je GUI knihovna pro programovací jazyk Rust běžící na webu i nativně. Vydána byla verze 0.27.0.
Byla vydána nová verze 6.1 živé linuxové distribuce Tails (The Amnesic Incognito Live System), jež klade důraz na ochranu soukromí uživatelů a anonymitu. Přehled změn v příslušném seznamu. Tor Browser byl povýšen na verzi 13.0.13. Thunderbird na verzi 115.9.0.
Linka STOPonline.cz v roce 2023 přijala 3700 hlášení závadného obsahu na internetu, 22 bylo předáno PČR, 23 bylo předáno ISP a 944 závadových domén zobrazujících dětskou nahotu či pornografii bylo nahráno do mezinárodního systému ICCAM, který je spravován asociací INHOPE.
Byla publikována podrobná analýza v upstreamu již opravené bezpečnostní chyby CVE-2024-1086 v Linuxu v nf_tables.
Byla vydána nová verze 4.1 svobodného 3D softwaru Blender. Přehled novinek i s náhledy a videi v obsáhlých poznámkách k vydání.
Úkolníček Taskwarrior (Wikipedie) pro správu úkolů z příkazového řádku byl vydán ve verzi 3.0.0.
Společnost Canva stojící za stejnojmenným webovým grafickým editorem koupila společnost Serif stojící za grafickým editorem Affinity.
Byla vydána betaverze Fedora Linuxu 40, tj. poslední zastávka před vydáním finální verze, která je naplánována na úterý 16. dubna. Z novinek (ChangeSet) lze vypíchnout podporu frameworku pro strojové učení PyTorch. Fedora KDE Plasma Desktop přichází s Plasmou 6 a běží nad Waylandem. Fedora Workstation přichází s GNOME 46.
Zdrojový kód kompilátoru jazyka F# 2.0 i s knihovnou byl uvolněn pod licencí Apache 2.0.
Tiskni Sdílej:
Note: This page does not list esoteric programming languages.
je to v nějaké oblasti trochu víc rozšířeno?
V jazycích z rodiny ML bylo napsáno mnoho dokazovačů (ostatně jazyk ML vznikl kvůli dokazovači LCF – od toho název metalanguage). Například interaktivní dokazovač Coq je napsán v OCamlu.
V dnešní době lze v OCamlu programovat v podstatě cokoliv od webových aplikací (Ocsigen, PGOcaml, ocamljs) až po aplikace obchodující na burze (viz Jane Street Capital).
Nedojde, bude následovat F#++, pak F$, F$++Po F# vyvinou G♭, ale zjistí, že vyvinuli úplně to stejné...
To je asi každému jasné. Veď čo iné by to mohlo byť? Shellový komentár v zmysle "po C potopa"? C-čkovský preprocesor?
Moja interpretácia F# je, že vzniklo zo C# (nie ako jazyk ale platforma, tj. .NET) a F znamená funkcionálny
F# preto, že dnes už má # aj ďalší význam: CLI jazyk. Viď jazyky A#, J#, L#, P# a možno aj nejaké ďalšie.
To je trochu moc zjednodušené, ale v zásade by sa to tak asi dalo povedať.
Keď môžu hudobnú notáciu používať matematici a fyzici (ako izomorfizmus TM a T*M pre Riemannovskú varietu M), tak prečo nie programátori?