haskell-jp / questions #57

matsubara0507
2019-04-17 10:03:07 +0900
TermSucc TermZero などが書ける
ekmett
2019-04-17 16:52:24 +0900
@ekmett has joined the channel
y_taka_23
2019-04-18 04:25:04 +0900
aws-lambda-haskell-runtime で同様の現象を経験しました。メモリの割り当てを増やしながらベンチをとったところ 1sec 程度までは改善しましたが、それ以上縮まらず実用は諦めました。
kazu
2019-04-18 15:13:33 +0900
たとえば、「a -> a を満たす実装は一つ(id)しかない」は、何の定理から言えることですか？ theorem for free だと思って読んだんですが、それらしいことが書かれているとは思えませんでした。
Guvalif
2019-04-18 15:17:13 +0900
∀a. a -> a という論理式で考えれば、「Int -> Int ∧ Char -> Char ∧ ... ∧ SomeType -> SomeType」と無限論理積に展開できるので、自明に id しか存在しないと考えていますが、どうなんでしょう？
kazu
2019-04-18 15:18:39 +0900
直感的にはそうなんですが。。。
kazu
2019-04-18 15:19:43 +0900
fmap の実装は一つしかないは、どこから来るのかが元々の疑問で、まず簡単な a -> a から質問しました。
cutsea110
2019-04-18 15:56:19 +0900
多相関数を数える()かな
cutsea110
2019-04-18 15:57:03 +0900
aの構成方法が未知なので引数としてもらったものをそのまま返す関数しか構成できないからですね
cutsea110
2019-04-18 15:58:10 +0900
もちろんHaskellではundefinedがあるのでidの他にもう一つconst undefinedがあります。
cutsea110
2019-04-18 15:59:21 +0900
なので関数(全域関数)なら一本しかなくHaskellのように部分関数まで考慮するなら二本になる
cutsea110
2019-04-18 16:00:43 +0900
というような話を上の @nobsun の記事に対して書いたのが https://qiita.com/cutsea110/items/3496394968cb7ac73047
as_capabl
2019-04-18 16:01:31 +0900
このまえMizunashi_Manaさんから教えてもらったんですが、Parametricityという性質らしいです。 https://www.well-typed.com/blog/2015/05/parametricity/
as_capabl
2019-04-18 16:02:48 +0900
Theorems for freeについては読んだ事がないのですが、上の記事中にはFree theoremの事が出てきている模様
2019-04-18 16:57:14 +0900
free theorems については，
• https://reasonablypolymorphic.com/blog/theorems-for-free/
• http://www21.in.tum.de/~boehmes/diplomathesis.pdf
とかが分かりやすいかもです．で， id については次の theorem が得られます

forall f => id' . f = f . id'


これは， https://alexknvl.com/cgi-bin/free-theorems-webui.cgi で a -> a で theorem を取得するといいと思います．

ここで，例えば任意の x について f = const x を考えてみると，
id' (const x y) = const x (id' y)
<=> id' x = x

となるため， id の free theorem から f :: a -> a; \x -> x が一意に決まります
2019-04-18 16:58:08 +0900
( lambdabot が Slack で導入できるらしいので， lambdabot で free theorem が取得できるとこういう時便利だなと思いました) (使う機会あるのかな？)
2019-04-18 17:08:14 +0900
ついでに， fmap の一意性については，簡単な証明を先日降臨された ekmett 先生が書いてます: https://www.schoolofhaskell.com/user/edwardk/snippets/fmap
こちらは， fmap' id = id を仮定した時に fmap' :: (a -> b) -> (f a -> f b) の free theorem から fmap' f = fmap f が示せるため一意であるという感じですね
ogata-k
2019-04-18 20:50:32 +0900
@ogata-k has joined the channel
kazu
2019-04-19 10:33:41 +0900
みなさん、ありがとうございます。大変勉強になりました。
furugomu
2019-04-19 13:05:05 +0900
@furugomu has joined the channel
2019-04-19 22:07:53 +0900
@ has joined the channel
2019-04-20 14:48:22 +0900
@ has joined the channel
Yasuaki Takebe
2019-04-20 20:31:08 +0900
@Yasuaki Takebe has joined the channel
stephan
2019-04-20 21:49:34 +0900
@stephan has joined the channel
2019-04-20 22:56:24 +0900
@ has joined the channel
2019-04-21 00:46:35 +0900
@ has joined the channel
Nash
2019-04-21 01:24:57 +0900
@Nash has joined the channel
r6eve
2019-04-21 15:01:50 +0900
@r6eve has joined the channel
Masamichi Sato
2019-04-22 19:05:19 +0900
@Masamichi Sato has joined the channel
neko
2019-04-23 12:49:07 +0900
@neko has joined the channel
speedcell4
2019-04-23 17:40:50 +0900
@speedcell4 has joined the channel
Masaya developer
2019-04-23 18:45:09 +0900
@Masaya developer has joined the channel
Masaya developer
2019-04-23 18:49:29 +0900
はじめまして！　関数型プログラミングに興味があってHaskellを学んでみたいと思ってます。
早速質問なんですが、日本語でHaskellを勉強するには何がいいと思いますか？
あの絵本みたいなチュートリアルの日本語版の書籍を買うのがいいんでしょうか？
教えていただけると幸いです！
igrep
2019-04-23 18:56:14 +0900
そうですね。いろいろ古い部分はありますが、今でもすごいH本が個人的におすすめです。
https://www.amazon.co.jp/dp/B009RO80XY/
古くなっている部分については https://qiita.com/Aruneko/items/e72f7c6ee49159751cba をご覧ください。

また、入門記事が https://wiki.haskell.jp/Links#%E5%85%A5%E9%96%80%E7%B3%BB にまとまっています。
こちらはいずれもお金がかからないので、一度目を通してみるといいかと思います。
igrep
2019-04-23 18:57:15 +0900
.oO（「いやこれを読め」という方は引き続きコメントを！特に入門書を書いた人とか！）
Masaya developer
2019-04-23 19:06:23 +0900
教えていただきありがとうございます！なるほど、やっぱりあの書籍は買ったほうが良さそうですね。無料で見れるものまで紹介していただき、本当にありがとうございます！
2019-04-23 19:46:27 +0900
ご紹介いただきありがとうございます！
記事について質問があればお気軽にどうぞ！
keserasera
2019-04-23 20:27:38 +0900
@keserasera has joined the channel
Masaya developer
2019-04-23 20:56:17 +0900
ご本人から！わざわざありがとうございます！
Masaya developer
2019-04-23 20:58:06 +0900
ぜひとも、「すごいHaskell」を読む際は参考にさせていただきたいと思います！
rst76
2019-04-23 21:37:48 +0900
@rst76 has joined the channel
k-endo
2019-04-24 18:51:12 +0900
@k-endo has joined the channel
GolDDranks
2019-04-25 00:57:15 +0900
@GolDDranks has joined the channel
GolDDranks
2019-04-25 01:05:26 +0900
すみません、Haskellの書籍のおすすめを聞きたいんです。Haskellについては全くの初心者です。（背景はRustやPythonです）会社の本棚に本を買おうと思いますので汎用的な書籍だと助かります。読みそうな人はPythonやRやってる人だと考えておすすめしてください！
kyotsuya
2019-04-26 11:15:40 +0900
@kyotsuya has joined the channel
kayhide
2019-04-27 15:45:16 +0900
extensible についてです。
このようなタイプ↓があります。
newtype Required a = Required a
newtype Optional a = Optional (Maybe a)

type PersonParams =
  Record
  '[ "name" >: Required Text
   , "age" >: Optional Int
   ]


これをこのように↓バラすことってできますでしょうか？
type PersonRequiredParams =
  RecordOf Required
  '[ "name" >: Text
   ]

type PersonOptionalParams =
  RecordOf Optional
  '[ "age" >: Int
   ]
kayhide
2019-04-27 15:49:37 +0900
key や value はポリモーフィックに扱いたいです。
matsubara0507
2019-04-27 16:05:30 +0900
こういう関数ならかけますけど Required a や Optional b は知らないです。
hello :: Associate "name" Text xs => Record xs -> Text
hello r = mconcat [ "Hello ", r ^. #name, "!"]
kayhide
2019-04-27 16:18:17 +0900
ちょっと質問点がわかりにくかったかもしれないですね。
やりたいのはこういうことです。