Artwork

Content provided by HPR Volunteer and Hacker Public Radio. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by HPR Volunteer and Hacker Public Radio or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!

HPR2598: Calculating planetary orbits in Haskell

 
Share
 

Manage episode 212918937 series 108988
Content provided by HPR Volunteer and Hacker Public Radio. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by HPR Volunteer and Hacker Public Radio or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.

Function signatures (it might or might not be helpful to have these at hand while listening):

  • Helpers:
 radToDeg :: Floating a => a -> a degToRad :: Floating a => a -> a clamp :: Float -> Float
  • Time:

 day :: Int -> Int -> Int -> Float -> Day Float
  • Orbital parameters:
 longitudeOfAscendingNode :: Orbit body center => body -> center -> Day d -> LongAscNode body center inclinationToEcliptic :: Orbit body center => body -> center -> Day d -> InclToEcl body center argumentOfPeriapsis :: Orbit body center => body -> center -> Day d -> ArgPeri body center semiMajorAxis :: Orbit body center => body -> center -> Day d -> SemiMajor body center eccentricity :: Orbit body center => body -> center -> Day d -> Ecc body center meanAnomaly :: Orbit body center => body -> center -> Day d -> MeanAno body center
  • Calculating location on orbital plane:
 eccAnomaly :: MeanAno a b -> Ecc a b -> EccAnomaly a b trueAnomaly :: EccAnomaly a b -> Ecc a b -> TrueAnomaly a b dist :: EccAnomaly a b -> Ecc a b -> SemiMajor a b -> Distance a b
  • Translating between coordinate systems:
 toEclCoord :: TrueAnomaly a b -> Distance a b -> LongAscNode a b -> ArgPeri a b -> InclToEcl a b -> EclCoord a b toEqCoordinates :: EclCoord body Earth -> Day Float -> EqCoord body

Some helpful links:

  continue reading

4103 episodes

Artwork
iconShare
 
Manage episode 212918937 series 108988
Content provided by HPR Volunteer and Hacker Public Radio. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by HPR Volunteer and Hacker Public Radio or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.

Function signatures (it might or might not be helpful to have these at hand while listening):

  • Helpers:
 radToDeg :: Floating a => a -> a degToRad :: Floating a => a -> a clamp :: Float -> Float
  • Time:

 day :: Int -> Int -> Int -> Float -> Day Float
  • Orbital parameters:
 longitudeOfAscendingNode :: Orbit body center => body -> center -> Day d -> LongAscNode body center inclinationToEcliptic :: Orbit body center => body -> center -> Day d -> InclToEcl body center argumentOfPeriapsis :: Orbit body center => body -> center -> Day d -> ArgPeri body center semiMajorAxis :: Orbit body center => body -> center -> Day d -> SemiMajor body center eccentricity :: Orbit body center => body -> center -> Day d -> Ecc body center meanAnomaly :: Orbit body center => body -> center -> Day d -> MeanAno body center
  • Calculating location on orbital plane:
 eccAnomaly :: MeanAno a b -> Ecc a b -> EccAnomaly a b trueAnomaly :: EccAnomaly a b -> Ecc a b -> TrueAnomaly a b dist :: EccAnomaly a b -> Ecc a b -> SemiMajor a b -> Distance a b
  • Translating between coordinate systems:
 toEclCoord :: TrueAnomaly a b -> Distance a b -> LongAscNode a b -> ArgPeri a b -> InclToEcl a b -> EclCoord a b toEqCoordinates :: EclCoord body Earth -> Day Float -> EqCoord body

Some helpful links:

  continue reading

4103 episodes

All episodes

×
 
Loading …

Welcome to Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

 

Quick Reference Guide