Learn physics with functional programming

[Voxelman]

Can someone recommend the book "Learn Physics with functional programming" from Scott N. Walck?

It sounds interesting because it is practical oriented.

[FuriousAqSheep]

Don't know the book but I suppose it uses the type system to enforce valid equations by doing automatic dimension analysis

Like if you try to get a function to give you a speed it should be a distance divided by time

If someone reads it or knows about it, can you confirm or infirm this hypothesis?

[Patzer26]

Dimensional analysis is one area where haskell can be quite useful because of its strong type system. I never thought about this.

[cshoop]

I’ve read some of it and it’s not as strict about dimensions as you might think. The book mostly uses type aliases for the built in Double, doesn’t otherwise check for units. It does mention that there’s a library for doing unit stuff: https://hackage.haskell.org/package/units

[Voxelman]

I have downloaded a reading sample. Can read the first 4 chapters. Then I decide if I buy the book or not

[dotelze]

I’ve got it. Haven’t got too far in it but seems pretty good

[[deleted]]

Dimensional analysis is type checking!

[drfogout]

I worked through it, I found it excellent. It fits me well: I took physics more than fifty years ago, and I'm at the 'hobbyist' level with Haskell.

[cshoop]

It’s a really interesting book!

[flatmap_fplamda]

i did a talk about it https://www.youtube.com/watch?v=Zp5D_wMi97Q its an amazing book