Subj : [$] The Koka programming language
To   : All
From : LWN.net
Date : Tue Aug 19 2025 15:30:08

[$] The Koka programming language

Date:
Tue, 19 Aug 2025 14:25:00 +0000

Description:
Statically typed programming languages can help catch mismatches between the 
kinds of
values a program is intended to manipulate, and the values it actually 
manipulates.
While there have been many bytes spent on discussions of whether this is worth
the effort, some programming language designers believe that the type checking
in current languages
does not go far enough. Koka , an
experimental functional programming language, extends its type system
with an effect system that tracks the side-effects a program will have in the
course of producing a value.

======================================================================
Link to news story:
https://lwn.net/Articles/1033050/


--- Mystic BBS v1.12 A49 (Linux/64)
 * Origin: tqwNet UK HUB @ hub.uk.erb.pw (1337:1/100)

.