これは、Haskell Advent Calendar 2021 の8日目の記事です。 Haskellのコンパイラとして事実上一択となったGHCには、「軽量スレッド」が実装されています。軽量スレッドは、ネイティブスレッドよりも軽量なスレッドで、他の言語では「グリーンスレッド」とも呼ばれています。Haskellerが並行プログラミングをするときは、軽量スレッドを息を吸うかのように使います。 複数の軽量スレッドの入出力を束ねるのが、IOマネージャです。IOマネージャも単なる軽量スレッドであり、OSから入出力のイベントを受け取り、それぞれの軽量スレッドにイベントを通知します。 軽量スレッド(っぽい)機能を提供する他の言語では、GHCのIOマネージャを参考にしているようです。僕はIOマネージャの開発に深く関わっています。この記事ではIOマネージャの歴史をまとめるとともに、主にmacOSでの実装に関

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

プログラミング言語の学習は一般に大変である。 最初にどのようなことをすればいいのか、どの本をよむべきなのか等疑問は尽きない。マイナーな言語で情報が少なければなおさらである。 この記事では諸事情でHaskellに入門することになった方にむけて、どのように勉強していくか、参考にすべき本や記事を紹介する。 より良い指針にするためにも、指摘、感想等はコメントや私のTwitterアカウント(@Lugendre)に投稿して頂けるとありがたい。 入門〜初心者 環境構築 まずどんなプログラミング言語においても、プログラミングをする環境が必要である。Haskellにおいては Stackと呼ばれるツールをインストールすることによって、コンパイラ(GHC)、モジュールのインストール、ビルドなど自動でやってくれるようになるので、とりあえず脳死でStackをインストールしておけば良い。 以下の@igrepさんの記事

Qiita 初投稿です。仲良くしてね　(*´σｰ｀)ｴﾍﾍ モナド則の解釈に悩む Haskell 初心者の方向けの記事です。 はじめに Haskellに入門すると、すぐにモナドという概念に向き合うことになります。 モナドは純粋関数型言語であるHaskellの中で手続きを扱うための概念であり、モナドを使うと 手続きを記述できる 入出力を伴う処理が書ける 例外処理が書ける 書き換え可能なグローバル変数をエミュレートできる パーサが簡単に書ける などなど、なんだか便利そうです。 そしてモナドを解説する記事や本を読むと、必ず モナド則 という、3つの式からなるモナドの条件が説明されています。 また、自分でモナドを作るときにはこれらのモナド則を満たさなければいけない、とも書かれています。 この記事の目的は、 「これらの式が自作モナドにどんな性質を要求しているのか」 「モナド則を満たすとどんなメリット

本当は　　[Haskell] リテラルのあれこれ（数値・リスト・文字列）　　というタイトルで、リストや文字列のリテラルについても触れるつもりでしたが、思ったより長くなってしまったのでとりあえず数値リテラルについて。 お手柔らかに　(*´σｰ｀)ｴﾍﾍ はじめに HaskellではC言語などのように浮動小数点型のリテラルを、3.0のように明示的に小数点をつけて書く必要はありません。 以下のコードはコンパイルを通ります。

実践編！Haskellらしいアプリケーション開発。まず型を定義すべし【第二言語としてのHaskell】 トランプを使った有名なゲーム「ブラックジャック」の手札の値を計算をするアプリケーションを書きながら、Haskellによるプログラミングの中心となる「型を定義し、その型を利用した関数を書く」ことを実践してみましょう。 こんにちは。Haskell-jpの山本悠滋（igrep）です。 Haskellでプログラミングを始めるのに最低限必要となるものを「Haskellらしさって？「型」と「関数」の基本を解説！」という記事でお話しました。 その際に「Haskellによるプログラミングの大きな部分を占めるのは、問題に合わせた型を自分で考えて定義し、その型を利用した関数を書くこと」 と宣言しましたが、実践するところまでは踏み込みんでいません。 この記事では、実際にアプリケーションの一部を書きながら、「型

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未経験でも楽しめると思います。 すすめ方 基本的には主催者が本をベタ

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

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

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

関数型プログラミングが流行していることもあって、頻繁に耳にする「参照透過性」という用語について考えます。 ∥ 参照透過性 - Wikipedia その過程で目にした、Stack Overflow 上の Reddy 氏の発言が面白かったので、ザックリと訳します。 用語の起源と、それがプログラミング言語に導入された経緯 一応意味は分かってはいるんですが、なぜ「副作用のない関数呼び出し」やら「変数への再代入の禁止」といった特性を「参照透過性」と呼称するのかが分かりませんでした。この場合の「参照」は、何が何を参照することであり、また、それがどういう状態にあることを「透過である」としているのかが、通り一遍調べてみても分かりませんでしたので、掘りに行ってきます。 英語版 Wikipedia の方には、この考え方がプログラミングの概念として導入された経緯についての論文が参考文献として挙げられています。