Scala 3のマクロTips 100連発 - 貳佰伍拾陸夜日記

2023/12/12 8 users 貳佰伍拾陸夜日記 マク メタ マクロ メソッド

この記事はScala Advent Calendar 2023の12日目だ! Scala 3のマクロを書く上で役に立つ, メタれたTipsたちを紹介するぜ! 勢いに任せて書いていくからサンプルコードがちゃんと動かなかったらごめんな. 一応, Scala 3.3.1を想定しているぞ. マクロ 1. メソッドをマクロとして定義する 2. マクロの本体を実装する 3. マク... 続きを読む

あらゆるプログラミング言語の最先端を行くScala 3のマクロ - 貳佰伍拾陸夜日記

2023/12/11 19 users 筆者 貳佰伍拾陸夜日記 マクロ 言語 背景

この記事はScala Advent Calendar 2023の11日目です. 最近, 趣味でScala 3のコードをだいぶ書いていて, マクロの使い心地のよさに感心しました. 理論的な背景も含めて, 産業界で多く使われているプログラミング言語の中では筆者の知る限りぶっちぎりに優れたマクロを備えています. 他の言語にも見習ってほしいですね. た... 続きを読む

コンパイル時計算でラムダ計算の構文解析器・評価器・型推論器を実現 (Scala 3編) - 貳佰伍拾陸夜日記

2022/03/07 8 users 貳佰伍拾陸夜日記 ラムダ計算 構文解析器 チューリング 実現

またか. またなのか. 何回目だ. ということで, ラムダ計算のインタプリタの実装としては4回目くらい*1, コンパイル時計算でやるものとしても3回目くらいになってしまうけど, ラムダ計算の処理系をまた書いてしまった. 今回の目的は, Scala 3にはmatch typesという機能があり, これだけでチューリング完全なのではないか,... 続きを読む

なぜ Scala 3 で変わったのか / Why things are changed in Scala3? - Speaker Deck

2020/02/01 11 users Speaker Deck

なぜ Scala 3 で変わったのか / Why things are changed in Scala3? 続きを読む