Haskellブログを書いてる人たちです
はてなブログを持っていれば、誰でも参加できます。
いや別に飛行機の中でビルドするのが主題なわけではないのですが、オフラインモードのことを機内モードと言いますからね。最近の飛行機は Wi-Fi の提供があったりするらしいですが。 さて、あなたの Haskell プロジェクトをオフラインモードでビルドすることができますか? まあ、今時オフライン環境も珍しいですし「そんな必要あるのか?」という感覚もあるかもしれません。Nix ではビルド再現性のためにオ…
マイクロサービスアーキテクチャにおいて、ある構造化されたデータを、構造を維持したまま別のコンポーネントでも使いたくなる誘惑が存在する。 例えば、ドメインロジックを扱うコンポーネントに「ユーザーの種別(ゲスト、メンバー、管理者)」という概念があり、API トークンの認可情報に含めたいとして、APIトークンを管理するコンポーネントはその概念に関与すべきだろうか。 // 関与しない定義 IssueTok…
DNSSEC - RRset の署名検証 - RRSIG(Resource Record Signature) DNSSEC は RRset( RR(リソースレコード)のセット ) の内容を、利用者から検証可能にするための仕組みです. DNSKEY RRには、そのゾーンで利用する公開鍵が登録され、RRSIG RR には RRset のタイプ(署名対象タイプ)とその署名値が登録されます. RRset…
ASUS TUF AMD Ryzen/RTX 3060 Laptop アマゾンタイムセールで 156K が 135K くらいに。 www.amazon.co.jp キーボード設定 PowerToys の Keyboard Manager では期待通りに変更できず。正確には、CAPS LOCK (VS 240 1と認識される) を Ctrl (Left) へマップすると、一度 CAPS LOCK ボ…
「Haskell入門 関数型プログラミング言語の基礎と実践」の読書メモ。 第1章 はじめてのHaskell 1.1.1 関数型プログラミング言語(p.3) haskell.hatenablog.com 1.1.1 関数型プログラミング言語 関数型プログラミングの定義 参照透過性 式(expression) 式と文の違い 評価(evaluation) まとめ 1.1.1 関数型プログラミング言語 「…
この記事が一番簡単でした。 qiita.com qiita.com
続きはこちらをご覧いただけたらと思います: kiwamu.wordpress.com
はじめに 特徴 環境 electronのインストール elmのインストール コマンド elm-repl elm-reactor elm-make elm-package パッケージ一覧 ファイル構成 サンプルの動かし方 hello worldサンプル カウンタサンプル electron特有のバグ その他サンプル まとめ はじめに 最近純粋関数型プログラミング言語Haskellが気になって少しずつ勉…
foldって難しい、というか書きづらくて読みづらくないですか、と思った話を書きます(そういう感じの話題でTLが盛り上がってたので) 以下、foldをrecursion schemeの観点から理解していることは前提とします foldをかく foldを書きたい foldを書こうと思う場合は自分の場合は明白で、可換monoid積で畳むときは必ずfoldで書きます sum = foldl (+) 0 これ…
次のページ