Enviar búsqueda
Cargar
Haskell超入門 Part.1
•
9 recomendaciones
•
2,658 vistas
Yuichi Watanabe
Seguir
Tecnología
Denunciar
Compartir
Denunciar
Compartir
1 de 121
Descargar ahora
Descargar para leer sin conexión
Recomendados
Spectacular Future with clojure.spec
Spectacular Future with clojure.spec
Kent Ohashi
CoreDataでのsubqueryの使い方
CoreDataでのsubqueryの使い方
Masaru Ichikawa
Git Flowを運用するために
Git Flowを運用するために
Shun Tsunoda
AWS Lambda@Edge でできること!
AWS Lambda@Edge でできること!
Amazon Web Services Japan
ナレッジを共有する文化をつくるために
ナレッジを共有する文化をつくるために
Recruit Lifestyle Co., Ltd.
Spring Data JPAによるデータアクセス徹底入門 #jsug
Spring Data JPAによるデータアクセス徹底入門 #jsug
Masatoshi Tada
Clojureの世界と実際のWeb開発
Clojureの世界と実際のWeb開発
Tsutomu Yano
今から始める Lens/Prism
今から始める Lens/Prism
Naoki Aoyama
Recomendados
Spectacular Future with clojure.spec
Spectacular Future with clojure.spec
Kent Ohashi
CoreDataでのsubqueryの使い方
CoreDataでのsubqueryの使い方
Masaru Ichikawa
Git Flowを運用するために
Git Flowを運用するために
Shun Tsunoda
AWS Lambda@Edge でできること!
AWS Lambda@Edge でできること!
Amazon Web Services Japan
ナレッジを共有する文化をつくるために
ナレッジを共有する文化をつくるために
Recruit Lifestyle Co., Ltd.
Spring Data JPAによるデータアクセス徹底入門 #jsug
Spring Data JPAによるデータアクセス徹底入門 #jsug
Masatoshi Tada
Clojureの世界と実際のWeb開発
Clojureの世界と実際のWeb開発
Tsutomu Yano
今から始める Lens/Prism
今から始める Lens/Prism
Naoki Aoyama
WebSocketのキホン
WebSocketのキホン
You_Kinjoh
テストコードの DRY と DAMP
テストコードの DRY と DAMP
Yusuke Kagata
Web ベースのカジュアルゲーム「block pong」の実装とビジネス
Web ベースのカジュアルゲーム「block pong」の実装とビジネス
t-kihira
オブジェクト指向できていますか?
オブジェクト指向できていますか?
Moriharu Ohzu
オブジェクト指向エクササイズのススメ
オブジェクト指向エクササイズのススメ
Yoji Kanno
Javaクラスファイルの読み方
Javaクラスファイルの読み方
y torazuka
GitHub Appsの作り方
GitHub Appsの作り方
zaru sakuraba
JavaからScala、そしてClojureへ: 実務で活きる関数型プログラミング
JavaからScala、そしてClojureへ: 実務で活きる関数型プログラミング
Kent Ohashi
アジャイル開発のストーリーをGherkin記法で作成
アジャイル開発のストーリーをGherkin記法で作成
Shinya Nakajima
[Golang] 以 Mobile App 工程師視角,帶你進入 Golang 的世界 (Introduction of GoLang)
[Golang] 以 Mobile App 工程師視角,帶你進入 Golang 的世界 (Introduction of GoLang)
Johnny Sung
ユニットテストの保守性を作りこむ, xpjugkansai2011
ユニットテストの保守性を作りこむ, xpjugkansai2011
H Iseri
非同期処理の基礎
非同期処理の基礎
信之 岩永
EC2でNginxを使ってみよう JAWS大阪第9回勉強会資料
EC2でNginxを使ってみよう JAWS大阪第9回勉強会資料
Masahiro Haraoka
ユーザに価値を届けるためのデータプラットフォームの考え方
ユーザに価値を届けるためのデータプラットフォームの考え方
Rakuten Group, Inc.
キメるClojure
キメるClojure
Yoshitaka Kawashima
Pythonのガベージコレクション
Pythonのガベージコレクション
Atsuo Ishimoto
関数型プログラミングのデザインパターンひとめぐり
関数型プログラミングのデザインパターンひとめぐり
Kazuyuki TAKASE
組織にテストを書く文化を根付かせる戦略と戦術
組織にテストを書く文化を根付かせる戦略と戦術
Takuto Wada
見えない壁を越えよう!アジャイルやマイクロサービスを阻む「今までのやり方」 - デブサミ夏2023
見えない壁を越えよう!アジャイルやマイクロサービスを阻む「今までのやり方」 - デブサミ夏2023
Yusuke Suzuki
正規表現入門 星の高さを求めて
正規表現入門 星の高さを求めて
Ryoma Sin'ya
Haskell Day2012 - 参照透過性とは何だったのか
Haskell Day2012 - 参照透過性とは何だったのか
Kousuke Ruichi
数学プログラムを Haskell で書くべき 6 の理由
数学プログラムを Haskell で書くべき 6 の理由
Hiromi Ishii
Más contenido relacionado
La actualidad más candente
WebSocketのキホン
WebSocketのキホン
You_Kinjoh
テストコードの DRY と DAMP
テストコードの DRY と DAMP
Yusuke Kagata
Web ベースのカジュアルゲーム「block pong」の実装とビジネス
Web ベースのカジュアルゲーム「block pong」の実装とビジネス
t-kihira
オブジェクト指向できていますか?
オブジェクト指向できていますか?
Moriharu Ohzu
オブジェクト指向エクササイズのススメ
オブジェクト指向エクササイズのススメ
Yoji Kanno
Javaクラスファイルの読み方
Javaクラスファイルの読み方
y torazuka
GitHub Appsの作り方
GitHub Appsの作り方
zaru sakuraba
JavaからScala、そしてClojureへ: 実務で活きる関数型プログラミング
JavaからScala、そしてClojureへ: 実務で活きる関数型プログラミング
Kent Ohashi
アジャイル開発のストーリーをGherkin記法で作成
アジャイル開発のストーリーをGherkin記法で作成
Shinya Nakajima
[Golang] 以 Mobile App 工程師視角,帶你進入 Golang 的世界 (Introduction of GoLang)
[Golang] 以 Mobile App 工程師視角,帶你進入 Golang 的世界 (Introduction of GoLang)
Johnny Sung
ユニットテストの保守性を作りこむ, xpjugkansai2011
ユニットテストの保守性を作りこむ, xpjugkansai2011
H Iseri
非同期処理の基礎
非同期処理の基礎
信之 岩永
EC2でNginxを使ってみよう JAWS大阪第9回勉強会資料
EC2でNginxを使ってみよう JAWS大阪第9回勉強会資料
Masahiro Haraoka
ユーザに価値を届けるためのデータプラットフォームの考え方
ユーザに価値を届けるためのデータプラットフォームの考え方
Rakuten Group, Inc.
キメるClojure
キメるClojure
Yoshitaka Kawashima
Pythonのガベージコレクション
Pythonのガベージコレクション
Atsuo Ishimoto
関数型プログラミングのデザインパターンひとめぐり
関数型プログラミングのデザインパターンひとめぐり
Kazuyuki TAKASE
組織にテストを書く文化を根付かせる戦略と戦術
組織にテストを書く文化を根付かせる戦略と戦術
Takuto Wada
見えない壁を越えよう!アジャイルやマイクロサービスを阻む「今までのやり方」 - デブサミ夏2023
見えない壁を越えよう!アジャイルやマイクロサービスを阻む「今までのやり方」 - デブサミ夏2023
Yusuke Suzuki
正規表現入門 星の高さを求めて
正規表現入門 星の高さを求めて
Ryoma Sin'ya
La actualidad más candente
(20)
WebSocketのキホン
WebSocketのキホン
テストコードの DRY と DAMP
テストコードの DRY と DAMP
Web ベースのカジュアルゲーム「block pong」の実装とビジネス
Web ベースのカジュアルゲーム「block pong」の実装とビジネス
オブジェクト指向できていますか?
オブジェクト指向できていますか?
オブジェクト指向エクササイズのススメ
オブジェクト指向エクササイズのススメ
Javaクラスファイルの読み方
Javaクラスファイルの読み方
GitHub Appsの作り方
GitHub Appsの作り方
JavaからScala、そしてClojureへ: 実務で活きる関数型プログラミング
JavaからScala、そしてClojureへ: 実務で活きる関数型プログラミング
アジャイル開発のストーリーをGherkin記法で作成
アジャイル開発のストーリーをGherkin記法で作成
[Golang] 以 Mobile App 工程師視角,帶你進入 Golang 的世界 (Introduction of GoLang)
[Golang] 以 Mobile App 工程師視角,帶你進入 Golang 的世界 (Introduction of GoLang)
ユニットテストの保守性を作りこむ, xpjugkansai2011
ユニットテストの保守性を作りこむ, xpjugkansai2011
非同期処理の基礎
非同期処理の基礎
EC2でNginxを使ってみよう JAWS大阪第9回勉強会資料
EC2でNginxを使ってみよう JAWS大阪第9回勉強会資料
ユーザに価値を届けるためのデータプラットフォームの考え方
ユーザに価値を届けるためのデータプラットフォームの考え方
キメるClojure
キメるClojure
Pythonのガベージコレクション
Pythonのガベージコレクション
関数型プログラミングのデザインパターンひとめぐり
関数型プログラミングのデザインパターンひとめぐり
組織にテストを書く文化を根付かせる戦略と戦術
組織にテストを書く文化を根付かせる戦略と戦術
見えない壁を越えよう!アジャイルやマイクロサービスを阻む「今までのやり方」 - デブサミ夏2023
見えない壁を越えよう!アジャイルやマイクロサービスを阻む「今までのやり方」 - デブサミ夏2023
正規表現入門 星の高さを求めて
正規表現入門 星の高さを求めて
Destacado
Haskell Day2012 - 参照透過性とは何だったのか
Haskell Day2012 - 参照透過性とは何だったのか
Kousuke Ruichi
数学プログラムを Haskell で書くべき 6 の理由
数学プログラムを Haskell で書くべき 6 の理由
Hiromi Ishii
プログラミングの基礎振り返りスライド1
プログラミングの基礎振り返りスライド1
sunotora
GLT#13 Naruhiko Ogasawara
GLT#13 Naruhiko Ogasawara
Naruhiko Ogasawara
Fftw誰得ガイド
Fftw誰得ガイド
chunjp
代数的実数とCADの実装紹介
代数的実数とCADの実装紹介
Masahiro Sakai
たのしい関数型
たのしい関数型
Shinichi Kozake
Haskellでプレゼン
Haskellでプレゼン
Yuichi Watanabe
LLDN / キミならどう書く Haskell 編 (自由演技)
LLDN / キミならどう書く Haskell 編 (自由演技)
Masahiro Sakai
Haskell 6-module
Haskell 6-module
Mahito Ogura
並列プログラミング入門!&おさらい!
並列プログラミング入門!&おさらい!
道化師 堂華
Haskell Lecture 1
Haskell Lecture 1
Yusuke Matsushita
怪しいWindowsプログラミング
怪しいWindowsプログラミング
nagoya313
圏論のモナドとHaskellのモナド
圏論のモナドとHaskellのモナド
Yoshihiro Mizoguchi
C++コミュニティーの中心でC++をDISる
C++コミュニティーの中心でC++をDISる
Hideyuki Tanaka
CMSI計算科学技術特論B(15) インテル Xeon Phi コプロセッサー向け最適化、並列化概要 1
CMSI計算科学技術特論B(15) インテル Xeon Phi コプロセッサー向け最適化、並列化概要 1
Computational Materials Science Initiative
CMSI計算科学技術特論B(15) インテル Xeon Phi コプロセッサー向け最適化、並列化概要 2
CMSI計算科学技術特論B(15) インテル Xeon Phi コプロセッサー向け最適化、並列化概要 2
Computational Materials Science Initiative
OCamlでWebアプリケーションを作るn個の方法
OCamlでWebアプリケーションを作るn個の方法
Hiroki Mizuno
Xeonphiハッカソンでexpを作ってみた
Xeonphiハッカソンでexpを作ってみた
MITSUNARI Shigeo
PFI Seminar 2010/02/18
PFI Seminar 2010/02/18
Preferred Networks
Destacado
(20)
Haskell Day2012 - 参照透過性とは何だったのか
Haskell Day2012 - 参照透過性とは何だったのか
数学プログラムを Haskell で書くべき 6 の理由
数学プログラムを Haskell で書くべき 6 の理由
プログラミングの基礎振り返りスライド1
プログラミングの基礎振り返りスライド1
GLT#13 Naruhiko Ogasawara
GLT#13 Naruhiko Ogasawara
Fftw誰得ガイド
Fftw誰得ガイド
代数的実数とCADの実装紹介
代数的実数とCADの実装紹介
たのしい関数型
たのしい関数型
Haskellでプレゼン
Haskellでプレゼン
LLDN / キミならどう書く Haskell 編 (自由演技)
LLDN / キミならどう書く Haskell 編 (自由演技)
Haskell 6-module
Haskell 6-module
並列プログラミング入門!&おさらい!
並列プログラミング入門!&おさらい!
Haskell Lecture 1
Haskell Lecture 1
怪しいWindowsプログラミング
怪しいWindowsプログラミング
圏論のモナドとHaskellのモナド
圏論のモナドとHaskellのモナド
C++コミュニティーの中心でC++をDISる
C++コミュニティーの中心でC++をDISる
CMSI計算科学技術特論B(15) インテル Xeon Phi コプロセッサー向け最適化、並列化概要 1
CMSI計算科学技術特論B(15) インテル Xeon Phi コプロセッサー向け最適化、並列化概要 1
CMSI計算科学技術特論B(15) インテル Xeon Phi コプロセッサー向け最適化、並列化概要 2
CMSI計算科学技術特論B(15) インテル Xeon Phi コプロセッサー向け最適化、並列化概要 2
OCamlでWebアプリケーションを作るn個の方法
OCamlでWebアプリケーションを作るn個の方法
Xeonphiハッカソンでexpを作ってみた
Xeonphiハッカソンでexpを作ってみた
PFI Seminar 2010/02/18
PFI Seminar 2010/02/18
Similar a Haskell超入門 Part.1
(Ruby使いのための)Scalaで学ぶ関数型プログラミング
(Ruby使いのための)Scalaで学ぶ関数型プログラミング
Ouka Yuka
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
Ekmett勉強会発表資料
Ekmett勉強会発表資料
時響 逢坂
Lisp Tutorial for Pythonista : Day 3
Lisp Tutorial for Pythonista : Day 3
Ransui Iso
Ekmett勉強会発表資料
Ekmett勉強会発表資料
時響 逢坂
Scala の関数型プログラミングを支える技術
Scala の関数型プログラミングを支える技術
Naoki Aoyama
How wonderful to be (statically) typed 〜型が付くってスバラシイ〜
How wonderful to be (statically) typed 〜型が付くってスバラシイ〜
Hiromi Ishii
すごいHaskell読書会#1 in 大阪
すごいHaskell読書会#1 in 大阪
yashigani
Tokyor23 doradora09
Tokyor23 doradora09
Nobuaki Oshiro
Everyday Life with clojure.spec
Everyday Life with clojure.spec
Kent Ohashi
Python opt
Python opt
Mikio Kubo
たのしい高階関数
たのしい高階関数
Shinichi Kozake
10分で分かるr言語入門ver2.10 14 1101
10分で分かるr言語入門ver2.10 14 1101
Nobuaki Oshiro
Chapter 6: Computing on the language (R Language Definition)
Chapter 6: Computing on the language (R Language Definition)
Nagi Teramo
Pythonintro
Pythonintro
Mikio Kubo
Haskell勉強会 in ie
Haskell勉強会 in ie
maeken2010
10分で分かるr言語入門ver2.9 14 0920
10分で分かるr言語入門ver2.9 14 0920
Nobuaki Oshiro
F#入門 ~関数プログラミングとは何か~
F#入門 ~関数プログラミングとは何か~
Nobuhisa Koizumi
初心者講習会資料(Osaka.R#7)
初心者講習会資料(Osaka.R#7)
Masahiro Hayashi
Vim scriptとJavaとHaskell
Vim scriptとJavaとHaskell
aiya000
Similar a Haskell超入門 Part.1
(20)
(Ruby使いのための)Scalaで学ぶ関数型プログラミング
(Ruby使いのための)Scalaで学ぶ関数型プログラミング
関数プログラミング入門
関数プログラミング入門
Ekmett勉強会発表資料
Ekmett勉強会発表資料
Lisp Tutorial for Pythonista : Day 3
Lisp Tutorial for Pythonista : Day 3
Ekmett勉強会発表資料
Ekmett勉強会発表資料
Scala の関数型プログラミングを支える技術
Scala の関数型プログラミングを支える技術
How wonderful to be (statically) typed 〜型が付くってスバラシイ〜
How wonderful to be (statically) typed 〜型が付くってスバラシイ〜
すごいHaskell読書会#1 in 大阪
すごいHaskell読書会#1 in 大阪
Tokyor23 doradora09
Tokyor23 doradora09
Everyday Life with clojure.spec
Everyday Life with clojure.spec
Python opt
Python opt
たのしい高階関数
たのしい高階関数
10分で分かるr言語入門ver2.10 14 1101
10分で分かるr言語入門ver2.10 14 1101
Chapter 6: Computing on the language (R Language Definition)
Chapter 6: Computing on the language (R Language Definition)
Pythonintro
Pythonintro
Haskell勉強会 in ie
Haskell勉強会 in ie
10分で分かるr言語入門ver2.9 14 0920
10分で分かるr言語入門ver2.9 14 0920
F#入門 ~関数プログラミングとは何か~
F#入門 ~関数プログラミングとは何か~
初心者講習会資料(Osaka.R#7)
初心者講習会資料(Osaka.R#7)
Vim scriptとJavaとHaskell
Vim scriptとJavaとHaskell
Último
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
CRI Japan, Inc.
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
Hiroshi Tomioka
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NTT DATA Technology & Innovation
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
CRI Japan, Inc.
Último
(7)
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
Haskell超入門 Part.1
1.
2.
Nabe Twitter:
@nabe256
3.
Haskell
4.
5.
Haskell は高階関数や静的多相型付け、定義可 能な演算子、例外処理といった多くの言語で採 用されている現代的な機能に加え、パターン マッチングやカリー化、リスト内包表記、ガー ドといった多くの特徴的な機能を持っている。 また、遅延評価や再帰的な関数や代数的データ 型もサポートしているほか、独自の概念として 圏論のアイデアを利用し参照透過性を壊すこと なく副作用のある操作(例えば 代入、入出力、 配列など)を実現するモナドを含む。 (by Wikipedia)
6.
一言で言うと 関数型言語 です。
7.
ちょっとだけ詳しく言うと 純粋関数型 プログラミング言語 です。
8.
手続き型言語 › 記述された命令を逐次実行していく。 › 一般的に用いられる言語。 関数型言語 › すべての計算は関数の評価で行われる。 › 変数が無く、定数しか無い。 › 手続き型でのループは再帰で実現する他、 様々な機能が別の形で実現されている。
9.
その他の種類について興味のある方は 「プログラミングパラダイム」という キーワードで調べると良いでしょう。
10.
基本的に副作用が無いため、
原因不明のバグが出ることが少ない。 どういう物が必要かを記述していけば 書けてしまうので、短時間での開発が可能。
11.
クイックソートの例 qsort [] = [] qsort (x:xs) = qsort smaller ++ [x] ++ qsort larger where smaller = [a | a <- xs, a <= x] larger = [b | b <- xs, b > x] 非常に簡潔に記述出来る。
12.
代表的なもの › 再帰関数(自分自身を呼び出す関数) › λ式(ラムダ式、無名関数) › 無限リスト(長さが無限のデータ) › 遅延評価 (必要な時まで式を評価しない) › 高階関数(関数の引数または返り値が関数) › 純粋 (基本的に副作用が無い) › モナド(副作用を扱う仕組み) 他多数!
13.
Haskellが使用されているプロジェクト › Pugs HaskellによるPerl6の実装 › darcs 分散バージョン管理システム › Whitespace タブ・空白・改行のみで記述する言語 › Monadius グラディウス風のゲーム › Mighttpd (発音:Mighty) HTTPサーバ
14.
基本的な文法をいくつか覚える。 簡単なプログラムを書けるように なれれば素敵。
15.
GHC (Glasgow
Haskell Compiler) Haskellにおける事実上の標準コンパイラ。 実行が高速で、ライブラリ多数。 Hugs 軽量なコンパイラ、基礎を学ぶには十分。 導入も簡単だが開発は停止している模様。 Haskell Platform Haskell処理系のGHCに加えて 各種ツールやライブラリが揃っている。
16.
UNIXであれば
GHCか、可能であればHaskell Platformを。 Windowsであれば Haskell Platformが最適。 高度な事をするのであれば、 UNIXならGCC WindowsならMinGW などが必要。
17.
今回はGHCに付属する › コンパイラのGHC › インタプリタのGHCI を使用します。 環境がある方は挑戦してみましょう。
18.
まずはインタプリタから 実行してみます。
19.
Win/UNIXならghci、MinGWならghcii.shを起動します。 $ ghci GHCi, version 7.0.3: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package ffi-1.0 ... linking ... done. Prelude> Prelude(標準ライブラリ)が出てくれば準備完了です。 :quit または :q で終了します。 Prelude> :q Leaving GHCi. $
20.
いくつか試してみましょう > 256 256 >
1+2*3 7 > 7/2 3.5 > 2^256
21.
結合順位もしっかりあります > 8/4/2 1.0 >
2^3^2 512 > (2^3)^2 64
22.
:typeで型が見られます。(:t と略せる) >
:type 256 256 :: Num a => a > :t 1+2 1+2 :: Num a => a > :t 3.5 3.5 :: Fractional a => a > :t 7/2
23.
関数は :info で見ると色々情報が出ます。 (:i と略せる) > :info (+) class (Eq a, Show a) => Num a where (+) :: a -> a -> a ... -- Defined in GHC.Num infixl 6 +
24.
Haskellでは型が非常に重要な要素です。 型が分かればHaskellを理解する
良い手がかりになります。 型の詳細は後ほど。
25.
文字関係です。 > „a‟ „a‟ >
“Hello” Hello
26.
リストを使ってみます。 > [1,2,3] [1,2,3] >
head [1,2,3] 1 > tail [1,2,3] [2,3]
27.
リストは色々な操作が可能です。 > [1,2,3,4,5]
!! 2 3 > take 3 [1,2,3,4,5] [1,2,3] > drop 3 [1,2,3,4,5] [4,5] > reverse [1,2,3,4,5] [5,4,3,2,1]
28.
長さも変更可能です。 >
length [1,2,3,4,5] 5 > length (tail [1,2,3,4,5]) 4 > [1,2,3] ++ [4,5] [1,2,3,4,5]
29.
: 演算子(cons) >
1:2 [1,2] > 1:[2,3] [1,2,3]
30.
同じ型式でないといけません。
以下はエラーが発生します。 > [1,„a‟] > [1,“Hello”]
31.
ちなみに、文字と文字列の関係 > [„a‟,„b‟,„c‟] “abc”
文字列は文字のリスト、ということです。
32.
タプルを使ってみます。 > (1,2) (1,2) >
(1,2,3) (1,2,3)
33.
長さを変えられない代わりに、
違う型でも使えます。 > (1,‟a‟) (1,‟a‟) > (1,”Hello”) (1,”Hello”) > (1,'a',"hello",[1,2,3]) (1,'a',"hello",[1,2,3])
34.
タプルを使った関数。 > fst
(1,”hello”) 1 > snd (1,”hello”) ”hello”
35.
Prelude> putStrLn “Hello,
World!” Hello, World! Hello, World! と出力してくれる おなじみのサンプルです。
36.
putStrLn “Hello, World!”
関数を適用する場合は 空白文字を使います。
37.
Prelude> take 3
[1,2,3,4,5] [1,2,3] 2引数の関数です。 リストから指定した数の要素を 取り出します。 2つ以上の引数に対して関数適用する場合も 空白文字を使います。
38.
Prelude> take 3
(tail [1,2,3,4,5]) [2,3,4] 引数に関数を渡す場合は括弧を使います。
39.
関数を定義して実行してみましょう。
40.
$ ghci Prelude> let
main = putStrLn “Hello, World!” 等式の左辺が関数名、 右辺は関数の内容になります。 let 関数名=関数の内容 という形式です。
41.
先ほど定義したmainを使用してみます。 Prelude> main Hello,
World! 実行出来ました。
42.
先ほどはインタプリタで実行しました。 ならば今度は
コンパイルして実行してみましょう。
43.
以下の行をhello.hsというファイルに 保存します。 main = putStrLn “Hello, World!” 関数名=関数の内容という形式です。 先程と同様に等式の左辺が関数名、 右辺は関数の内容になります。 こちらが一般的な書き方です。 先ほどのletはインタプリタ用と考えてください。
44.
hello.hsをコマンドラインから コンパイルして実行してみます。 $ ghc --make hello.hs $ ./hello Hello, World! $ 実行できました。
45.
実際にHaskellを扱うに当たって
コードを記述して実行する方法は いくつかあります。 先程の例 › インタプリタ上で記述して実行 › ソースをコンパイルして実行
46.
実際にHaskellを扱うに当たって
コードを記述して実行する方法は いくつかあります。 その他 › ソースをインタプリタに渡して実行 › ソースをインタプリタから読み込んで実行
47.
ソースをインタプリタに渡して実行 $ ghci
hello.hs Ok, modules loaded: Main. Prelude Main> main Hello, World! Prelude Main> :q $
48.
ソースをインタプリタから読み込んで実行 $ ghci Prelude>
:load hello.hs Ok, modules loaded: Main. Prelude Main> main Hello, World! Prelude Main> :q $
49.
コンパイルして実行する場合 › 高速に実行できる › 実行するにはmainを定義する必要がある インタプリタで実行する場合 › 便利な機能が沢山あるので 学習する時に非常に便利 › mainを定義しなくても良い
50.
:reloadで再読み込みが出来る
51.
先程のhello.hsを読み込む。 > :load hello.hs > main Hello, World!
52.
GHCIを起動したまま、
別ウィンドウでhello.hsを編集する。 $ cat hello.hs main = putStrLn “Hello, World!” $ #編集 $ cat hello.hs main = putStrLn “Hello, Haskell!”
53.
GHCIのウィンドウに戻り、
再読み込み。 > :load hello.hs > main Hello, World! > :reload
54.
GHCIのウィンドウに戻り、
再読み込み。そして実行。 > :load hello.hs > main Hello, World! > :reload > main Hello, Haskell!
55.
インタプリタならではのやり方でした。
56.
あとは :type や :info など。 調べるのに便利な機能が色々あります。
57.
Haskellは型が重要。 型さえ覚えれば
第一の突破口クリア。
58.
1引数の関数を見てみる
headを見てみる > head [1,2,3] 1 > :t head head :: [a] -> a
59.
head :: [a]
-> a
60.
head :: [a]
-> a 関数名
61.
head :: [a]
-> a これ以降は型を表す
62.
head :: [a]
-> a 型
63.
head :: [a]
-> a a型 任意の型
64.
head :: [a]
-> a [a]型 任意のリスト型
65.
head :: [a]
-> a [a] -> a型 [a]型からa型へと変換する型
66.
head :: [a]
-> a [a] -> a型 [a]型からa型へと変換する関数
67.
head :: [a]
-> a [a] -> a型 任意のリスト型から任意の型へと 変換する関数
68.
a型を具体的な型に置き換えるため、 先程の例 > head [1,2,3] 1 を当てはめてみる。
69.
head :: [a]
-> a [a] -> a型 任意のリスト型から任意の型へと 変換する関数
70.
head :: [Num]
-> Num [Num] -> Num型 数値のリスト型から数値型へと 変換する関数
71.
head :: [Num]
-> Num headは[Num] -> Num型 数値のリスト型から数値型へと 変換する関数
72.
head :: [Num]
-> Num headは[Num] -> Num型 数値のリスト型から数値型へと 変換する関数 本当にそうなのか確認。
73.
> head [1,2,3] 1
74.
> head [1,2,3]
数値のリスト型 1 数値型
75.
> head [1,2,3]
数値のリスト型 1 数値型 数値のリスト型から 数値型へと正しく変換されている。
76.
1引数の関数を見てみる(2)
sumを見てみる > sum [1,2,3,4,5] 15 > :t sum sum :: Num a => [a] -> a
77.
型の読み方 sum ::
Num a => [a] -> a
78.
型の読み方 sum ::
Num a => [a] -> a 関数名
79.
型の読み方 sum ::
Num a => [a] -> a sum関数の型
80.
型の読み方 sum ::
Num a => [a] -> a [a]型をa型に変換する関数
81.
型の読み方 sum ::
Num a => [a] -> a aを数値型とするクラス
82.
型の読み方 sum ::
Num a => [a] -> a 数値のリスト型を 数値型に変換する関数
83.
型の読み方 sum ::
Num a => [a] -> a 数値のリスト型を 数値型に変換する関数 本当にそうなのか確認
84.
> sum [1,2,3,4,5] 15
85.
> sum [1,2,3,4,5]
数値のリスト型 15 数値型 数値のリスト型から数値型へ 正しく変換されている
86.
2引数の関数を見てみる(1)
takeを見てみる > take 3 [1,2,3,4,5] [1,2,3] > :t take take :: Int -> [a] -> [a]
87.
take :: Int
-> [a] -> [a]
88.
take :: Int
-> [a] -> [a] 関数名
89.
take :: Int
-> [a] -> [a] 型
90.
take :: Int
-> ([a] -> [a]) 右結合なので このように解釈する
91.
take :: Int
-> ([a] -> [a]) [a]型を受け取り [a]型を返す関数
92.
take :: Int
-> ([a] -> [a]) 関数A
93.
take :: Int
-> ([a] -> [a]) Int型を受け取り 関数Aを返す関数
94.
take :: Int
-> ([a] -> [a]) Int型を受け取り 関数A を返す関数
95.
take :: Int
-> ([a] -> [a]) Int型を受け取り ([a]型を受け取り [a]型を返す関数) を返す関数
96.
take :: Int
-> [a] -> [a] Int型を受け取り [a]型を受け取り [a]型を返す関数 を返す関数
97.
take :: Int
-> [a] -> [a] Int型を受け取り [a]型を受け取り [a]型を返す関数 を返す関数 言い換えると
98.
take :: Int
-> [a] -> [a] Int型と[a]型を受け取り [a]型を返す関数 という事です
99.
非常に分かりづらいので 順を追って解読してみる。
100.
takeにInt型の値(2)を渡してみる take ::
Int -> [a] -> [a] Int型を受け取り [a]型を受け取り [a]型を返す関数 を返す関数
101.
takeにInt型の値(2)を渡してみる (take 2)
:: Int -> [a] -> [a] Int型を受け取り [a]型を受け取り [a]型を返す関数 を返す関数
102.
takeにInt型の値(2)を渡してみる (take 2)
:: Int -> [a] -> [a] Int型を受け取り [a]型を受け取り [a]型を返す関数 を返す関数
103.
takeにInt型の値(2)を渡してみる (take 2)
:: [a] -> [a] [a]型を受け取り [a]型を返す関数
104.
(take 2)に[a]型の値([4,5,6])を渡してみる (take
2) :: [a] -> [a] [a]型を受け取り [a]型を返す関数
105.
(take 2)に[a]型の値([4,5,6])を渡してみる (take
2 [4,5,6]) :: [a] -> [a] [a]型を受け取り [a]型を返す関数
106.
(take 2)に[a]型の値([4,5,6])を渡してみる (take
2 [4,5,6]) :: [a] -> [a] [a]型を受け取り [a]型を返す関数
107.
(take 2)に[a]型の値([4,5,6])を渡してみる (take
2 [4,5,6]) :: [a] [a]型を返す関数
108.
(take 2)に[a]型の値([4,5,6])を渡してみる (take
2 [4,5,6]) = [4,5] [a]型を返す関数
109.
(take 2)に[a]型の値([4,5,6])を渡してみる (take
2 [4,5,6]) = [4,5] [4,5]を返す関数
110.
(take 2)に[a]型の値([4,5,6])を渡してみる (take
2 [4,5,6]) = [4,5] 結果 = [4,5] 本当にそうなのか確認
111.
> take 2
[4,5,6] [4,5]
112.
> take 2
[4,5,6] Int型 [4,5]
113.
> take 2
[4,5,6] Int型 [a]型 [4,5]
114.
> take 2
[4,5,6] Int型 [a]型 [4,5] [a]型
115.
> take 2
[4,5,6] Int型 [a]型 [4,5] [a]型 どうやら本当になったようです。
116.
実際にGHCIでも確認してみましょう。
117.
> :t take take
:: Int -> [a] -> [a] > :t take 2 take 2 :: [a] -> [a] > :t take 2 [4,5,6] take 2 [4,5,6] :: Num a => [a] > take 2 [4,5,6] [4,5]
118.
確かにそのように動作していました。
119.
少々かみ砕きすぎたでしょうか。
余計難しくなったかも知れません。 一言で説明しても順を追って説明しても 難解な概念ですが、何度かソースを書いて 試して見ると、急にすっと分かるように なります。
120.
型を意識して作る必要があります。 型を考えるという事は
入力の形と出力の形を考える事、 そして関数の入出力と処理内容を 切り分ける事へと繋がります。 型の概念は難しい部分がありますが、 型が分かるようになると 難しい事を考えなくても プログラムが書けるようになります。
121.
全体的に駆け足で説明する事に
なってしまいました。 Haskellが分かるようになると いつの間にか面白いと思うようになります。 ありがとうございました。
Descargar ahora