Haskellの型パズルで作るMini Interpreter
「効率よく素数を計算するプログラムを作る課題」を出したら「コンパイル時に素数判定を行うプログラムが優勝した」なんて話がありますが[要出典]、今回は型レベル文字列で数式を渡すとコンパイル時に計算を行ってくれる型レベルインタプリタを作ってみようと思います[1] 動作イメージはこんな感じ > :kind! Calc "(1 + 1) * (2 + 0) + 10" Calc "(1 + 1) * (2 + 0) + 10" :: Nat = 14 GHCiで :kind! を使うと与えられた型の型シノニムや型族による変換を評価してくれます。つまり上記のプログラムは数式を表す型レベル文字列を評価してNatカインドの14という型に評価されているというわけです。 元ネタはQuramyさんのこの記事です 今朝この記事を引用した友人が 「文字列型を型レベルで扱える似たような機能って他の静的型付け言語にもあ
オープンソースがわからない
OSS活動をしているエンジニアが採用で有利だったり、なんかエライとかカッコイイみたいな空気がある。 オープンソースを主軸にしている会社で働きはじめてから、人が何を前提として、何を指して「オープンソース」と言っているのか、どんどんわからなくなってきた。いったいなぜOSS活動が良いとされるのか。 可能性1 ▸ ソースがオープンである これは自明に思えるかもしれないが、本当にそうだろうか。ソースがオープンなのは良いことだという価値観は、そんなに広く受け入れられているだろうか。 たとえばうちの会社は「ソースはできる限りオープンであるべき」という信念を掲げているし、私にとってもそれは魅力的なポイントのひとつだった。さらには「すべてのソースはオープンであるべきで、オープンじゃないソフトウェアは使わない」という過激派も世の中には存在するが、いずれにしろこのようなオープンソース主義者が多数派であるとは思え
Cosense(Scrapbox)を使い始める前に知ってもらいたい７つのこと｜倉下忠憲
（Scrapboxは、2024年5月にCosenseへと改名されました。この記事では執筆時点でのScrapboxという名称を使っています） Scrapboxというツールは、導入コストがむちゃくちゃ低いのですが、それでも「これは前もって押さえておいた方がよいかも」という点はいくつかあります。 今回は、それをぎゅっと７つに絞り込んで紹介してみます。 メモ帳のように使えるwikiScrapboxはwikiです。インターフェース的にものすごくメモ帳っぽい緩さがありますが、その骨子はwikiです。 もちろん、wikiにも多様な利用法があるように、Scrapboxにも利用法はたくさんあります。 Scrapbox活用事例集 とは言え、これはwikiです。大げさに言えば、知識・情報を組織化するためのツールです。 でも、操作感はメモ帳です。メモ帳のようにライトに使えます。そのギャップ萌えがScrapboxの
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - tana/Mondeto: An open, flexible, and secure online virtual reality system.
