Let's LL

Copyright © 2017 SG Corporation. All right reserved.
Let’s LL
第二事業部市岡岳彦
2017/2/3

本資料の内容は(株)エス・ジー社員の
市岡岳彦の個人的見解であり、
(株)エス・ジーの公式見解ではありません。
2017/2/3 2

LL?
2017/2/3 3

Lightweight
Language
2017/2/3 4

Lightweight
2017/2/3 5

Language
2017/2/3 6

スクリプト言語とか
2017/2/3 7

動的型言語とか
言われてたもの
2017/2/3 8

PHP,JavaScript,
Python,Ruby,…
2017/2/3 9

でも
2017/2/3 10

巷間伝えるところ
2017/2/3 11

変数に型がないと
わかりにくいよ
2017/2/3 12

コンパイル時の
型安全性が確保できない
2017/2/3 13

勝手に型が変換されて
よくわからない
2017/2/3 14

とかね
2017/2/3 15

disってても
仕方がないので
2017/2/3 16

まずは静的型言語を
見てみよう
2017/2/3 17

printf(“%s:%dn”, “orange”, 5);
2017/2/3 18

これは変だ
2017/2/3 19

printf(“%s:%dn”, “orange”, 5);
Cの可変長引数は型安全じゃない
2017/2/3 20

System.out.println(“orange:” + 5);
2017/2/3 21

これは変だ
2017/2/3 22

System.out.println(“orange:” + 5);
Javaは演算子オーバーロードは
ないはずなのに？
2017/2/3 23

もうちょっと
見てみよう
2017/2/3 24

Cでは…
0がfalseで
0以外はtrue
2017/2/3 25

Cでは…
文字列に’0’が
出現したら終端
2017/2/3 26

ですよねー
2017/2/3 27

静的型言語も
2017/2/3 28

変なルールが
いっぱいあるよ
2017/2/3 29

お互い様だね
2017/2/3 30

それはそうと
2017/2/3 31

人々は言う
2017/2/3 32

型がない
2017/2/3 33

正確に言うと
2017/2/3 34

変数に型がない
2017/2/3 35

と言うか
2017/2/3 36

プログラミングスタイル
の違いとして
2017/2/3 37

型を変数の属性と
みなすか
2017/2/3 38

型を値の属性と
みなすか
2017/2/3 39

型がないわけじゃない
2017/2/3 40

えーと
2017/2/3 41

[Pythonの場合]
x = 'banana'
print type(x) # <type 'str'>
x = 2357
print type(x) # <type 'int'>
2017/2/3 42

[PyObject構造体]
typedef struct _object {
PyObject_HEAD
} PyObject;
typedef struct {
PyObject_HEAD
long ob_ival;
} PyIntObject;
2017/2/3 43

Pythonの内部構造::PyObject
http://postd.cc/python-
internals-pyobject/
2017/2/3 44

これはそれほど
驚くことでもない
2017/2/3 45

JavaやC#プログラマだって
2017/2/3 46

意識してることだよね
2017/2/3 47

してるよね
2017/2/3 48

しろよ
2017/2/3 49

Object型であれば
なんだって入るからね
2017/2/3 50

[Javaの場合]
Object obj = "grape";
System.out.println(obj.getClass());
// class java.lang.String
obj = 1234;
System.out.println(obj.getClass());
// class java.lang.Integer
2017/2/3 51

それを踏まえて
2017/2/3 52

[Pythonの場合]
a = ‘banana' # <type 'str'>
b = 2357 # <type 'int'>
2017/2/3 53

変数宣言と同時に
代入によって
2017/2/3 54

暗黙の型宣言がなされて
いるようなもの
2017/2/3 55

[Pythonの場合]
str a = ‘banana'
int b = 2357
2017/2/3 56

LLプログラマには
コードがこう見えてる
2017/2/3 57

ところで
2017/2/3 58

コンパイル時の
型安全性が確保できない
2017/2/3 59

って、言ってたよね
2017/2/3 60

いつ
型チェックをするか？
2017/2/3 61

「実行時」です
2017/2/3 62

彼らはなぜ
2017/2/3 63

それで問題ないと
主張するのか？
2017/2/3 64

「テストファースト」
2017/2/3 65

ここ重要
2017/2/3 66

ユニットテストの
テストケースがない
コードは
2017/2/3 67

信用できない
2017/2/3 68

ユニットテストは
2017/2/3 69

コンパイラの
検証より有用
2017/2/3 70

強力な柔軟性を
手に入れつつ
2017/2/3 71

プログラムの動作を
担保する
2017/2/3 72

じゃあ
2017/2/3 73

柔軟性って？
2017/2/3 74

「ダックタイピング」
2017/2/3 75

class Duck:
def sound(self):
return 'quack'
def test(foo):
print foo.sound()
test(Duck()) # quack
2017/2/3 76

インターフェースと
なにが違うの？
2017/2/3 77

インターフェースは
一度決めると
後から変えるのが大変
2017/2/3 78

はじめに全てが分かって
いるわけではない
2017/2/3 79

継承関係は必要ない
2017/2/3 80

型宣言による
強制ではなく
2017/2/3 81

コメントとユニットテスト
によるドキュメント化
2017/2/3 82

より柔軟な
クラス間の協調
2017/2/3 83

…
2017/2/3 84

とはいえ
2017/2/3 85

最近の傾向は
2017/2/3 86

両者いいとこ取り
2017/2/3 87

「タイプヒンティング」
2017/2/3 88

PHP
2017/2/3 89

PHP7から
タイプヒンティング
ではなく
2017/2/3 90

型宣言という
ふつうの用語になって
しまいましたが
2017/2/3 91

型宣言なし
2017/2/3 92

function sum($a, $b) {
return $a + $b;
}
sum(1.5, 2.5); # 4
2017/2/3 93

弱い型チェック
2017/2/3 94

function sum(int $a, int $b) {
return $a + $b;
}
sum(1.5, 2.5); # 3
2017/2/3 95

強い型チェック
2017/2/3 96

declare(strict_types=1);
function sum(int $a, int $b) {
return $a + $b;
}
sum(1.5, 2.5); # 実行時エラー
2017/2/3 97

型チェックの強度を
選ぶことができる
2017/2/3 98

コメントによる型宣言
2017/2/3 99

「Closure Compiler」
https://developers.google.com/closure/comp
iler/
2017/2/3 100

JavaScript
2017/2/3 101

function sum(a, b) {
return a + b;
}
2017/2/3 102

JSDocの
アノテーションで
2017/2/3 103

/**
* @param {number} a
* @param {number} b
* @return {number}
*/
function sum(a, b) {
return a + b;
}
2017/2/3 104

とか
2017/2/3 105

function /** number */ sum(
/** number */ a,
/** number */ b) {
return a + b;
}
2017/2/3 106

とか書ける
2017/2/3 107

言語仕様の外側に
型チェックを設ける
2017/2/3 108

型推論
2017/2/3 109

C#
2017/2/3 110

Dictionary<string, string> dict = new Dictionary<string, string>()
{
{ "banana", "yellow" },
{ "apple", "red" },
{ "orange", "orange" }
};
foreach (KeyValuePair<string, string> elem in dict)
{
Console.WriteLine(elem.Key + ":" + elem.Value);
}
2017/2/3 111

dictとelemの型は
文脈から推論できる
2017/2/3 112

[dict]
Dictionary<string, string>
コンストラクタが返す型
2017/2/3 113

var dict = new Dictionary<string, string>()
{
{ "apple", "red" },
};
foreach (KeyValuePair<string, string> elem in dict)
{
}
2017/2/3 114

[elem]
dictからforeachで取り出されて
Key,Valueプロパティを
持っているような型
2017/2/3 115

var dict = new Dictionary<string, string>()
{
{ "apple", "red" },
};
foreach (var elem in dict)
{
}
2017/2/3 116

間違ってると
2017/2/3 117

実行時ではなく
2017/2/3 118

コンパイル時に
エラーになるよ
2017/2/3 119

じゃあ、まとめ
2017/2/3 120

型の強制をプログラマが
制御できることにより
2017/2/3 121

選択の幅が広がる
2017/2/3 122

APIの
インターフェースは
型宣言
2017/2/3 123

ローカル変数の
型宣言はてきとうに
2017/2/3 124

とかね
2017/2/3 125

参考文献
オブジェクト指向設計実践ガイド
～Rubyでわかる進化しつづける柔軟なアプリケーションの育て方
Sandi Metz 著，髙山泰基訳
技術評論社
2017/2/3 126

(株)エス・ジー
http://www.sgnet.co.jp
ブログ
http://blog.sgnet.co.jp
2017/2/3 127

Let's LL

Recommended

Recommended

More Related Content

Similar to Let's LL

Similar to Let's LL (20)

Recently uploaded

Recently uploaded (20)

Let's LL