haskell-jp / sg-ifl-tut #1

1to100pen
2021-07-23 13:16:33 +0900
@1to100pen has joined the channel
1to100pen
2021-07-23 13:16:33 +0900
set the channel description: Implementing functional languages: a tutorial 勉強会の連絡用チャネル
takoeight0821
2021-07-23 14:47:26 +0900
@takoeight0821 has joined the channel
kakkun61
2021-07-23 16:47:37 +0900
@kakkun61 has joined the channel
Yoshikuni Kato
2021-07-23 17:36:08 +0900
@Yoshikuni Kato has joined the channel
ねこはち
2021-07-23 19:33:24 +0900
@ねこはち has joined the channel
nakaji-dayo
2021-07-23 22:04:08 +0900
@nakaji-dayo has joined the channel
khibino
2021-07-24 12:24:47 +0900
@khibino has joined the channel
khibino
2021-07-24 12:27:47 +0900
pjlester*.tar.Z らしきもの


その内容のコピーっぽいだれかの github
khibino
2021-07-24 12:32:50 +0900
最初のは V1.6 github は V1.10
kakkun61
2021-07-24 12:58:32 +0900
プリントアウトしてたのが『Implementing functional languages: a tutorial』じゃなくて『The Implementation of Functional Programming Languages』なことに今になって気付いた
kakkun61
2021-07-24 13:13:48 +0900
Pack ほーん
kakkun61
2021-07-24 13:16:33 +0900
項がスーパーーであるとは、項が定数もしくは、項がーであり全ての部分項がスーパーーであるものである。
Super combinator - HaskellWiki
kakkun61
2021-07-24 13:16:44 +0900
項が定作用形あるとは、項がスーパーーでありかつでないものである。
Constant applicative form - HaskellWiki
kakkun61
2021-07-24 13:18:25 +0900
スーパーコンビネーターの定義は次と同値だそう
任意の `\x1 x2 … xn -> E`（`E` はでない。n≧0
n≧0。）の形の式で次の場合に限りそれはスーパーーである。`E` における自由変数は `x1`, `x2`, … `xn` のみで、かつ `E` に出現するは全てスーパーーである。
kakkun61
2021-07-24 13:40:43 +0900
書きやすさのために Expr を Num と IsString にしておくか
kakkun61
2021-07-24 14:24:12 +0900
動く gofer 初めて見た
kakkun61
2021-07-24 14:36:58 +0900
Iseq は解決法としては ShowS みたいなもんか？？
... Replies ...
kakkun61
2021-07-24 17:20:59 +0900
先に落ちます
お疲れさまでした
2021-07-24 17:30:30 +0900
@ has joined the channel
2021-07-24 20:46:15 +0900
@ has joined the channel
nobsun
2021-07-24 20:57:02 +0900
@nobsun has joined the channel
nobsun
2021-07-24 21:19:27 +0900
組み込みの中置演算子、結合性(左、右、無)が違うものが同じ優先順位にわりあてられることはあまりないように思います。
khibino
2021-07-25 00:14:22 +0900
優先順位を利用した括弧の除去、表引きで実装して動いたやつを置いておきます
https://gist.github.com/khibino/93f9c582d91c1fdac3e400d159eaa584
nobsun
2021-07-25 00:32:54 +0900
今日のところまでを、github に置きました。
https://github.com/nobsun/ifl-tut
こちらでも括弧の除去に対応しています
nobsun
2021-07-25 00:43:07 +0900
あ。だめだ。
nobsun
2021-07-25 00:46:37 +0900
修正した。
nobsun
2021-07-25 00:57:03 +0900
同じ優先順位で左右の違いあるときは右が勝つ。
khibino
2021-07-25 01:07:21 +0900
あれ? そんなルールでしたっけ?
左右無しが混ざるとエラーかと思っていたので、混ざっていた場合は括弧を付けるようにしてました。
nobsun
2021-07-25 01:22:15 +0900
いや括弧を付けるべきですね。それにそもそも結合律が成立することを根拠に (a + b) + (c + d) を a + b + c + d と表記してしまうことにも抵抗があります。injective じゃないので、構造を失うことになり、read . show ≡ id にならなくなるのは気に入りませんねぇ。
khibino
2021-07-25 01:38:47 +0900
たしかに、結合の向きで復元可能なときだけ括弧をはずすようにしたいですね
khibino
2021-07-25 01:39:34 +0900
続きは明日考えよう
nobsun
2021-07-25 08:27:42 +0900
おなじ優先順なら括弧をつけるように修正した
igrep
2021-07-27 10:39:27 +0900
@igrep has joined the channel
igrep
2021-07-27 10:41:24 +0900
@1to100pen こちらのチャンネルですが https://haskell.jp/slack-log/ に保存はしますか？よければ https://github.com/haskell-jp/slack-log/pull/55 のマージ後に対応します。
... Replies ...
1to100pen
2021-07-31 14:35:21 +0900
set the channel description: Implementing functional languages: a tutorial 勉強会の連絡用チャネル
過去ログは https://haskell.jp/slack-log/ の下の sg-ifl-tut
igrep
2021-07-31 15:05:40 +0900
@igrep has left the channel
khibino
2021-08-21 12:44:30 +0900
> たしかに、結合の向きで復元可能なときだけ括弧をはずすようにしたいですね
>
> 続きは明日考えよう
といいつつ考えていなかったのですが、~私のコードですでにそうなっていそうなのをさきほど確認しました。~



とおもったがダメだった
khibino
2021-08-21 13:05:50 +0900
直せたような気がする。更新しました
2021-08-28 14:35:22 +0900
@ has joined the channel
nobsun
2021-09-25 22:47:31 +0900
Template Instantiation の Mark 1 までの実装をpush しました
https://github.com/nobsun/ifl-tut
cutsea110
2021-10-08 13:43:09 +0900
@cutsea110 has joined the channel
2023-04-06 15:02:28 +0900
@ has joined the channel
2024-06-15 13:51:03 +0900
@ has joined the channel