前に「週刊 代数的実数を作る」という一連の記事を書きました。
あれの続きじゃないですが、また計算機代数周りの記事を書きたいなあと最近思っています。
せっかく書くなら、今度は構成的数学の視点を取り入れたいです。
続きを読む前に「週刊 代数的実数を作る」という一連の記事を書きました。
あれの続きじゃないですが、また計算機代数周りの記事を書きたいなあと最近思っています。
せっかく書くなら、今度は構成的数学の視点を取り入れたいです。
続きを読むHaskellにはリストやステートメントを区切るカンマやセミコロンを行頭に置くスタイルがあります。
primes = [ 2 , 3 , 5 , 7 ] main = do { putStrLn "Hello world!" ; print primes }
ですが、「カンマやセミコロンを行頭に置く」というスタイルは他の言語のユーザーには奇異に映るのではないでしょうか。以下、そういう前提で話を進めます。
MarkdownやYAMLでは *
や -
を行頭に置くので、「区切り文字が行頭にある」こと自体は悪くないはずです。Haskellで代数的データ型を定義するときの |
を行頭に書いても初学者の違和感は少ないと思います(たぶん)。
普通のプログラミング言語で「行頭に区切り文字を置く」というスタイルを採用するとしたら、どういう区切り文字が適切なのでしょうか?
*
, マイナス -
, プラス +
この辺はデータ記述言語とかMarkdownでお馴染みですが、普通のプログラミング言語では演算子として使いたいのではないかと思います。
行頭に置いた場合のみ区切り文字として扱うという手も考えられますが、いずれにせよ「式を複数行にまたがって書くときに行頭に演算子を書く」というスタイルとの衝突が懸念されます。インデント量で識別するか、一部の言語のように継続行を表すマークを導入することになるでしょう。
あと、どっちみちインラインでリストを書くときの区切り文字には適していないので、従来のカンマも併用する必要があるかもしれません。
擬似コード:
primes = [ * 2 * 3 * 5 * 7 ]
|
ML系言語のデータ型定義で使われているやつです。
縦棒は慣習的に「または」の意味で使われることが多いので、リストや逐次実行などの順序が重要な用途には違和感があるのではないかと思います。まあMLのパターンマッチみたいに微妙に順序があるケースにも使われていたりしますが。
擬似コード:
primes = [ | 2 | 3 | 5 | 7 ]
レイアウトルールを採用している言語だとそもそも区切り文字が必要なかったりします。Haskellも逐次実行のdoはレイアウトルールによりセミコロンなしで書けます。
最近のHaskellにはQualifiedDoという拡張があって、それを使うと一時的にdo記法を乗っ取れるので、リストの構築に使えたりします:
module M where import qualified Prelude (>>) :: a -> [a] -> [a] (>>) = (:)
{-# LANGUAGE QualifiedDo #-} import qualified M primes = M.do 2 3 5 7 [] -- 型の関係で最後にこれが必要
他の例だと、Juliaは(多次元)配列を空白や改行区切りで書けるらしいです。空白と改行で意味が変わるみたいですが。
番号から始めるという手もあります:
array = 1. "first" 2. "second" 3. "third"
fn main() { 1. do_something() 2. do_something_else() 3. return 0 }
が、「行を削除したり、コピペで順序を入れ替えた時に修正が必要になる」という欠点があります。
ASCIIの記号は少ないので、演算子と被らないように選ぶのは大変そうです。
ピリオド .
は自然言語だと普通文末にあるのでカンマやセミコロンと同じ理由で向かない気がします。まあプログラミング言語だとメンバー名の区切りに使われることも多いし、Swiftだと識別子の前に置けたりするので大した問題ではないのかもしれない。
primes = [ . 2 . 3 . 5 . 7 ]
コロン :
は割とアリかもしれない?コロンは型注釈に使いたい気がするけど、行頭には使わないような?
primes = [ : 2 : 3 : 5 : 7 ]
ハッシュ記号 #
はどうかな。Markdownの見出しっぽいかもしれない。
primes = [ # 2 # 3 # 5 # 7 ]
なんか良さそうなのがあったら自分の言語に実装してみてください。擬似コードを載せた記事を書くのでも良いです。
あと、似たような趣旨の記事が既にあったみたいです:
プログラミング言語処理系が好きな人の集まりというコミュニティーがあります。ここは言語処理系を作っている人が多く集まっています。自作言語界隈とも言えます。そこでの話題について、色々と思うところがあったので、記事を書いてみます。
続きを読む私は現在、Standard ML処理系であるLunarMLを開発しています。しかし、Standard MLはほぼ進化の止まった言語です。一応Successor MLという取り組みがありますが、準拠を目指している処理系は多くはありません。
LunarMLが成功するためには、言語標準という枠に囚われずに「モダン」な機能を積極的に取り入れていくことが重要だと考えられます。つまり、拡張機能です。
Standard MLに足りない機能は何でしょうか。LunarMLにどんな拡張を入れれば、使いやすい言語になるでしょうか。
過去の記事ではすでにいくつか機能を挙げ、いくつかは実際に実装しました:
実装済みの拡張機能については以下に説明を書いています:
ここではもうちょっと色々アイディアを出してみます。
続きを読む今更ながらiPhoneを買った。これまでの私の携帯電話はガラケーやAndroid端末だった。
私は高校の頃から15年ほどMac、つまりApple製品を使っている(iPod touchやiPadも使ってきた)。なのでこれまでiPhoneを使っていなかったと言うと意外に思われるかもしれない。
なぜiPhoneじゃなかったか、特に深い理由はないのだが、強いて言うならパソコンやタブレットと違って携帯電話に高いお金をかける気にならなかったというのはあるだろう。これまで使っていたAndroid端末も中古だったりミドルレンジのものだった。
転機となったのは、これまで使っていたPixel 3aのOSアップデートが降ってこなくなって新しいスマホを買う必要性が生じたこと、ボーナスでまとまったお金が入ったこと、などだ。
というわけでiPhone 14 Proを買った。ProにしたのはLiDARを試したかったからだ。本体のサイズは大きすぎないのが好みなのでMaxにはしなかった。
なんだかんだ言って私はiPod touchもiPadも使ってきたからiPhoneはそんなに目新しくない……と言いたいところだが、妻によると触っている時のにやつきは抑えられなかったようだ。
続きを読む古典的な(BigInt以前の)JavaScriptは数値型が倍精度浮動小数点数のみでした。5.2までのLuaも同様です。
このような言語で整数除算を行いたい場合は、浮動小数点演算を経由して行うことになります。例えばJavaScriptで32ビット整数の除算をやるならこんな感じです:
// x, yは整数値とする function Int_div(x, y) { return Math.floor(x / y); } function Int_quot(x, y) { return Math.trunc(x / y); } // 0除算やオーバーフローはここでは無視する
さて、浮動小数点演算と言えば誤差です。この「浮動小数点演算による整数除算のエミュレート」は誤差の影響を受けないのでしょうか?
続きを読む2022年も色々あったので振り返りたい。
続きを読むこの記事では、私が数年前から作っているStandard ML処理系「LunarML」の今年の進捗を振り返ります。
これまでの進捗報告記事は以下です: