More cuuuuurves

On the previous graph, the curves kind of looked like sine wave because the angles remain small. But, this isn't true anymore for larger angle, as illustrated by the result one gets if the pendulum is released from 3π/4 radian (135 ° from the vertical)

Show thread

Cuuuuurves

So now I can make graphs like this and write my equations in #Haskell!

This is the result of a simulation of the movement of a frictionless pendulum, suspended to a 1 m rod for 10 s. It starts with no velocity at an angle of π/6 with the vertical. The solver returns every 0.1 second. Blue curve is the angle over time, orange curve is the derivative of the angle over time.

Show thread

Haskell

I'm working on FRP right now, and for the paper we're righting, I wanted to know precisely how proc-notation was desugared. I knew it was not ideal, but it's even worse than I thought^^

On the photo is what the following expression gets desugared into:

proc x -> do

y <- sf -< x

z <- sg -< y

z <- sh -< (y,z)

returnA -< (z,y)

(Deduced from unoptimized core)

PhD student at the University of Nottingham ⋅ Interested in functional programming (Haskell, OCaml), modeling languages and synchronous languages

Joined Jan 2018