mandel59 https://blog.hatena.ne.jp/mandel59/ Ryusei’s Notes (a.k.a. M59のブログ) https://mandel59.hateblo.jp/ Idris http://idris-lang.org/ は依存型を持つ純粋関数型言語。C言語経由でネイティブコードを生成する他、JavaScriptコードの生成もできるようだ。*1cabalを使ってインストールする。 cabal update; cabal install idrisハローワールドのソースコード。IdrisはHaskell風の文法を持っている。型注釈は必要。 module Main main : IO () main = putStrLn "Hello world"コンパイルして実行してみる。 prog_idris$ idris hello.idr -o hello prog… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmandel59.hateblo.jp%2Fentry%2F2013%2F02%2F11%2F235051" title="依存型を持つ純粋関数型言語 Idris - Ryusei’s Notes (a.k.a. M59のブログ)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-02-11 23:50:51 rich https://mandel59.hateblo.jp/entry/2013/02/11/235051 1.0 100%