はじめに Haskell Advent Calender 2024の7日めの記事です。 さて、Haskellはアカデミックやプロダクションやホビーや日常使いなど様々なシーンで利用できます。 この記事ではHaskellを電卓くらいの気軽さでカジュアルに日常使いする一例を紹介します。(昨年のAdvent Calenderの記事と内容が重複気味ですが、今年はワークフロー視点で記載しています。) なんとなく、アルゴリズムを手軽に試したい 日常的に、ちょっとしたアルゴリズムを手早く確認したり、書き捨てのプログラムをささっと作って試したいシーンがあるでしょう。あるものとします。 ここでは話を小さくするために、簡単な例として整数ソートのアルゴリズムを試したいとしましょう。 とりあえず書き捨ててみる 頭の中や紙の上などである程度考えたら、とりあえず雑に書き下してみましょうか。なんらかのテキストエディタで、

TL;DR 歩留まりの数値(成功数/サンプル数)だけを比較しても、どちらが良いかはわからない だが、サンプル数と成功数から「成功確率はほぼ確実にpからqの間である」という範囲(信頼区間)を求めることができる 信頼区間を用いることで、自信を持って比較ができる 技術職のみならず、営業職や経営者にも役に立つ イントロダクション 成功数xと試行回数Nがわかっている時、本当の成功率はわからないが、Nが十分に大きければ「成功率はx/Nに近い」と言える。しかし、特にNが小さい場合、「成功率はこの範囲にあるのではないか」という当たりをつけたいことがある。こういった場面で役立つのが信頼区間である。 信頼区間とは、かいつまんで説明するとこうだ。 例えば、サイコロを投げ、1が出たら成功、それ以外は失敗とする。この時の成功率の信頼区間を、成功した回数と試行回数を元に計算できる。 「70回中7回成功したので信頼区間

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

この記事は、CAMPHOR- Advent Calendar 2021 の7日目の記事です。 「アルゴ式」というプログラミングを学んで実践できる非常に良質なWebサービスがあります。 アルゴリズムについて解説された教科書だけでなく、実際にプログラミングを書いて提出してオンラインでジャッジしてくれるシステムを備えた練習問題も用意されているのが特徴です。さらにこのオンラインジャッジシステムは多くのプログラミング言語に対応しており、その中にはHaskellも含まれています。 今回はこのアルゴ式を読むにあたって練習問題をHaskellで解くために必要になりそうな知識についてまとめました。アルゴ式は現在ベータ版なので将来的な変更で変わってしまうものもあるかもしれませんが、2021年12月現在の練習問題を全てHaskellで解いた上で必要になったものをまとめているので参考にしていただけると幸いです。

純粋関数型プログラミングで副作用を扱う方法Posted by Mizunashi Mana on April 05, 2020 Haskell は他のプログラミング言語には見られない特徴を多く持っている。その中の1つが純粋性だ。Haskell は純粋関数型プログラミング言語であることを、売りの1つにしている。しかし、純粋性は多くの場合表現力の縮小を招く。ところが Haskell は、IOモナドの導入により、通常のプログラミング言語と変わらぬ表現力を持てるようになっている。これは、とても驚くべきことだ。しかし、同時にこれは Haskell 入門者にとって、大きな混乱を招いているようだ。 今回は、そもそも純粋性とはなんなのか、なぜ他の言語は純粋性を担保できないのか、そして Haskell はどうやって IO モナドにより純粋性を担保しつつ他の言語と変わらない表現力を持てるようにしているのかにつ

PCに埋もれていたものを発掘したので備忘録として載っけときます。 あまりに色々省略されすぎていて初心者には何の参考にもならないし、中級者には当たり前すぎて何の参考にもならない。 初心者の中の初心者のときに作ったものなのでマサカリポイント(特に最後の方)が滅茶苦茶あるけど面倒なので修正しません。 修正して欲しいところとかはツイッターで投げて 基礎 関数呼び出し succ 8 関数名　変数orリテラル リスト [1,2,3,4,] [1..10] ['a'..'x'] [x*y | x<-[1..10], y<-[1..10], x*y>54] 条件でフィルタリングできる タプル (1,4,5) 型が違っても使える 各要素が別の型の扱いなので、一緒に使おうとするコンパイルエラー 型変数 型の一般化 型クラス 型の分類 その型がどのような振る舞いを持つかを定義することによって分類 モナドとか (

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? プログラミング言語の学習は一般に大変である。 最初にどのようなことをすればいいのか、どの本をよむべきなのか等疑問は尽きない。マイナーな言語で情報が少なければなおさらである。 この記事では諸事情でHaskellに入門することになった方にむけて、どのように勉強していくか、参考にすべき本や記事を紹介する。 より良い指針にするためにも、指摘、感想等はコメントや私のTwitterアカウント(@Lugendre)に投稿して頂けるとありがたい。 入門〜初心者 環境構築 まずどんなプログラミング言語においても、プログラミングをする環境が必要である。Ha

初心者が入門書を読んでさぁ書くぞとなったときにつまずくところのうちの一つが，同じようなライブラリが多すぎ問題である． ということでそういうライブラリの話をしよう． 例によって例のごとく間違っていること書いてあるかもなので報告よろしく． モナド変換子 Haskellで実用的なプログラムを書く上で避けて通れないものの一つにモナド変換子がある．こいつはなにかというと，簡単に言えば，モナドを合成してでかいモナドを作るやつである．人間がおおよそ使うであろうモナド変換子はライブラリで提供しているので，それらを組み合わせてお望みのモナドを作ろうとするわけだが，そこに立ちはだかるのがtransformersとmtlである． transformersとmtl transformersはlift という下位のモナドのアクションをでかいモナドのアクションに持ち上げてくれるメソッドが定義されたMonadTrans

信頼性はない 都市伝説かもしれん 大体枕詞に特別な理由がなければがつく 思いついたら徐々に更新する それは違うよってことがあったら @Lugendre まで ghc 8.6.5の話(8.8.1は仕事で使ってなくてな......) コンパイル通るかの確認だけなら最適化オプションO0でコンパイルする stackでいうとstack build --fast 動かすときはO2ビルドしたほうがいいが，インライン展開に5億年消費する なんならこのくらいは静的解析に任せてもいいが，でかいプロジェクトだと一定時間動いてハングアップするのしか世の中にないのでオワリ VSCode のせい説もある ghcideに期待 haskell-language-serverがすべてを解決した CIするときは必ずキャッシュする 毎回一から依存関係やGHCのビルドが走って余裕で1時間超えるようになるので データ構造のフィール

Knuth 教授が提案した、literate program は小説や参考書のように読んで理解することのできるプログラムだ。それは単に読めば理解でき、暗号の解読が必要とならないプログラムだ。 アプリケーションなどの大規模なプログラム作成には、作成のためのオーバーヘッドが大きくて使われていないようだし。いつもこの方法でプログラムを書いている人はいないだろう。 しかし、この方法は日常生活のちょっとした問題を解決するのには便利なような気がする。例えば銀行ローンの利子の計算について、自分でも確認したいと思っても、その仕組みを学習するのは結構大変だ。さらに、その仕組みを理解したとして、それを実行してくれるプログラムを書いてみる必要もある。こんな時に literate programming が活用できるような気がする。 幸い、Haskell には literate programming を意識した

この記事は以下のページに移転しました． blog.ryota-ka.me 「関数プログラミングとはなんですか？」と問われたときには「デ，データファースト……(震え声)」と答えることが多いのだが，実際 Haskell や OCaml などの言語を特徴付けるものとして，代数的データ型 (Algebraic Data Type; ADT) の存在は無視できないだろう．その有用性ゆえに，近年では新たな言語の策定の際にその概念が輸出され，Rust や Swift などの言語にも採用されている． 「代数的データ型とはなんですか？」と問われたときには―問われたことがないのでわからないのだが―おもむろに ghci か utop を立ち上げて，解説を始めるのではないかと思う．ひとしきり解説をした後，「つまり直積の直和なんですよ〜🙌✨」と言って話を締めくくるだろう． int 型や float 型など，「メモ

ソースコード: https://gist.github.com/itchyny/a9f238bf154455fad8a2449ec23df72c 言い間違えが何箇所ありますがお許しください (加減乗除・1-3*(-3)など…) 後で見直したらbc -lの-lは関係ないことなくて、必要でした… echo "(5 / (5 / (5 + 5)))" | bc -l など。

いずれにせよ、システムの状態が時間の関数であり、そのため時間は考慮しなければならない余分な要素となります。"xの値は何？"と問い合わせることは実際できません。代わりに、"時間tにおけるxの値は何？"と問い合わせなければなりません。これではコードを判断するのが難しくなり、複雑な要素が増えます。結論としては... 状態あり: ダメ! 状態なし: グッド! 式とアクション 式とは値を持った文です。たとえば以下のコードを考えてみましょう。 x = 5 y = x + 7 x = y + 1 最初のxは値が5であるという式です。最後のxは値が13であるという式です。コードは他の式も含んでいます。たとえば真ん中の行は、x + 7が12という値であるという式です。 ほとんどのコンピュータ言語では、キーボードから読み込むコマンドは式であり、その式は値を持っています。次の文を考えてみましょう。 x = ne

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Mintのリポジトリを利用しないで、Haskellのビルドツールの Stackで開発環境を構築する手順をメモ(ΦωΦ) [手順] 1. 以下のいずれかのコマンドをターミナルで実行。 $ curl -sSL https://get.haskellstack.org/ | sh or $ wget -g0- https://get.haskellstack.org/ | sh 2. バージョンを確認。 $ stack --version Version 1.6.3 Git revision ....(リビジョン番号) 3. プロジェクトを作成。ここでは、test-mybot $ cd workspace $ stack new test-mybot 4. プロジェクトディレクトリへ移動。 $ cd test-mybot ※もし、インストールしたいライブラリがあったら、プロジェクト直下の tes

この画像は本家リポジトリのスクリーンショットを引用しています。 現在の最新バージョンは v0.13.0.0 です。この記事は以下のリビジョンで動作確認しています。 λ git clone https://github.com/haskell/haskell-ide-engine --recurse-submodules λ cd haskell-ide-engine λ git rev-parse HEAD 7cf1295a2804a527381331bb7b73d58255721edc v0.13.0.0 の変更点 また、vscode-hie-server の最新バージョンは 0.0.30 です。 haskell-ide-engine のビルド時間めちゃ長い問題について 現状、公式からビルド済みのバイナリは配布されていません。 「Nix で Haskell IDE Engine をシュッ

フリーランスプログラマであれば、複式簿記で青色申告するのは自力でも容易にできます。 もちろん、年度ごとに法改正などに対応するのは面倒なので、複式簿記の仕訳帳記入を日頃からプログラマティックに記述しておき、 年度末にそのプログラムを元にCSVを吐き出し、MFクラウド（無料プラン）とかにインポートするのが、僕が見つけたもっともコスパがいいやり方です。 この記事では、僕がどんな感じで毎年記帳と確定申告をしているかをご紹介します。 ただし、確定申告書の内容については保証しないので、ご自身で税務署に確認するなりして自己責任でマネしてください。 対象者 個人事業主として活動しているプログラマ。 ここで紹介する簡単なHaskellコードにじんましんが出ない方。 仕訳CSVの作成 最新のhaskell-bookkeeping-jp-sampleを参考にしてCSVファイルを作成します。 Haskellは言語

昨日第23回Haskellもくもく会 @ 朝日ネットで初めてstackを触ったのですが、 あまりにも簡単・高速にパッケージ作りの準備ができたので、やったことを共有したいと思います。 GHC(Haskellの最も有名なコンパイラ)のインストールまでやってくれるので、これからHaskell始めます！みたいな人にもオススメです。 stack自体が何かは @tanakh さんのHaskellのビルドツール"stack"の紹介をご覧ください。 一言で言うと「GHCのインストールからパッケージのインストールにビルドまで、ワンストップでやってくれる神ツール」ですかね。 インストール 各OSごとに微妙に違うみたいなので、公式ページの解説をご覧ください。 とはいえ、基本的には実行ファイルをPATHのどこかに置くだけなので、この手の作業に慣れている人には朝飯前でしょう。 1ファイルだけでインストールできちゃう

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?