My Ideal Array Language

https://www.ashermancinelli.com/csblog/2025-7-20-Ideal-Array-Language.html

37•bobajeff•2h ago

Comments

abcd_f•1h ago

> User-Extensible Rank Polymorphism

> IMO this is what makes something an array language.

Great to hear. So what is it?

preommr•56m ago

Not op, but I assume it means that there's rank polymorphism (i.e. data can be of arbitrary dimensions, and there's support for things like functions working on both N-dimensions, without having to specify n, or maybe setting constraints on n), and that the polymorphism can be used on the programmer side (so it's not limited to just a handful of language builtins) through the oop equivalent of subclasses and interfaces.

adregan•38m ago

The author of this post was the guest on the most recent episode of the podcast The Array Cast

https://www.arraycast.com/episodes/episode111-ideal-array-la...

teleforce•32m ago

Dlang does not has rank polymorphism and it handle array just fine with crazy speed in both compilation and execution.

It can be faster than Fortran based library that is still being used by Matlab, Rust and Julia [1].

It will be interesting to compare Mojo moblas BLAS library with GLAS library performance in D.

[1] Numeric age for D: Mir GLAS is faster than OpenBLAS and Eigen (2016):

http://blog.mir.dlang.io/glas/benchmark/openblas/2016/09/23/...

cdavid•20m ago

If I understand correctly what is meant by rank polymorphism, it is not just about speed, but about ergonomics.

Taking examples I am familiar w/, it is key that you can add a scalar 1 to a rank 2 array in numpy/matllab without having to explicitly create a rank 2 array of 1s, and numpy somehow generalizes that (broadcasting). I understand other array programming languages have more advanced/generic versions of broadcasting, but I am not super familiar w/ them

nromiun•4m ago

  ⊢×0≠∧˝˘∧⌜∧˝           # Marshall & Dzaima (tacit!)
  (≠⥊∧´)˘{×(⌾⍉∧)0≠} # Dzaima & Rampoina
  {×(∧˝˘∧≢⥊∧˝)0≠}     # Dzaima

Call me old fashioned and stuck in C style syntax but I can't imagine anyone describing this as beautiful art.

Show HN: Tiny logic and number games I built for my kids

Simulated Society of 10k AI Agents

Untangling the Jeff Bezos Web: Blue Origin and Amazon's Kuiper Satellite Program

New Oceanco Chapter – Gabe Newell

Show HN: A minimal Flask and Htmx and LangChain (with llama.cpp) interface

Show HN: Sweep – Cursor Tab Alternative for JetBrains IDEs

One Step Closer to Solving a Century-Old Crustacean Mystery

Scientists just recreated the Universe's first molecule

Ordnance Survey settles in 'David and Goliath' design dispute with family

Show HN: I Built an AI C. Extension That Finds Perfect LinkedIn Leads in Seconds

The Super Weight in Large Language Models

1981 BASIC adventure game comes to a new platform, the TRS-80 MC-10

Show HN: Mailpod – Turn Your Daily Emails into a Podcast You Can Listen To

EU could earn €1T by taxing aviation, private jets included

Character.AI's mobile app is getting a social media-style feed

Part 1: A Deep Dive into Rust and C Memory Interoperability

Dual-Purpose Star Tracker and Space Debris Detector for Small Satellites

Best AI Video Effects Generator

Surviving the Tyranny of the Algorithm

Let's Hax0r a GC (Eventually)

High Performance SwiftData Apps

Built a support app after realizing heartbreak is socially isolating

BLS and Our Age of Choose-Your-Own-Reality Governance

Show HN: A tiny reasoning layer that steadies LLM outputs (MIT; +22.4% accuracy)

Ultrasmall optical devices rewrite the rules of light manipulation

The Revolution of Token-Level Rewards

The FoxPro wiki is down, on purpose

What you didn't know about ropeways [video]

Lp(a) is another risk to your heart that's getting new attention

A Histogram Is a Generative Model