Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Compiling a Dependently Typed Language to Ruby

Compiling a Dependently Typed Language to Ruby

A.K.A. "Compilers Are Dope And Also A Little Bit About Fancy Types"

Michael Bernstein

June 12, 2015
Tweet

More Decks by Michael Bernstein

Other Decks in Programming

Transcript

  1. Compiling A Dependently Typed Language To Ruby Michael R. Bernstein

    RubyNation / 2015.6.12 / Silver Spring, Maryland
  2. New ways of looking at how programs are designed, written,

    executed, optimized, refactored, etc.
  3. Compilers Are Dope And Also A Little Bit About Fancy

    Types Michael R. Bernstein RubyNation / 2015.6.12 / Silver Spring, Maryland
  4. pythag : Int -> List (Int, Int, Int) counter_rpc :

    Int -> Maybe Int -> Process (Maybe Int) (Int,Int)