カテゴリー: Haskell

‘（シングルクォート）’でかこむ文字はChar型。

Prelude> :type 'a'
'a' :: Char

“（ダブルクォート）”でかこんだ文字列はChar型のリスト。[]でかこまれてるのがリストのしるし。

Prelude> :type "abc"
"abc" :: [Char]
Prelude> :type ['a','b','c']
['a','b','c'] :: [Char]
Prelude> :type "a"
"a" :: [Char]

なるほど。””でかこめば1文字でも要素ひとつのリストってわけか。
文字列を”でかこむとエラーになる。

Prelude> :type 'abc'
<interactive>:1:1: lexical error in string/character literal

GHCiは対話的に操作できるインタプリタ。:help コマンドで使い方がわかる。

>ghci
   ___         ___ _
  / _ \ /\  /\/ __(_)
 / /_\// /_/ / /  | |      GHC Interactive, version 6.4.1, for Haskell 98.
/ /_\\/ __  / /___| |      http://www.haskell.org/ghc/
\____/\/ /_/\____/|_|      Type :? for help.

Loading package base-1.0 ... linking ... done.
Prelude> :help
 Commands available from the prompt:
   <stmt>                      evaluate/run <stmt>
   :add <filename> ...         add module(s) to the current target set
   :browse [*]<module>         display the names defined by    <module>
   :cd <dir>                   change directory to <dir>
   :def <cmd> <expr>           define a command :<cmd>
   :help, :?                   display this list of commands
   :info [<name> ...]          display information about the given  names
   :load <filename> ...        load module(s) and their dependents
   :module [+/-] [*]<mod> ...  set the context for expression evaluation
   :reload                     reload the current module set
   :set  ...           set options
   :set args <arg> ...         set the arguments returned by System.getArgs
   :set prog <progname>        set the value returned by System.getProgName
   :show modules               show the currently loaded modules
   :show bindings              show the current bindings made at the prompt
   :type <expr>                show the type of <expr>
   :kind <type>                show the kind of <type>
   :undef <cmd>                undefine user-defined command :<cmd>
   :unset  ...         unset options
   :quit                       exit GHCi
:!<command>                 run the shell command <command>
Options for ':set' and ':unset':
+r            revert top-level expressions after each evaluation
+s            print timing/memory stats after each evaluation
+t            print type after evaluation
-<flags>      most GHC command line flags can also be set here
(eg. -v2, -fglasgow-exts, etc.)
Prelude> :quit
Leaving GHCi.
>

終了するには :quit。

関数の定義はできない。別途ファイルに保存して、:load コマンドで読み込む。

Prelude> :l addone.hs
Compiling Main             ( addone.hs, interpreted )
Ok, modules loaded: Main.
*Main> addOne 3
4

• Haskell – HakellWiki
• The Glasgow Haskell Compiler
• hugs online Haskellのインタプリタ
• A Gentle Introduction to Haskell Version 98　（日本語訳）
• About Haskell　（日本語訳）
• Haskell のお勉強
• Haskell
• Why Functional Programming Matters　（日本語訳）

まずはこれだな。

main = putStr "Hello world. This is Haskell!\n"

標準出力へ文字を出力するのは putStr 関数。
main = は代入ではない。Haskell に代入はない。これは main 関数の定義をしている。

GHC はコンパイラなのでまずはコンパイルから。

>ghc -o hello hello.hs

-oオプションで実行ファイルの名前を指定できる（指定しないとmain.exe）。
さて実行しよう。

>hello.exe
Hello world. This is Haskell!

はろー。

GHCのダウンロードページからリンクをたどって ghc-6-4-1-bld1.msi をダウンロード。
(standalone) と書いてある方をダウンロードしたけど，もう一つの(Visual Studio Version)てのは何だろ。

msiファイルなのでインストールは簡単。

関数型言語というものに興味があった。
あっただけで今まで調べもしなかったんだけど，ちょうど良さそうな本を発見。つい買ってしまう。
[amazonjs asin=”4839919623″ locale=”JP” title=”入門Haskell―はじめて学ぶ関数型言語”]
ちょっとずつやってみよう。