Skip to content

Latest commit

 

History

History
59 lines (45 loc) · 1.18 KB

Haversine.output.md

File metadata and controls

59 lines (45 loc) · 1.18 KB

Haversines

Let's find the distance between Big Ben in London and the Statue of Liberty in New York.

.> cd .flight.Geodesy


---
title: haversine.u
---
london =
    (Rad lat) = Convert.degToRad (Deg 51.5007)
    (Rad lng) = Convert.degToRad (Deg -0.1246)
    LatLng (Lat lat) (Lng lng)
newyork =
    (Rad lat) = Convert.degToRad (Deg 40.6892)
    (Rad lng) = Convert.degToRad (Deg -74.0445)
    LatLng (Lat lat) (Lng lng)
> london
> newyork
> Haversine.distance london newyork



  I found and typechecked these definitions in haversine.u. If
  you do an `add` or `update`, here's how your codebase would
  change:
  
    ⍟ These new definitions are ok to `add`:
    
      london  : LatLng
      newyork : LatLng
  
  Now evaluating any watch expressions (lines starting with
  `>`)... Ctrl+C cancels.

    9 | > london
          ⧩
          LatLng
            (Lat.Lat 0.8988567820818436)
            (Lng.Lng -2.1746802479849347e-3)
  
    10 | > newyork
           ⧩
           LatLng
             (Lat.Lat 0.7101605100024767)
             (Lng.Lng -1.2923203179929412)
  
    11 | > Haversine.distance london newyork
           ⧩
           5574840.456848554