参考のコメントという感じですが、 既存のものでは Rubiskell というものもありますね。

https://rubygems.org/gems/rubiskell

2014年12月11日 12:58 Tanaka Kazuki <mail / tanakakazuki.com>:
> 松永 さん
>
> ご指摘を頂いていたにも関わらずこちらのメールを見逃しておりました.
> 失礼しました. ありがとうございます.
>
>> が正解のようです。もちろん元の記事も(理解できないけど…)面白いです。
> その様なお言葉を頂戴出来て大変光栄です!!今後のカテに致します!!
>
> 田中
> --
> ===============================
> Keio university mathematical sciences
>   田中 和希  Kazuki Tanaka
>
> mail: mail / tanakakazuki.com
> HP: http://gogotanaka.me/
> Blog: http://blog.gogotanaka.me/
> Twitter: @gogo_tanaka
> Facebook: https://www.facebook.com/gogogogotanaka
> ===============================
>
>
>> Date: Mon, 8 Dec 2014 09:45:13 +0900
>> From: ma2 / lifemedia.co.jp
>> To: ruby-list / ruby-lang.org
>> Subject: [ruby-list:50020] Re: ANN: Rubyに型を付けるHaskellというgem
>
>>
>> (2014/12/06 13:18), Tanaka Kazuki wrote:
>>
>> > Qiita: http://qiita.com/gogotanaka/items/912d1b74aa702588fcf7
>>
>> http://qiita.com/gogotanaka/items/c98c584082b2652e10eb
>>
>> が正解のようです。もちろん元の記事も(理解できないけど…)面白いです。
>>
>>
>> --
>> 松永肇一(keiichi matsunaga)
>> 株式会社ライフメディア(http://lifemedia.jp) システム開発部
>>