この記事は Haskell - Qiita Advent Calendar 2024 - Qiita の 5日目の記事です。 純粋関数型言語の Haskell では、値は基本的に不変です。リスト、Set、Map など基本的なデータ構造も不変データ構造として提供されています。 不変なデータ構造は変更をしても、変更前の値が残ります。結果、データを変更したあとも以前のデータを参照することができるという特性が得られます。この特性を指して、不変なデータのことを「永続データ」と呼び、永続データを駆使して問題を解くことを「永続データプログラミング」と呼ぶことがあります。 Haskell で関数型プログラミングをすると、自然と永続データプログラミングを実践することになります。 永続データプログラミングを支えるのが「永続データ構造」の存在です。 不変なデータで変更を表現するには、元のデータをコピーして、それ
これは、Haskell Advent Calendar 2021 の8日目の記事です。 Haskellのコンパイラとして事実上一択となったGHCには、「軽量スレッド」が実装されています。軽量スレッドは、ネイティブスレッドよりも軽量なスレッドで、他の言語では「グリーンスレッド」とも呼ばれています。Haskellerが並行プログラミングをするときは、軽量スレッドを息を吸うかのように使います。 複数の軽量スレッドの入出力を束ねるのが、IOマネージャです。IOマネージャも単なる軽量スレッドであり、OSから入出力のイベントを受け取り、それぞれの軽量スレッドにイベントを通知します。 軽量スレッド(っぽい)機能を提供する他の言語では、GHCのIOマネージャを参考にしているようです。僕はIOマネージャの開発に深く関わっています。この記事ではIOマネージャの歴史をまとめるとともに、主にmacOSでの実装に関
Skip to the content. Haskell入門 従来の言語では問題を部分化する方法について概念的な限界がいくつかある。関数型言語はこれらの限界を押し広げるも のである。 なぜ関数プログラミングは重要か 関数プログラミングを習得するには，これまで命令プログラミングで培った技術はいったん忘れ，真っ白な気持ちで臨む必要があります。関数型の山を登るためには，命令型の山を降りなければなりません。 第1章 関数プログラミングは難しくない！ Haskellは理解すれば理解するほどきれいに書けることを約束してくれます。信頼してください 常にパターンを探しましょう。単純になるとき、またその時だけそれらを抽象化するのです 辛抱強く抽象化を正しく理解しましょう。もしそれが出来たならすべてのことが魔法のようにつじつまが合うようになるでしょう。 実装そのものが設計図となります … Haskell Ma
Development has moved to Enso. Watch Enso for the upcoming 2.0 release. Want to support Enso? Star the new repo, or check out our good first issues. Luna Studio Visual and textual functional programming language with a focus on productivity, collaboration and development ergonomics. Luna is a developer’s whiteboard on steroids. Design, prototype, develop and refactor any application simply by conn
I was thinking about this yesterday. If the point of functional code is that it is easier to reason about, should we like Monads? Consider we have an interpreter, and that we construct a sequence of commands in the free monad. Given a program like this: f = do s <- newRef writeRef s 23 writeRef s 42 readRef s Now I have deliberately not specified the implementation of the interpreter, it could be
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
What I Wish I Knew When Learning Haskell Version 2.5 Version This is the fifth major draft of this document since 2009. HTML Version Screen PDF Printable PDF EPUB Version Kindle Version Pull requests are always accepted for changes and additional content. This is a living document. The only way this document will stay up to date is through the kindness of readers like you and community patches and
Qiita 初投稿です。仲良くしてね (*´σｰ｀)ｴﾍﾍ モナド則の解釈に悩む Haskell 初心者の方向けの記事です。 はじめに Haskellに入門すると、すぐにモナドという概念に向き合うことになります。 モナドは純粋関数型言語であるHaskellの中で手続きを扱うための概念であり、モナドを使うと 手続きを記述できる 入出力を伴う処理が書ける 例外処理が書ける 書き換え可能なグローバル変数をエミュレートできる パーサが簡単に書ける などなど、なんだか便利そうです。 そしてモナドを解説する記事や本を読むと、必ず モナド則 という、3つの式からなるモナドの条件が説明されています。 また、自分でモナドを作るときにはこれらのモナド則を満たさなければいけない、とも書かれています。 この記事の目的は、 「これらの式が自作モナドにどんな性質を要求しているのか」 「モナド則を満たすとどんなメリット
![[Haskell]結局、モナド則は何を要求しているのか - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/65fa4cae50710a7606043b17acc7ded54e3e151b/height=288;version=1;width=512/https%3A%2F%2Ffanyv88.com%3A443%2Fhttps%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9JTVCSGFza2VsbCU1RCVFNyVCNSU5MCVFNSVCMSU4MCVFMyU4MCU4MSVFMyU4MyVBMiVFMyU4MyU4QSVFMyU4MyU4OSVFNSU4OSU4NyVFMyU4MSVBRiVFNCVCRCU5NSVFMyU4MiU5MiVFOCVBNiU4MSVFNiVCMSU4MiVFMyU4MSU5NyVFMyU4MSVBNiVFMyU4MSU4NCVFMyU4MiU4QiVFMyU4MSVBRSVFMyU4MSU4QiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnM9MDhjNTRlNDY5ZDhlZDNkMWVkYmUzZDQ0ZDk4OTgyNGY%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDB0ZXpjYTY4NiZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9NDVmMTBiNzRjNjM5ODg0ZDNmNmYxMTY1NjZmMjliMjY%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3D79314a51acfc18076fd4dc057357f754)
本当は [Haskell] リテラルのあれこれ（数値・リスト・文字列） というタイトルで、リストや文字列のリテラルについても触れるつもりでしたが、思ったより長くなってしまったのでとりあえず数値リテラルについて。 お手柔らかに (*´σｰ｀)ｴﾍﾍ はじめに HaskellではC言語などのように浮動小数点型のリテラルを、3.0のように明示的に小数点をつけて書く必要はありません。 以下のコードはコンパイルを通ります。
![[Haskell] 数値リテラルの活用 - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/1d0f4f5220bc0046132a9e88e531194c4bd3471e/height=288;version=1;width=512/https%3A%2F%2Ffanyv88.com%3A443%2Fhttps%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9JTVCSGFza2VsbCU1RCUyMCVFNiU5NSVCMCVFNSU4MCVBNCVFMyU4MyVBQSVFMyU4MyU4NiVFMyU4MyVBOSVFMyU4MyVBQiVFMyU4MSVBRSVFNiVCNCVCQiVFNyU5NCVBOCZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnM9YzMxY2Q2NGY1NzIxMTdhNGI3NjU0ZDYwOTU5N2FlN2I%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDB0ZXpjYTY4NiZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9NDVmMTBiNzRjNjM5ODg0ZDNmNmYxMTY1NjZmMjliMjY%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3D79b74d4cfd282ed34da0c80aaf7c6efa)
実践編！Haskellらしいアプリケーション開発。まず型を定義すべし【第二言語としてのHaskell】 トランプを使った有名なゲーム「ブラックジャック」の手札の値を計算をするアプリケーションを書きながら、Haskellによるプログラミングの中心となる「型を定義し、その型を利用した関数を書く」ことを実践してみましょう。 こんにちは。Haskell-jpの山本悠滋（igrep）です。 Haskellでプログラミングを始めるのに最低限必要となるものを「Haskellらしさって？「型」と「関数」の基本を解説！」という記事でお話しました。 その際に「Haskellによるプログラミングの大きな部分を占めるのは、問題に合わせた型を自分で考えて定義し、その型を利用した関数を書くこと」 と宣言しましたが、実践するところまでは踏み込みんでいません。 この記事では、実際にアプリケーションの一部を書きながら、「型
time.gif · HookRace Blog
This is an endless GIF that always shows the current time in UTC: Source Code (From reports it doesn’t seem to work on Safari, other browsers should be fine.) time.gif is written in Haskell and works by dynamically generating each frame of the GIF and slowly feeding them over the HTTP connection. There is no guarantee that this GIF shows a reasonable time and this is just for fun anyway, so better
Mark Karpov wrote in his article on Migrating text metrics to pure Haskell how he originally did foreign calls out to C… The blog post also links to another article where the author rewrote his Haskell library with pure Haskell, along with some microbenchmarks. They are very interesting and I definitely learnt a few things, but they fall short on their benchmark methodologies. Cross-language bench
Wandbox は、オンラインでコンパイルや実行が試せるサービスで、主に私（@melponn） と @kikairoya で作っています。 以前 Wandboxを支える技術 というのを書いていたのですが、そこからかなり変わっているため、改めて今の中身がどうなってるかについて書いていきます。 Wandbox は、Wandbox 本体と、各種コンパイラをビルドするための Wandbox Builder に分かれています。 ソースコードは wandbox と wandbox-builder にあります。 2019/9/26 追記: Wandbox のビルドを CMake に移行した話 を書きました 犬小屋と牛舎 Wandboxはバックエンドとフロントエンドで分かれていて、フロントエンド側が 犬小屋(kennel) 、バックエンド側が 牛舎(cattleshed) という名前になっています。 犬小
『Haskellによる関数プログラミングの思考法』を読みます。 この本は"Thinking Functionally with Haskell"（"Introduction to Functional Programming with Haskell"の全面改訂版）を翻訳したものです。 プログラミング経験を前提としない関数プログラミングの入門書（というふれこみ）で、関数プログラミングの考え方が解説されています。100以上の練習問題が用意されており、じっくり、ゆっくり、試しつつ、関数プログラミングを楽しみましょう。 関数プログラミングの「入門書」とのふれこみ（ふれこみ詐欺の噂があります^^;）ではありますが、命令プログラミングの経験者、熟練者、達人の方も楽しめると思います。ひやかし心の方もぜひご参加ください。 Haskell未経験でも楽しめると思います。 すすめ方 基本的には主催者が本をベタ
{- | ____|| _ \ | ____| / _____|| ____| | |__ | |_) | | |__ | | __ | |__ | __| | | __| | | |_ | | __| | | | |\ \__ | |____ | |__| | | |____ |__| | _| `.___||_______| \______| |_______| ************ A Haskell for the JVM ************* Here in the editor, you can edit Frege code and then run it by clicking the 'Evaluate' button at the bottom or by pressing 'Ctrl + Enter'. The following is an example
Slides and more info: http://www.codemesh.io/codemesh2015/jon-coens The Haxl project is running in production at Facebook, and it's been a fascinating ride along the way. We've migrated a 100K line codebase to a completely separate language, built novel infrastructure in Haskell, launched it in a crucial system, and grew dozens of Haskell developers, all without missing a beat. Come learn what bl
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
