rubiskell 0.1.0

data/README

@@ -0,0 +1,19 @@
+! Rubiskell
+
+!! What's this?
+Rubiskell allows you to call haskell function from ruby script.
+
+!! Example
+  require 'rubiskell'
+
+  FIB = <<EOD
+  fib :: Int -> Int
+  fib 0 = 0
+  fib 1 = 1
+  fib n = fib (n-2) + fib (n-1)
+  EOD
+
+  fib = Haskell.new(FIB)
+  puts "fib 5 is #{fib.run(5)}." 
+
+you can also write fib[5] instead of fib.run(5).

data/example/fib.hs

@@ -0,0 +1,4 @@
+fib :: Int -> Int
+fib 0 = 0
+fib 1 = 1
+fib n = fib (n-2) + fib (n-1)

data/example/fib.rb

@@ -0,0 +1,7 @@
+require 'rubiskell'
+
+def fib(n)
+  Haskell.load("fib.hs").run(n)
+end
+
+puts "fib 5 is #{fib(5)}." 

data/example/plus.hs

@@ -0,0 +1,2 @@
+plus :: Int -> Int -> Int
+plus x y = x + y

data/example/plus.rb

@@ -0,0 +1,7 @@
+require 'rubiskell'
+
+def plus(x, y)
+  Haskell.load("plus.hs").run(x, y)
+end
+
+puts "5 + 6 is #{plus(5, 6)}." 

data/example/sample.rb

@@ -0,0 +1,12 @@
+require 'rubiskell'
+
+FIB = <<EOD
+fib :: Int -> Int
+fib 0 = 0
+fib 1 = 1
+fib n = fib (n-2) + fib (n-1)
+EOD
+
+fib = Haskell.new(FIB)
+
+puts "fib 5 is #{fib[5]}." 

data/lib/rubiskell.rb

@@ -0,0 +1,114 @@
+require 'tmpdir'
+
+class Haskell
+  def self.load(fname)
+    new(File.read(fname))
+  end
+
+  def self.tuple_form(args)
+    a = args.join(",") 
+    return args.size == 1 ? a : "(#{a})"
+  end
+
+  def initialize(code, option={})
+    @interpreter = option[:interpreter] || "runghc"
+    @signetures = parse_signetures(code)
+    @code = code
+    @k = 0
+  end
+
+  def call(sig, *args)
+    if String === sig 
+      sig = @signetures.find{|sig| sig.name == sig}
+      raise ArgumentError, "unknown method" if sig.nil?
+    end
+
+    src = make_src(@code, sig)
+    path = make_tempfile(src)
+    cmd = make_cmd(path, args)
+    convert_result(`#{cmd}`.chomp, sig.ret)
+  end
+
+  def run(*args)
+    call(@signetures[0], *args)
+  end
+  alias [] run
+
+  def make_cmd(path, args)
+    arg_list = Haskell.tuple_form(args.map{|x| x.inspect})
+    arg_list.gsub!(/"/, '\\"')
+    %Q<#{@interpreter} "#{path}" "#{arg_list}">
+  end
+
+  def convert_result(result, type)
+    case type.to_s
+    when "Integer"
+      result.to_i
+    when "String"
+      result[1..-2] #cut \"
+    else
+      raise "unknown type: #{type}"
+    end
+  end
+
+  TYPE_TABLE = [
+    ["Int", Integer],
+    ["String", String],
+  ]
+  class Signeture
+    def initialize(name, args, ret)
+      @name, @args, @ret = name, args, ret
+    end
+    attr_reader :name, :args, :ret
+
+    def tuple_form
+      Haskell.tuple_form(@args.map{|ty|TYPE_TABLE.rassoc(ty)[0]})
+    end
+
+    def tuple_vars
+      "(" + make_vars().join(",") + ")"
+    end
+
+    def list_vars
+      make_vars().join(" ")
+    end
+
+    # arity must be <= 26 :P
+    def make_vars
+      ("a".."z").to_a.slice(0, @args.size)
+    end
+  end
+
+  def parse_signetures(code)
+    code.scan(/^(\w+)\s*::\s*(\w+(\s*->\s*\w+)*)\s*$/).map do |sig|
+      name = $1.strip
+      args = $2.split(/->/).map{|x| 
+        pair = TYPE_TABLE.assoc(x.strip)
+        pair ? pair[1] : (raise ArgumentError, "unknown Haskell type #{x.strip}")
+      }
+      ret = args.pop
+      Signeture.new(name, args, ret)
+    end
+  end
+
+  def make_src(code, sig)
+    src = "import System\n"
+    src << code
+    src << "\n"
+    src << "main = do args <- getArgs\n"
+    src << "          print $ apply #{sig.name} $ _read $ head args\n"
+    src << "  where\n"
+    src << "    _read :: String -> #{sig.tuple_form}\n"
+    src << "    _read = read\n"
+    src << "    apply f #{sig.tuple_vars} = f #{sig.list_vars}\n"
+  end
+
+  def make_tempfile(src)
+    while File.exist?(fname = "rubiskell.#{Process.pid}.#{@k}.hs")
+      @k += 1
+    end
+    open(fname, "w"){|f| f.write src }
+    at_exit{ File.unlink(fname) }
+    fname
+  end
+end

data/spec/fib.hs

@@ -0,0 +1,4 @@
+fib :: Int -> Int
+fib 0 = 0
+fib 1 = 1
+fib n = fib (n-2) + fib (n-1)

data/spec/spec_rubiskell.rb

@@ -0,0 +1,61 @@
+#
+# spec_rubiskell.rb - Unit test with RSpec
+#
+$LOAD_PATH << File.expand_path("../lib", File.dirname(__FILE__))
+require 'rubiskell'
+
+FIB = <<EOD
+fib :: Int -> Int
+fib 0 = 0
+fib 1 = 1
+fib n = fib (n-2) + fib (n-1)
+EOD
+
+MANY_ARGS = <<EOD
+foo :: String -> Int -> String -> String
+foo s1 n s2 = s1 ++ (show n) ++ s2
+EOD
+
+describe "parse_signetures" do
+  before(:each) do
+    @hs = Haskell.new("")
+  end
+
+  it "should parse Int -> Int" do
+    sigs = @hs.parse_signetures(FIB)
+    sigs.should have(1).items
+
+    sig = sigs.first
+    sig.name.should == "fib"
+    sig.args.should == [Integer]
+    sig.ret.should  == Integer
+    sig.tuple_form.should == "Int"
+  end
+
+  it "should parse many args" do
+    sigs = @hs.parse_signetures("foo :: String->Int->String -> Int")
+    sig = sigs.first
+    sig.name.should == "foo"
+    sig.args.should == [String, Integer, String]
+    sig.ret.should  == Integer
+    sig.tuple_form.should == "(String,Int,String)"
+  end
+end
+
+describe "Rubiskell" do 
+  it "should run fib" do
+    fib = Haskell.new(FIB)
+    fib[2].should == 1
+    fib[3].should == 2
+  end
+
+  it "should pass many args" do
+    many = Haskell.new(MANY_ARGS)
+    many["1", 2, "3"].should == "123"
+  end
+
+  it "should run file" do
+    fib = Haskell.load(File.expand_path("fib.hs", File.dirname(__FILE__)))
+    fib[2].should == 1
+  end
+end

metadata

@@ -0,0 +1,61 @@
+--- !ruby/object:Gem::Specification 
+name: rubiskell
+version: !ruby/object:Gem::Version 
+  version: 0.1.0
+platform: ruby
+authors: 
+- yhara (Yutaka HARA)
+autorequire: 
+bindir: bin
+cert_chain: []
+
+date: 2008-07-07 00:00:00 +09:00
+default_executable: 
+dependencies: []
+
+description: 
+email: yhara.at.kmc.gr.jp
+executables: []
+
+extensions: []
+
+extra_rdoc_files: []
+
+files: 
+- README
+- lib/rubiskell.rb
+- example/fib.hs
+- example/fib.rb
+- example/plus.hs
+- example/plus.rb
+- example/sample.rb
+- spec/fib.hs
+- spec/spec_rubiskell.rb
+has_rdoc: false
+homepage: 
+post_install_message: 
+rdoc_options: []
+
+require_paths: 
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+required_rubygems_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+requirements: []
+
+rubyforge_project: rubiskell
+rubygems_version: 1.2.0
+signing_key: 
+specification_version: 2
+summary: Run haskell snippet from ruby
+test_files: []
+