haskell, 28 days ago to haskell

The GHC developers are very pleased to announce the release of GHC 9.10.1! 🎉

On the menu:
→ GHC2024 language edition
→ Linear let and where
bindings
→ Annotation of exceptions with backtraces
→ Required type arguments for functions
→ Javascript FFI support in the WebAssembly backend
… and many more!

https://discourse.haskell.org/t/ghc-9-10-1-is-now-available/9523

#Haskell #FunctionalProgramming #LinearTypes #DependentTypes

janriemer, 5 months ago to rust

The #Austral Programming Language

https://austral-lang.org/

"Austral is a new systems #ProgrammingLanguage. You can think of it as #Rust: The Good Parts or a modernized, stripped-down #Ada. It features a strong #StaticTypeSystem, #LinearTypes, capability-based security, and strong modularity."

Introducing Austral: A Systems Language with Linear Types and Capabilities:

https://borretti.me/article/introducing-austral

Looks like my prediction of future programming langs hold true:
https://floss.social/@janriemer/109727164361812679

chemoelectric, 1 year ago to random

This is the ‘Read a PPM file’ #RosettaCode task done in #ATS, giving you a program for converting color images to grayscale:

https://rosettacode.org/wiki/Bitmap/Read_a_PPM_file#ATS

One might notice a couple of things. In the current version of all these codes, (a) you do not need a garbage collector, because it’s using linear types, and (b) you do not need the math library and I do not use floating point.

(I temporarily had floating point while I was confounded to find what I was doing wrong with integers.)

chemoelectric, 1 year ago to random

The same #DifferentialEquations program as before, but this time in #OtusLisp or #Scheme:

Euler method - Rosetta Code https://rosettacode.org/wiki/Euler_method#Ol

#FunctionalProgramming #Lisp