はじめてのにき(2018-12)

# let choose x y = if true then x else y;;
val choose : 'a -> 'a -> 'a = <fun>
# let id x = x;;
val id : 'a -> 'a = <fun>
# let cii = (choose id) id;;
val cii : '_a -> '_a = <fun>

ここで cii は true ? id : id の結果なので、当然 id と同じものであって欲しい。 id はこういう感じで色んな型の引数を受けつけられる

# id 1;;
- : int = 1
# id true;;
- : bool = true

cii もそう期待したくて、

# cii 1;;
- : int = 1

よしよし、と true を適用すると

# cii true;;
Error: This expression has type bool but an expression was expected of type
         int

怒られる。ここで id と cii の型を見ると

# id;;
- : 'a -> 'a = <fun>
# cii;;
- : int -> int = <fun>

と、 cii の方は int に確定してしまっている。これが 'a と '_a の違いらしく、前者は ∀a がついてて、後者は ∃a がついてる感じぽい。

全ての型を受けつけられるけど、一回特定の型相手に使うと型が確定しちゃうものとして、 ref None とかがあるよ、と教えてもらった。

# let a = ref None;;
val a : '_a option ref = {contents = None}
# a := Some 3;;
- : unit = ()
# a;;
- : int option ref = {contents = Some 3}

なるほどねえ。型とかちゃんとやってる人には常識なんだろうけど、なるほどなあと思った

最後に id と cii は型が違うにも関わらず、比較ができてかつ true になる

# id == cii;;
- : bool = true

これはなんかちょっと違和感あるな…実体が1つしか無いのはそうなのだろうけど。

あと多相な関数の比較ちょっと面白いな…こういうことができるのね

# id;;
- : 'a -> 'a = <fun>
# let func x y = fun a -> y;;
val func : 'a -> 'b -> 'c -> 'b = <fun>
# id == func;;
- : bool = false

(19:50)

[ツッコミを入れる]

2018-12-16

_ 次の質問をどうぞ

https://www.taro.org/2018/12/%E6%AC%A1%E3%81%AE%E8%B3%AA%E5%95%8F%E3%82%92%E3%81%A9%E3%81%86%E3%81%9E.php

あれは本当にガッカリする感じだったけど、「その質問には答えられませんという意味で「次の質問をどうぞ」と答えたのです。せめていつものように「お答えは差し控えます」と答えるべきでした。」とちゃんと書いてくれたのは良かった

まあいくつかの質問は別に答えられたんじゃ、という感はあるわけだけど

(00:23)

_ 商売の話

http://syakkin-dama.hatenablog.com/entry/businessep1

via https://twitter.com/Archangel_HT/status/1073816228039294976

面白いなー

(00:51)

[ツッコミを入れる]

2018-12-17

_ Edge に対する嫌がらせ

https://news.ycombinator.com/item?id=18697824

たぶん、ハンロンの剃刀だろうなあとは思う、けど「Chrome で動けばとりあえずええやろ！」て雰囲気はもちろんあると思う。ある種、未必の故意みたいな感があるかもなあ

まあ独占的な強さになるての、こういう面はあるよなあ

独占禁止的な観点から言うと、独占的なアプリを持ってる企業は、他のアプリとの相互運用を確認する必要がある、みたいなルールが、あるべきなのかね。 Google Docs は SKK との相性が良くないことがあってけしからん……とか言う気はないけど

(23:56)

[ツッコミを入れる]

2018-12-18

_ 東大

流行ってるらしい

https://note.mu/tonoike0604/n/n611642c5f61c

https://note.mu/_katsura/n/n20df50ba1dc1

まあとりあえずそれは虐待だろという子供時代やな……

直接関係ないけど、

https://note.mu/s1ckbutpretty/n/na6c586132aac

は面白かった

(03:16)

[ツッコミを入れる]

2018-12-22

_ ロシア踊り

https://www.youtube.com/watch?v=bU2on24sI1s

すご

(15:50)

_ TVM level autodiff

https://github.com/dmlc/tvm/issues/1996

https://github.com/sgrechanik-h/tvm/commit/9ecd5c73eef1fffe645b07137b0e295a08519da8

割とシンプル。パフォーマンスが unacceptable てのはそうだろうなあ

(23:35)

[ツッコミを入れる]

2018-12-24

_ マンガ

マイホームヒーローが面白すぎた

のでそれ以外で今年読んで面白かったマンガを思い出すと、波よ聞いてくれ、卯月妙子全部、ミステリと言う勿れ、薫の秘話、あたり

あと引き続きヒストリエレイリとダンジョン飯とひなまつりは面白い。レッドとハイスコアガール終わったのはまだ今年か…

(03:38)

_ char8_t

https://qiita.com/yumetodo/items/54e1a8230dbf513ea85b

文字列ライブラリはあった方が良いと思うけど、プリミティブはchar型でいいじゃん、 ASCII 以外は2級市民でいいし、 Ruby 1.9 も Python 3 もバイナリ扱いにくくなった、と意識低い人間ですが

なんか絶賛されてる雰囲気だったのだけど、正直あんま論旨にピンと来なかったかなあ

欧米がーみたいな論調に違和感を覚えるからまともに読めないというのもあるのかもしれない。 wchar_t とか日本の人が多大な貢献をしてると K&R 日本語版の前書きに書いてあるわけで。。今となっては wchar_t とか黒歴史なのでしょうけど、それが欧米だけのせいかというとたぶん違うし、昔の誰かが間違ってたことをもって、現在も断罪してる感があって、ちょっとな

僕としては basic_string と wstring を捨てて、何からも継承せず byte 文字列しか扱えない string が欲しいです。あと iostream とかできれば全ての strxxx はデフォルトで全ての locale を無視してほしい。その上で気が向いたら国際化文字列クラスとかあったらいいと思うかな……いやなくてもいいかもしれない。よくわからないので、知らない

(04:02)

_ TVM / Halide

どうもこれ、基本的なとこは自分で作れるレベルな気がするんだよなあ。作りたくなる……が、やめた方がいいのだろうなあ

誰かマジメに一緒にやってくれる人がいたらいいんだけど

(04:04)

本日のツッコミ(全2件) [ツッコミを入れる]

_ Mak [惑星９の休日もお願いします。。]

_ shinh [あまり印象に残らなかったですね……どっちかというと、そこから関連で飛んだ変身のニュースが]

2018-12-25

_ char8_t

https://naruse.hateblo.jp/entry/2018/12/24/013446

なるせさんが書いてた内容が、ずいぶんとしっくりきた

(01:57)

_ これが

https://twitter.com/ttuusskk/status/1076904199323971584

見たかったよね

(01:58)

_ 我らコンタクティ

をすすめてもらって、読んで、その後、これ好きならハックスとか映像研とかも好きですかねーとか言ってた

よく考えるまでもなくあまり似てないけど、どういう分類の仕方してるんだろう。なんか主人公が趣味に没頭してる感？

(02:01)

_ to_h

https://techlife.cookpad.com/entry/2018/12/25/110240

の

["Foo", "Bar"].to_h {|x| [x.upcase, x.downcase] }

を見て、これがアリなら to_s もブロック取っちゃダメなのかな、と思った

[1,2].map{|x|x**x}.join('')

が

[1,2].to_s{|x|x**x}

になるというような

(11:58)

_ glog

pytorch も TVM も glog 使うモードあるのか…

https://github.com/pytorch/pytorch/blob/cca247635c6edb323176eeac7a18d3e9ab71c558/cmake/public/glog.cmake

https://github.com/dmlc/dmlc-core/blob/master/include/dmlc/logging.h#L38

(16:44)

_ 12x + 1 = 13

https://www.quora.com/If-12x-1-13-what-is-x

自明に見える問題でも、ちゃんと手順踏んで解いてないと、困るよ、て話かな。確かに一見で答えがわからないと答えられないという人がいる気がして、なるほどという感じ。

(22:12)

[ツッコミを入れる]

2018-12-26

_ 輪るピングドラム

dアニメストアというのが無料体験できるということだったので、仕事しながら横目で見てたのだけど、よくわからなかった

http://blog.livedoor.jp/kottori/archives/51934222.html

こんなにマジメな話だったのか…

(11:19)

[ツッコミを入れる]

2018-12-29

_ コント

https://ken-horimoto.com/20181228115315

ブログ自体はすごく面白く(funnyという意味で)読んだ。

で実際聞いてみた、ら、やはり事前の解説通りすごく面白い(funnyという意味で)。

ただなんか、後半まで聞いていくと、これなんか、CS関係のことで、コイツわかってないだろ、くらいに思うくらい、適当に喋っているというか、いい加減なことを言ってるような気がするところがところどころ。本当にわかってないかどうかはわからないが

なんにせよ、わかりやすく説明できるならするし、できないならなるべく頑張る、というのが良いことだと思ってるので、良くないな、笑ってる場合でもないのだろうか、とか思う

(02:49)

[ツッコミを入れる]

2018-12-31

_ 今年

なんか近年になく色々あったなー

良いこと楽しいことがとても多かったのが良かったことで、ただひとつ悪いことがあった

(16:50)

[ツッコミを入れる]

全てリンクフリーです。コード片は自由に使用していただいて構いません。その他のものはGPL扱いであればあらゆる使用に関して文句は言いません。なにかあれば下記メールアドレスへ。


		2018年 12月
日	月	火	水	木	金	土
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	19	20	21	22
23	24	25	26	27	28	29
30	31