haskell-jp / mokumoku-online #48

Kan の表記が ”Lan” とか ”Ran” なのは何故かと思ったが
Why "Lan" for Kan Extension? にある説明がもっともらしい
"Lan" and "Ran" are weird abbreviations of "Left Kan" and "Right Kan"
just as "Lift" and "Rift" for Left and right Kan lifts respectively.
@S.K. has joined the channel
CodeChef / Nov Long Challenge 2022 Division 2 はじめから TLE につまずいている :white_frowning_face:
まだ出先でお昼ご飯を買ったばかりなので、帰って食べてからmakeMistakesToLearnHaskellの続きやタイプセーフプリキュアの開発などを行います
はじめまして。S.K.と申します。よろしくお願いします。
Implementing Functional Languages:a tutorial の 3 The G-machine を読み進めていこうと思っています。
こんにちは、s-taigaです。connpassで申し込んでないですが参加します。。
Category Theory for Programmersのpart 3.Kan Extensionsを読んでいきます。
またまた昼寝が捗ってしまったのと、makeMistakesToLearnHaskellで結構大きな修正が必要になってしまったのでタイプセーフプリキュア!はほとんど進んでません。
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/e186e959c23bf7cf75ac4906cc101a8d8769b3d1
一通り読んでみてなんとなく書いてあることの理解ができたかなと思っています。
ベーシック圏論も読み進めつつ頑張って進めていきたいと思います。
Implementing Functional Languages:a tutorial の 3 The G-machine を読んでいました。
3.3.3 The evaluator のUnwind命令に関する説明の部分までとりあえず読みました。
難しいですが続けてみようと思います。
Python と C++ でもTLEになる! 発想の転換が必要かも? いったんあきらめて他の問題を2つ解いた
山本悠滋です。今日はHaskell-jp WikiのHerokuから静的サイトへの移行に関していろいろやります。できれば今日で移行しきりたいな。
先週から参加させていただいているS.K.と申します。お世話になります。
今日も、Implementing Functional Languages:a tutorial の 3 The G-machine を読み進めていこうと思っています。
よろしくお願いします。
こんにちは、s-taigaです。
Category Theory for Programmersのpart 3.Enriched Categoriesを読んでいきます。
"Category Theory for Programmers," Bartosz Milewski, (Lulu), Part Three, Ch. 28 Enriched Categories 
https://www.youtube.com/watch?v=5yHmgo2mybs&t=115s とハシゴで
遅れて参加させていただきます。白鳥と申します。
Implementing functional languages: a tutorialの3.8をやろうと思います
https://twitter.com/igrep/status/1594255307559297024 の通り、少々ばたつきましたが移行しました。
延長戦でmakeMistakesToLearnHaskellを進めましょうかね。
Implementing Functional Languages:a tutorial の 3 The G-machine を読んでいました。
3.3.5 Printing the results まで進めました。
また、写経してあった Mark 1 G-machine を動かしてみました。
最初のプログラム"main = S K K 3"は何とか動いたみたいです。
ただ、結果の表示が少しおかしいです。(改行やインデントがされない箇所がある)
3.7章のバグ修正をしていたら終わってしまいました。少し延長して3.8章を進めようと思います
目標章を読み終えました。
雰囲気は理解したような気はしていますが、ちょっと微妙なので読み返したいと思います。
無事読了 抽象化の高みに達した感 
「鉄則」動画は超簡単 だんだん難しくなるのだろう 本を買おうかなあ