Ruby Parser開発日誌 (2) - かねこにっき
前回のあらすじ Ruby Parser開発日誌 (1) - かねこにっき Ruby 3.3にむけてLALR parserを前提にError Recoveryを実装していくことになりました。 現在の進捗 Corchuelo et al. のサブセットを実装した error recovery tokenのsemantic valueやlocationを設定できるようにした "Repairing Syntax Errors in LR Parsers" Don’t Panic! Better, Fewer, Syntax Errors for LR Parsers も参考にしている論文に Repairing Syntax Errors in LR Parsers があります。 この論文では insertions: 現在のlookahead tokenの前に1つtokenを追加する (追加したうえ
Hindley-Milner型推論アルゴリズムをGroovyで書いてみた - uehaj's blog
こないだ「Haskellのforallについて理解したことを書いておく(ランクN多相限定)」の記事を書いたときにHindley-Milner型推論アルゴリズム*1を調査するにあたって、こちらにある「Scala by Example」の16章にあるScalaでの実装例をGroovyに書きなおしたので晒しておきます。 以下のような型検査・推論ができます。実行はできません。 def listLenTest = LetRec('len', Lam('xs', App(App(App(Var('if'), App(Var('isEmpty'), Var('xs'))), Var('zero')), App(Var('succ'), App(Var('len'), App(Var('tail'), Var('xs')))) )), App(Var('len'), App( App(Var('cons'
人でもわかる型推論 - Qiita
追記: この記事を書いてから早2年弱。今は数式のほうがわかりやすいなあと思うようになりました。 これは何？ この記事は、最近 Hindley Milner (Algorithm W) 型推論を理解したばかりの私が、型推論のことをなるべくわかりやすく解説するものです。 簡略化したOCamlのようなコードが登場します。 わかりやすさ重視で書いていくつもりなので、専門用語(自由変数とか)はあまり出てきません。 間違いなどあったらコメントしていただけると幸いです。 まずは単相から ここからは図を使って説明していきます。(ビジュアルなほうがわかりやすいハズ) とても簡単な例 以下にとても簡単なコードを示します。 見ればわかりますが、xの型はintですね。 ですが、どのようにしてintだとわかったのでしょうか。 すでにわかっていることを書き出しだしてみました。リテラルの右肩を見てください。 1の型は当
A Lisp Interpreter Implemented in Conway’s Game of Life
Lisp in Life is a Lisp interpreter implemented in Conway’s Game of Life. The entire pattern is viewable on the browser here. To the best of my knowledge, this is the first time a high-level programming language was interpreted in Conway’s Game of Life. Running Lisp on the Game of Life Lisp is a language with a simple and elegant design, having an extensive ability to express sophisticated ideas as
Scoop で Ruby をインストール後ちょっとハマった話 - Qiita
はじめに WindowsでRubyのインストールと言えばRubyInstallerですが、CrystalをインストールするにはScoopが必要なので、本格的に移行してみました。 bundle でハマった Gemfileでパッケージ管理が楽々が魅力のRuby、しかしnative extensionsのインストールでエラーが発生。 Fetching gem metadata from https://rubygems.org/..... Resolving dependencies... Fetching debase 0.2.5.beta2 Installing debase 0.2.5.beta2 with native extensions ... An error occurred while installing debase (0.2.5.beta2), and Bundler c
技術書は新しいものを買う、数学書は古いものを買う - Bridge over troubled Techs.
Amazonなどを良く利用する人は気づいていると思うが、出版されてから年月が経った中古本の値段の低下率は、本によって全く違う。 下落が激しいのは、おもに技術書、技法書、ビジネス書である。特に、最新のIT技術を扱った本や時事ネタのビジネス書は下落が激しい。理由は簡単で、IT技術は進化・変化が激しく、本の内容がすぐに陳腐化するのからである。出版から１年もたてば、中古本の相場が新品価格の半額以下という例も珍しくはない。 したがって、技術書を買うときは、基本的に最新版のものを買わないと意味がない、ということになる。あるいは、中古本の相場をチェックして、あまり新品と変わってないかどうかが購入の目安になる。 一方で、定番の数学や文学などの時代によって内容が変わらない分野の本は、出版からかなり年月が経っていても、中古本の値段が下がっていないものがある。これがいわゆる『古典的名著』というやつで、値段が落ち
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - zag/js-pod6: Pod6 is an easy-to-use markup language. It can be used for writing language documentation, for documenting programs and modules, as well as for other types of document composition
Pod6 | Raku Documentation
Podlite / Pod6 editor online