Enviar pesquisa
Carregar
Haskell超入門 Part.1
•
9 gostaram
•
2,659 visualizações
Yuichi Watanabe
Seguir
Tecnologia
Denunciar
Compartilhar
Denunciar
Compartilhar
1 de 121
Baixar agora
Baixar para ler offline
Recomendados
Haskellで学ぶ関数型言語
Haskellで学ぶ関数型言語
ikdysfm
純粋関数型アルゴリズム入門
純粋関数型アルゴリズム入門
Kimikazu Kato
SPAセキュリティ入門~PHP Conference Japan 2021
SPAセキュリティ入門~PHP Conference Japan 2021
Hiroshi Tokumaru
StackStormを活用した運用自動化の実践
StackStormを活用した運用自動化の実践
Shu Sugimoto
ソーシャルゲームにおけるMongoDB適用事例 - Animal Land
ソーシャルゲームにおけるMongoDB適用事例 - Animal Land
Masakazu Matsushita
Dockerfileを改善するためのBest Practice 2019年版
Dockerfileを改善するためのBest Practice 2019年版
Masahito Zembutsu
20160526 依存関係逆転の原則
20160526 依存関係逆転の原則
bonjin6770 Kurosawa
MongoDBが遅いときの切り分け方法
MongoDBが遅いときの切り分け方法
Tetsutaro Watanabe
Recomendados
Haskellで学ぶ関数型言語
Haskellで学ぶ関数型言語
ikdysfm
純粋関数型アルゴリズム入門
純粋関数型アルゴリズム入門
Kimikazu Kato
SPAセキュリティ入門~PHP Conference Japan 2021
SPAセキュリティ入門~PHP Conference Japan 2021
Hiroshi Tokumaru
StackStormを活用した運用自動化の実践
StackStormを活用した運用自動化の実践
Shu Sugimoto
ソーシャルゲームにおけるMongoDB適用事例 - Animal Land
ソーシャルゲームにおけるMongoDB適用事例 - Animal Land
Masakazu Matsushita
Dockerfileを改善するためのBest Practice 2019年版
Dockerfileを改善するためのBest Practice 2019年版
Masahito Zembutsu
20160526 依存関係逆転の原則
20160526 依存関係逆転の原則
bonjin6770 Kurosawa
MongoDBが遅いときの切り分け方法
MongoDBが遅いときの切り分け方法
Tetsutaro Watanabe
関数型プログラミングのデザインパターンひとめぐり
関数型プログラミングのデザインパターンひとめぐり
Kazuyuki TAKASE
React + Amplifyで アプリ開発
React + Amplifyで アプリ開発
虎の穴 開発室
さわってみようTOPPERS/SSP
さわってみようTOPPERS/SSP
NSaitoNmiri
ラズパイでデバイスドライバを作ってみた。
ラズパイでデバイスドライバを作ってみた。
Kazuki Onishi
WordPressのCDN化
WordPressのCDN化
J-Stream Inc.
Dockerfile を書くためのベストプラクティス解説編
Dockerfile を書くためのベストプラクティス解説編
Masahito Zembutsu
macOSの仮想化技術について ~Virtualization-rs Rust bindings for virtualization.framework ~
macOSの仮想化技術について ~Virtualization-rs Rust bindings for virtualization.framework ~
NTT Communications Technology Development
Laravelを用いたゲームサーバーのチューニング
Laravelを用いたゲームサーバーのチューニング
NOW PRODUCTION
「実践ドメイン駆動設計」 から理解するDDD (2018年11月)
「実践ドメイン駆動設計」 から理解するDDD (2018年11月)
A AOKI
Java ORマッパー選定のポイント #jsug
Java ORマッパー選定のポイント #jsug
Masatoshi Tada
AvailabilityZoneとHostAggregate
AvailabilityZoneとHostAggregate
Hiroki Ishikawa
perfを使ったPostgreSQLの解析(前編)
perfを使ったPostgreSQLの解析(前編)
NTT DATA OSS Professional Services
オブジェクト指向エクササイズのススメ
オブジェクト指向エクササイズのススメ
Yoji Kanno
忙しい人の5分で分かるDocker 2017年春Ver
忙しい人の5分で分かるDocker 2017年春Ver
Masahito Zembutsu
Dockerクイックツアー
Dockerクイックツアー
Etsuji Nakai
世界一わかりやすいClean Architecture
世界一わかりやすいClean Architecture
Atsushi Nakamura
QUICとNATと
QUICとNATと
Yuya Rin
Domain Modeling Made Functional (DevTernity 2022)
Domain Modeling Made Functional (DevTernity 2022)
Scott Wlaschin
Rpn and forth 超入門
Rpn and forth 超入門
Yoshitaka Seo
C++20 the small things - Timur Doumler
C++20 the small things - Timur Doumler
corehard_by
Haskell Day2012 - 参照透過性とは何だったのか
Haskell Day2012 - 参照透過性とは何だったのか
Kousuke Ruichi
数学プログラムを Haskell で書くべき 6 の理由
数学プログラムを Haskell で書くべき 6 の理由
Hiromi Ishii
Mais conteúdo relacionado
Mais procurados
関数型プログラミングのデザインパターンひとめぐり
関数型プログラミングのデザインパターンひとめぐり
Kazuyuki TAKASE
React + Amplifyで アプリ開発
React + Amplifyで アプリ開発
虎の穴 開発室
さわってみようTOPPERS/SSP
さわってみようTOPPERS/SSP
NSaitoNmiri
ラズパイでデバイスドライバを作ってみた。
ラズパイでデバイスドライバを作ってみた。
Kazuki Onishi
WordPressのCDN化
WordPressのCDN化
J-Stream Inc.
Dockerfile を書くためのベストプラクティス解説編
Dockerfile を書くためのベストプラクティス解説編
Masahito Zembutsu
macOSの仮想化技術について ~Virtualization-rs Rust bindings for virtualization.framework ~
macOSの仮想化技術について ~Virtualization-rs Rust bindings for virtualization.framework ~
NTT Communications Technology Development
Laravelを用いたゲームサーバーのチューニング
Laravelを用いたゲームサーバーのチューニング
NOW PRODUCTION
「実践ドメイン駆動設計」 から理解するDDD (2018年11月)
「実践ドメイン駆動設計」 から理解するDDD (2018年11月)
A AOKI
Java ORマッパー選定のポイント #jsug
Java ORマッパー選定のポイント #jsug
Masatoshi Tada
AvailabilityZoneとHostAggregate
AvailabilityZoneとHostAggregate
Hiroki Ishikawa
perfを使ったPostgreSQLの解析(前編)
perfを使ったPostgreSQLの解析(前編)
NTT DATA OSS Professional Services
オブジェクト指向エクササイズのススメ
オブジェクト指向エクササイズのススメ
Yoji Kanno
忙しい人の5分で分かるDocker 2017年春Ver
忙しい人の5分で分かるDocker 2017年春Ver
Masahito Zembutsu
Dockerクイックツアー
Dockerクイックツアー
Etsuji Nakai
世界一わかりやすいClean Architecture
世界一わかりやすいClean Architecture
Atsushi Nakamura
QUICとNATと
QUICとNATと
Yuya Rin
Domain Modeling Made Functional (DevTernity 2022)
Domain Modeling Made Functional (DevTernity 2022)
Scott Wlaschin
Rpn and forth 超入門
Rpn and forth 超入門
Yoshitaka Seo
C++20 the small things - Timur Doumler
C++20 the small things - Timur Doumler
corehard_by
Mais procurados
(20)
関数型プログラミングのデザインパターンひとめぐり
関数型プログラミングのデザインパターンひとめぐり
React + Amplifyで アプリ開発
React + Amplifyで アプリ開発
さわってみようTOPPERS/SSP
さわってみようTOPPERS/SSP
ラズパイでデバイスドライバを作ってみた。
ラズパイでデバイスドライバを作ってみた。
WordPressのCDN化
WordPressのCDN化
Dockerfile を書くためのベストプラクティス解説編
Dockerfile を書くためのベストプラクティス解説編
macOSの仮想化技術について ~Virtualization-rs Rust bindings for virtualization.framework ~
macOSの仮想化技術について ~Virtualization-rs Rust bindings for virtualization.framework ~
Laravelを用いたゲームサーバーのチューニング
Laravelを用いたゲームサーバーのチューニング
「実践ドメイン駆動設計」 から理解するDDD (2018年11月)
「実践ドメイン駆動設計」 から理解するDDD (2018年11月)
Java ORマッパー選定のポイント #jsug
Java ORマッパー選定のポイント #jsug
AvailabilityZoneとHostAggregate
AvailabilityZoneとHostAggregate
perfを使ったPostgreSQLの解析(前編)
perfを使ったPostgreSQLの解析(前編)
オブジェクト指向エクササイズのススメ
オブジェクト指向エクササイズのススメ
忙しい人の5分で分かるDocker 2017年春Ver
忙しい人の5分で分かるDocker 2017年春Ver
Dockerクイックツアー
Dockerクイックツアー
世界一わかりやすいClean Architecture
世界一わかりやすいClean Architecture
QUICとNATと
QUICとNATと
Domain Modeling Made Functional (DevTernity 2022)
Domain Modeling Made Functional (DevTernity 2022)
Rpn and forth 超入門
Rpn and forth 超入門
C++20 the small things - Timur Doumler
C++20 the small things - Timur Doumler
Destaque
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
Destaque
(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
Semelhante 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
Semelhante 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
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
Toru Tamaki
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
Toru Tamaki
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
CRI Japan, Inc.
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
sn679259
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
WSO2
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
CRI Japan, Inc.
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
atsushi061452
Último
(10)
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
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が分かるようになると いつの間にか面白いと思うようになります。 ありがとうございました。
Baixar agora