Thinking in an array language (ngn-k-tutorial, chapter 12)

A tutorial chapter that rewrites matrix multiplication in K, step by step.

Author
Not stated (razetime ngn-k-tutorial repository)
Published
Undated
Kind
Tutorial chapter in a GitHub repository
Original
github.com/razetime/ngn-k-tutorial/blob/main/12-thinking-in-k.md
Subject
Programming languages and types

What it is

This chapter belongs to a tutorial for the ngn/k interpreter. It teaches the habit of condensing patterns by working through one example.

What it says

What evidence it gives

The chapter shows each rewrite as code with a short explanation. Outputs were not shown, so the versions were not run here.

Interests and limits

The chapter is a teaching piece, not a benchmark. It claims shorter code is better without measuring speed. It was read in full but the code was not run.