Drew DeVolt har presenterat programmeringsspråket Hare

Drew DeVault, författaren bakom användarmiljön Sway, e-postklienten Aerc och plattformen för gemensam utveckling SourceHut, har presenterat programmeringsspråket Hare, som han och hans team har arbetat med under de senaste två och ett halvt åren. Hare marknadsförs som ett systemprogrammeringsspråk som liknar C, men är enklare än C. Bland de nyckelprinciper som ligger till grund för designen av Hare är fokus på förenkling och fullt förtroende för programmerarens handlingar (att utföra exakt det som anges, utan självgående och implicit beteende), tillsammans med stödverktyg för att identifiera vanliga fel och problem.

Källkoden till kompilatorn och verktygssatsen distribueras under licensen GPLv3, medan koden för standardbiblioteket omfattas av MPL (Mozilla Public License). I den första offentliga utgåvan anges stöd för operativsystemen Linux och FreeBSD på plattformarna x86_64, aarch64 och riscv64, samt autonom användning för att köra direkt på hårdvara utan operativsystem. Planerna nämner stöd för operativsystemen NetBSD, OpenBSD, Illumos, Haiku och Plan 9 samt plattformarna ppc64le, i686 och arm32.

Språket använder manuell minneshantering och ett statiskt typ-system där varje variabel explicit måste tilldelas en viss typ. För att köra applikationen kopplas en minimal runtime. Språket är optimerat för att lösa låg-nivå uppgifter, såsom utveckling av operativsystem, kompilatorer, nätverksapplikationer och systemverktyg, för vilka maximal prestanda och full kontroll över exekveringen krävs.

För utvecklare har en standardbibliotek av funktioner förberetts, vilket ger tillgång till grundläggande gränssnitt i operativsystemet, standardalgoritmer och implementationer av protokoll och format. Biblioteket täcker områden som in-/utdata, filhantering, reguljära uttryck, kryptering, nätverksinteraktion, tids- och datumoperationer, tillgång till typiska Unix-primitiv (t.ex. poll, fnmatch och glob), parsing och typkontroll. Separata bindningar tillhandahålls för att få tillgång till funktioner i OpenGL, SDL2 och libui.

Exempel på projekt skrivna i Hare-språket inkluderar mikro-kärnan Helios, lösenordshanteraren Himitsu, raytracing-systemet, krypteringsprogrammet box, bittorrent-demonen btqd, schemaläggaren (motsvarighet till cron-systemet), toothbrush (klient och för protokollet finger). server Framöver nämns stabilisering av språkets specifikation och standardbibliotekets innehåll, implementering av stöd för saknade plattformar och arkitekturer, samt tillägg av bibliotekfunktioner för att stödja TLS 1.2 och 1.3.

Exempel på kod i Hare-språket: use crypto::sha256; use encoding::hex; use fmt; use hash; use io; use os; export fn main() void = { const hash = sha256::sha256(); const file = os::open(«main.ha»)!; defer io::close(file); io::copy(&hash, file)!; let sum: [sha256::SIZE]u8 = [0…]; hash::sum(&hash, sum); hex::encode(os::stdout, sum)!; fmt::println()!; const greetings = [ «Hello, world!», «¡Hola Mundo!», «Γειά σου Κόσμε!», «Привет, мир!», «こんにちは世界！», ]; for (let i = 0z; i < len(greetings); i += 1) { fmt::println(greetings[i])!; }; let x: *int = alloc(42); fmt::printfln(« x: {}», x)!; fmt::printfln(«*x: {}», *x)!; free(x); const file = os::open(os::args[1])!; defer io::close(file)!; let buffer: *[65535]u8 = alloc([0…]); defer free(buffer); const n = io::read(file, buffer)! as size; io::write(os::stdout, buffer[..n])!; }; fn sort(items: []int) void = { … }; @test fn sort() void = { let items = [5, 4, 3, 2, 1]; sort(items); for (let i = 1z; i < len(items); i += 1) { assert(items[i — 1] <= items[i], «list is unsorted»); }; };

Källa: opennet.ru