リテラルをコンパイラ時にチェックする
Haskell はいくつかのリテラルで型クラスを使用したオーバーロードを許容している．例えば，Haskell で 1 と書いた場合，この型は 1 :: Num a => a になり， Num のインスタンスを定義することで，リテラルに対する実体をユーザも制御できるようになっている．GHC拡張で文字列に対してのオーバーロードなども提供されている．ただ，提供するデータ型とリテラルによっては，プログラムが意図通りに動かなかったりクラッシュしてしまったりすることがある．これを事前にチェックする仕組みを，コンパイラプラグインで実装する方法を紹介する． なお，環境として以下を想定している． Haskell のオーバーロードリテラルHaskell では整数及び浮動小数点数リテラルにおいて，オーバーロードが許容されている．それぞれ， 整数リテラル: Num のインスタンス 浮動小数点数リテラル: Frac
rust.tokyo のまとめ・感想 - mizchi's blog
このブログを書いてる経緯 rust.tokyo 楽しみ！絶対行く！といってたのに申込みを忘れたところ、じゃあスタッフとしてブログを書けという話になったので、ブロガー枠？らしく感想を書きます。とはいえ書けるのは見たやつだけです。 https://rust.tokyo/sessions# 前提 自分は低レベルプログラミングは詳しくないです。年に3日ぐらい思い出したように Rust 勉強することがある。 wasm 周りのエコシステムはずっと追ってる。 会場の雰囲気 組み込み勢とブロックチェーン勢が多そうな気配を感じた。 Visualization of mechanical CAD drawings using WebAssembly and WebGL Aki / CADDi (発表資料見つからず) 概要 Computer aided design (CAD) models used in m
ご迷惑をお掛けします｜e-Gov
・移動または削除されている場合があります。 ・直前に閲覧頂いていたページへのリンクに誤りがある可能性があります。 ・ご入力頂いたURLに誤りがある可能性があります。 ・一時的に利用できない状況にある可能性があります。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - ekmett/linear: Low-dimensional linear algebra primitives for Haskell.
GitHub - ekmett/either: the EitherT monad transformer
ChasingBottoms
かえる🏳️⚧️ on Twitter: "献血ポスターがなぜ問題なのかはいろんな人が丁寧に解説しているので、「乳袋などのエロ記号を用いて描かれたイラストを『この絵はエロくない』と言いはることの愚」について図解しました。１人のオタクとして、いい加減看過できなくてな（フェミ認… https://t.co/U6cQ0TUb0f"
