Skip to content
0:00 / 0:00

#julia#linearalgebra#typesystems

Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017

The Julia Programming Language

91K subscribers • 17 videos on Hallway

YouTube

Intermediate. Assumes working knowledge.

7.3K views9 years ago3 recommendations

Programming languagesSystems programmingLanguage design and type systemsMath for programmers

Jiahao Chen explains why treating vectors as matrices causes issues in type systems and linear algebra libraries.

Visit julialang.org/ to download Julia. Time Stamps: Welcome! Help us add time stamps or captions to this video! See the description for details. Want to help add timestamps to our YouTube videos to help with discoverability? Find out more here: github.com/JuliaCommunity/YouTubeVideoTimestamps Interested in improving the auto generated captions? Get involved here: github.com/JuliaCommunity/YouTubeVideoSubtitles

Why it's here

3 people recommend this

What people say. Highly recommended for anyone designing or using linear algebra libraries and type systems.

dnauticson Hacker News • Recommends

On “Types, and Why You Should Care [video]”

Addendum: Also really good is this video about how one should treat vectors and matrices in a type system. Has good lessons for python, R, and Matlab. Seriously anyone who does anything with vectors should watch this. link to this video

dnauticson Hacker News • Recommends

On “A Programmer’s Intuition for Matrix Multiplication”

> Purist test The short answer is. Yes, but if your PL treats it that way you will wind up in trouble 0. The long answer is: link to this video (but seriously take the time to watch this, it's fantastic). 0 Separately C- and often C-derived languages/frameworks like numpy also treat them as 1xN matrices, but that's a nearly tabs-vs-spaces level religious war, with actual consequences. I think a lot of people got confused when translating andrew ng's early octave-based ML coursera course (Nx1) to python (1xN), and also in the back and forth between math ML papers which use Nx1 and python.

dnauticson Hacker News • Recommends

On “Why is it important for a matrix to be square? (2018)”

I happened to be the other way, I learned first that matrices were linear transformations and, being thick-headed, it took me a really long time to understand that matrices could also be used as "dumb excel spreadsheets". there's a fantastic historiography of linear algebra and why we're stuck in this situation here: link to this video

freeminton Hacker News • Recommends

On “Julia Computing raises $24M Series A”

If you will do a lot of matrix stuff you might want to listen to link to this video taking Vector Transpose Seriously

gugagoreon Hacker News • Recommends

On “Eigen: A C++ template library for linear algebra”

If you want a great video on the topic, see link to this video Or equivalently link There are basically two self-consistent choices for the design of linear algebra libraries.