V aktuálním příspěvku na blogu počítačové hry Factorio (Wikipedie) se vývojář s přezývkou raiguard rozepsal o podpoře Linuxu. Rozebírá problémy a výzvy jako přechod linuxových distribucí z X11 na Wayland, dekorace oken na straně klienta a GNOME, změna velikosti okna ve správci oken Sway, …
Rakudo (Wikipedie), tj. překladač programovacího jazyka Raku (Wikipedie), byl vydán ve verzi #171 (2024.04). Programovací jazyk Raku byl dříve znám pod názvem Perl 6.
Společnost Epic Games vydala verzi 5.4 svého proprietárního multiplatformního herního enginu Unreal Engine (Wikipedie). Podrobný přehled novinek v poznámkách k vydání.
Byl vydán Nextcloud Hub 8. Představení novinek tohoto open source cloudového řešení také na YouTube. Vypíchnout lze Nextcloud AI Assistant 2.0.
Vyšlo Pharo 12.0, programovací jazyk a vývojové prostředí s řadou pokročilých vlastností. Krom tradiční nadílky oprav přináší nový systém správy ladících bodů, nový způsob definice tříd, prostor pro objekty, které nemusí procházet GC a mnoho dalšího.
Microsoft zveřejnil na GitHubu zdrojové kódy MS-DOSu 4.0 pod licencí MIT. Ve stejném repozitáři se nacházejí i před lety zveřejněné zdrojové k kódy MS-DOSu 1.25 a 2.0.
Canonical vydal (email, blog, YouTube) Ubuntu 24.04 LTS Noble Numbat. Přehled novinek v poznámkách k vydání a také příspěvcích na blogu: novinky v desktopu a novinky v bezpečnosti. Vydány byly také oficiální deriváty Edubuntu, Kubuntu, Lubuntu, Ubuntu Budgie, Ubuntu Cinnamon, Ubuntu Kylin, Ubuntu MATE, Ubuntu Studio, Ubuntu Unity a Xubuntu. Jedná se o 10. LTS verzi.
Na YouTube je k dispozici videozáznam z včerejšího Czech Open Source Policy Forum 2024.
Fossil (Wikipedie) byl vydán ve verzi 2.24. Jedná se o distribuovaný systém správy verzí propojený se správou chyb, wiki stránek a blogů s integrovaným webovým rozhraním. Vše běží z jednoho jediného spustitelného souboru a uloženo je v SQLite databázi.
Byla vydána nová stabilní verze 6.7 webového prohlížeče Vivaldi (Wikipedie). Postavena je na Chromiu 124. Přehled novinek i s náhledy v příspěvku na blogu. Vypíchnout lze Spořič paměti (Memory Saver) automaticky hibernující karty, které nebyly nějakou dobu používány nebo vylepšené Odběry (Feed Reader).
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?