jvranish

require 'stringio'

class ADT < Struct
  def self.members() @members end
  def self.add_member(c)
    @members ||= []
    @members << c
    @members.length - 1
  end
  def self.data(*args)  

jvranish

class HasStmt a where
class HasDef a where
class HasExpr a where

data Module = Module [ParsedDef]

data ParsedDef = ParsedDef (Definition ParsedStmt) SourcePos
data ParsedStmt = ParsedStmt (Statement ParsedDef ParsedStmt ParsedExpr) SourcePos
data ParsedExpr = ParsedExpr (Expr ParsedExpr) SourcePos

jvranish

{-#Language DeriveFunctor
          , DeriveFoldable
          , DeriveTraversable #-}

import Control.Applicative

import Data.Foldable
import Data.Traversable

import Prelude hiding (sum)

jvranish

source "http://rubygems.org"

gem "my_awesome_lib",       :path => "../my_awesome_lib"

# or to use directly from a git repository:
# gem "my_awesome_lib", :git => "git://path/to/git/repo/my_awesome_lib.git", :branch => "1.0"

# or just use as a gem (perhaps from your very own gem source):
# gem "my_awesome_lib", ">= 1.0.0"

jvranish

#include "DetectDanger.h"

bool Detect_Ship_In_Danger(bool *      const in_danger, 
                           Position2D  const detector1_pos,
                           Direction2D const detector1_ship_direction_time1,
                           Direction2D const detector1_ship_direction_time2,
                           Position2D  const detector2_pos,
                           Direction2D const detector2_ship_direction_time1,
                           Direction2D const detector2_ship_direction_time2,
                           Position2D  const hazard_pos,

jvranish

def arctan(n, x):
    if x > 1.0:
        return math.pi/2.0 - my_preferred_arctan_implementation(n, 1/x)
    else:
        return my_preferred_arctan_implementation(n, x)

jvranish

let result = do
  account <- getAccount person
  lastTransaction <- getLastTransaction account
  getAmount lastTransaction

case result of
  Nothing -> putStrLn "Oh noes!"
  Just a  -> putStrLn ("The amount was: " ++ show a)

-- Or really, I'd actually do this:

jvranish

{-#Language GeneralizedNewtypeDeriving #-}
module Language.TheExperiment.AST where

import Text.Parsec.Pos

import Language.TheExperiment.Type

data Literal = StringLiteral String
             | CharLiteral Char
             | IntegerLiteral Integer

jvranish

#ifndef MODULEA_H
#define MODULEA_H

#include "moduleB.h"

typedef struct
{
  ...
} ModuleAType;

jvranish

import Data.FixedList  -- this doesn't come with haskell, do a 'cabal install fixed-list' to install it
                       -- or get it from here: http://hackage.haskell.org/package/fixed-list-0.1.5
                       -- more documentation on this library is here: http://hackage.haskell.org/packages/archive/fixed-list/0.1.5/doc/html/Data-FixedList.html

-- These are all built in haskell modules
import Control.Applicative
import Data.Foldable
import Prelude hiding (sum, concat)