文字列型を抽象化するのにはmono-traversableパッケージがいいかも - Haskell-jp
Tweet この記事はHaskell Advent Calendar 2021の25日目の記事です。 Haskellのよく言われる問題点の一つとして、文字列型が下記のようによく使われるものだけで5種類もある、という点があります: String StrictなText LazyなText StrictなByteString LazyなByteString （上記の頻繁に使われるもの以外にも、もっとあります） それぞれ確かに使いどころが違うので、アプリケーションで使用する場合は場面に応じて使い分ければいいのですが、文字列を使ったライブラリーを開発する場合はなかなか悩ましいものがあります。内部で依存しているライブラリーが使用しているものがあれば、それをそのまま使うのが簡単で確実ですが、そうでない場合も多いでしょう。そこで本稿では文字列型を抽象化して扱いたい場合の手段として、mono-traver
Strict拡張を使用する際の注意点 - Haskell-jp
Tweet Haskellは他の多くのプログラミング言語と異なった特徴を備えており、しばしばそれらが議論を呼ぶことがあります。その中でも特によく俎上に上がるのが、遅延評価です。遅延評価は、適切に扱えば不要な計算を行わず、計算資源を節約してくれるステキな仕組みですが、一歩使い方を間違うと「サンク」という「これから実行する（かも知れない）計算」を表すオブジェクトが無駄に作られてしまい、却ってメモリー消費量が増えてしまう、などといった問題を抱えています。この現象は「スペースリーク」と呼ばれ、かつて専門のAdvent Calendarが作られたことがあるほど、Haskeller達の関心を集めてきました。 そんなHaskeller達の悩みの種を軽減しようと、GHC 8.0以降、StrictとStrictDataという言語拡張が搭載されました。これらの拡張は、大雑把に言うと、 StrictData:
HspecでQuickCheckするときもshouldBeなどが使えます - Haskell-jp
Link to here📣shouldBeなどはpropertyの中でも使えるので使ってください！ みなさんはHspecでQuickCheckを使ったproperty testを書く際、どのように書いているでしょうか？ 例えばHspecのマニュアルのように、Hspecにproperty testを組み込む例として、次のような例を挙げています。 describe "read" $ do it "is inverse to show" $ property $ \x -> (read . show) x == (x :: Int) ※こちらのコミットの時点での話です。 property関数に渡した関数（以下、「porpertyブロック」と呼びます）の中ではHspecでおなじみのshouldBeなどのexpectation用関数を使わず、==で結果を判定してますよね。 このサンプルに倣って、H
日本語をshowしてうまく表示されなかったら - Haskell-jp
すると、日本語の大半が変な文字列に変わってしまいました😥。 へ… 変な文字列じゃないし！エスケープシーケンスに変換しただけだから！ これは、Haskell標準におけるshow関数の残念な仕様です。 show関数に文字列を渡すと、ダブルクォートで囲った上で、ASCII範囲外の文字列や、ASCIIの非表示文字などをエスケープシーケンスに変換して返します。 これは、show関数をデバッグで使用した際、指定した文字列にどんな文字が含まれているか、簡単にわかるようにするための仕様です。 文字の文字コードを表示すれば、NULL文字や制御文字、ゼロ幅文字、特殊なスペースなど、視認しにくいおかしな文字が含まれていても、一目でわかるのです。 しかしこれは日本語話者である我々にとって、少なくとも日本語の文字に関しては「余計なお世話」です。 NULL文字やASCIIの制御文字といった本来画面に表示することがな
regex-applicative: 内部DSLとしての正規表現
regex-applicative: 内部DSLとしての正規表現 Yuji Yamamoto (山本悠滋) 2019-10-18 Regex Festa はじめまして！ 👋😄 山本悠滋 (@igrep) Haskell歴 ≒ プリキュアおじさん歴 ≒ 約7年。 趣味Haskeller兼仕事Haskeller @ IIJ-II 😁 igrep.elというEmacsプラグインがありますが無関係です！ 宣伝 hask(_ _)eller 2017年から日本Haskellユーザーグループというコミュニティーグループを立ち上げ、その発起人の一人として活動しております。 愛称: Haskell-jp SlackのワークスペースやSubreddit、ブログ、Wikiなど、いろいろ運営しております。
HIW 2019で発表された、Copilotという内部DSLについて - Haskell-jp
前回から引き続き、Haskell Implementors’ Workshop 2019への参加レポートとして、私の印象に残った発表を紹介します。 今回は、Copilotという、C言語のコードを生成するHaskell製内部DSLについての発表です。 Link to hereCopilot 3.0: a Haskell runtime verification framework for UAVs 発表者: Frank Dedden Royal Netherlands Aerospace Center, Alwyn Goodloe NASA Langley Research Center, Ivan Perez NIA / NASA Formal Methods Haskell製の内部DSLからC言語のソースコードを生成する、Copilotの紹介です。 似た謳い文句の内部DSLとしてivor
HIW 2019で発表された、Gibbonコンパイラーについて - Haskell-jp
前回から引き続き、Haskell Implementors’ Workshop 2019への参加レポートとして、私の印象に残った発表を紹介します。 今回は、Gibbonという、GHC以外のHaskell（の、サブセット）の処理系についての発表です。 Link to hereThe Gibbon Compiler: Accelerating a small subset of Haskell 発表者: Ryan R. Newton Indiana University, Michael Vollmer Indiana University, USA, Chaitanya Koparkar Indiana University Gibbonは最適化の手法を研究するために作られたコンパイラーです。 具体的には、我々（特にHaskeller）がよく使う、木構造全体に対する処理の最適化です。 こうし
Haskell社内勉強会とHaskell学習ツールの紹介 | IIJ Engineers Blog
日本Haskellユーザーグループ（愛称 Haskell-jp）発起人の一人にして、Haskell-jpで一番のおしゃべり。 HaskellとWebAssemblyとプリキュアとポムポムプリンをこよなく愛する。 こんにちは。IIJ-IIの山本悠滋です。 今日はここ数ヶ月私と有志で行っている、Haskellの社内勉強会と、そこで使用している自作のHaskell入門ツールについて紹介します。 Haskellの社内勉強会について 「社内勉強会 失敗しながら学ぶHaskell入門タイム」と称して、私はこれまでに8ヶ月近くもの間、週1回Haskellの勉強会を開催してきました。 この手の勉強会は連続して参加することが前提となっているため、どうしても最初の回から少しずつ人数が減っていくという残念なことになりがちですが、どうにか私含め4～5人程度を維持してここまで30回、18個目の課題まで進めることが出
strip-ansi-escapeというパッケージをリリースしました - Haskell-jp
Link to hereなに作ったか strip-ansi-escapeというパッケージです。 今回もメインの処理は100行にも満たないような小さなもので、また用途もニッチです。 具体的には、名前のとおりANSIエスケープコードを文字列から取り除く、ただそれだけです。 使い方も極めてシンプル: ghci> import Data.String.AnsiEscapeCodes.Strip.Text -- 現状Text型向けにしか作っていないため、OverloadedStringsを有効にした方が使いやすい ghci> :set -XOverloadedStrings ghci> import Data.Text -- 出力すると下線付きで "hello" と表示されるANSIエスケープコード付きの文字列 ghci> "\x001B[4mhello\x001B[0m" "\ESC[4mhell
AsteriusでHaskellの関数をJSから呼べるようにしてみた（けど失敗）（拡大版） - Haskell-jp
先日、Emscripten & WebAssembly night !! #7というイベントにて、AsteriusというHaskellをWebAssemblyにコンパイルするツールについて紹介いたしました。 資料はこちら👇です。 AsteriusでHaskellの関数をJSから呼べるようにしてみた（けど失敗） 本日は、スライドの英語で書いていた箇所を和訳しつつ、いろいろ捕捉してブログ記事の形で共有します。 Link to here🔍Asteriusとは何か 冒頭でも触れたとおり、AsteriusはHaskellのソースをWebAssemblyにコンパイルするコンパイラーです。 GHCのHEAD（開発中のバージョン）を都度フォークして、現在活発に開発中です。 Template Haskellと、GHC標準におけるIOを行う関数（の大半）を除いた、すべての機能が利用できるようになっています
HIW 2018・Haskell Symposium 2018に行ってきた | IIJ Engineers Blog
日本Haskellユーザーグループ（愛称 Haskell-jp）発起人の一人にして、Haskell-jpで一番のおしゃべり。 HaskellとWebAssemblyとプリキュアとポムポムプリンをこよなく愛する。 HIW 2018・Haskell Symposium 2018 とは HIW 2018 (Haskell Implementors’ Workshop 2018)とHaskell Symposium 2018は、ICFP (International Conference on Functional Programming)という関数型プログラミングについての国際会議に併設された、Haskell専門のワークショップと国際会議です。 Haskell Symposiumは投稿されたHaskell全般についての論文の発表会です。 一方HIWは、名前通りのHaskellの実装（主にGHC）
substring-parserで「タイプセーフプリキュア！」を移行した話 - Haskell-jp
先日私はプリキュアハッカソン NewStageというちょっと変わったイベントで、「タイプセーフプリキュア！」の最近の更新について発表いたしました。 今回はその際使用したスライドを、ブログ記事として拡大して共有させていただきたいと思います！ Link to here予告編（はじめにまとめ） Haskell界に伝わる伝説のアイテム「パーサーコンビネーター」を応用して、「タイプセーフプリキュア！」の古いソースコードを半自動で変換しました。 「パーサーコンビネーター」は正規表現よりいいところたくさんですが、文字列の先頭からのマッチしかできないのがつらいです。 substring-parserというライブラリーを書いて、対応しました。 パーサーコンビネーター最高！ ✌️😆✌️ Link to hereこれまでのあらすじ Link to here「タイプセーフプリキュア！」とは？ rubicureや
stack 1.0.0が出たので私が初めて使った時からの更新をピックアップ - Qiita
ナウでヤングなHaskeller に絶賛定着中のstack, ついにv1.0.0がリリースされました！ クリスマスプレゼント です！ と、いうわけでタイミングよくネタを頂いたので私が初めてstackについて記事を書いた時からもりもり入った更新のうち、 私が気になったものをリリースノートから拾って取り上げたいと思います！ 当時はまだv0.1.3.1だったんですね。 といってもまだたった3ヶ月しか経ってませんけど！ 設定ファイルのディレクトリ構成が変わった (v0.1.6.0) 当時から使用している方にすれば恐らく一番重要な修正だと思うので一番最初に挙げます。 目的がより明確になるよう、設定ファイル・ディレクトリの名前が次のように変わりました。 ~/.stack/stack.yaml ~/.stack/config.yaml ~/.stack/global/ ~/.stack/global-p
deriveJsonNoPrefixをリリースしました - Haskell-jp
前回の更新からちょっと時間が空いてしまいました 💦 小ネタです。掲題の通りderiveJsonNoPrefixというパッケージをリリースしました。 地味に有用だと思うので、READMEをやや意訳気味に翻訳して記事にします。 十分に単純なので、仕様が変わることもまさかないでしょうし。 以下、こちらのコミットの時点のREADMEの翻訳です。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
最近のstackとcabalについて簡単に
Haskell: 3変数関数を中置演算子にしたい、あるいは真ん中の引数だけ指定したい
Simulate Bind with IxApplicative
substring-parserでcure-index.jsonを移行した話
Haskellのcase文がパースエラーになる
第1回daab勉強会で発表しました :: Igreque -> Info