はてなブックマーク

この記事はHaskell Advent Calendar 2022の1日目の記事です。 この記事では、2022年12月時点のHaskellの環境構築手順を紹介します。2023年になっても通用するといいなあ。 対象とする環境 対象とする環境は以下の通りです： Unix系 macOS (Intel / Apple Silicon) Linux (x86_64 / aarch64) WSL2を含む（WSL1は不具合があった気がするので避けてください） Windows (x64) Arm系CPU搭載のコンピューターを使っている場合は、別途LLVMが必要になる場合があります。以下に当てはまる場合は、「補遺：LLVMバックエンドを使う」も読んでください： 64ビットArm（Apple Silicon Macや、Raspberry Pi OSの64ビット版など）で、GHC 9.0またはそれ以前のバージョ

Haskellで実用的なアプリケーションまたはライブラリーを書くときはCabalやStackでプロジェクトを作ります。しかし、プロジェクトを作るまでもなく何らかの作業をしたい、ということが時にはあるかと思います。 GHCに付属するライブラリーだけで済んでしまう場合は ghc, ghci や runghc を直接使えば良いのですが、もう少し実用的なことをやるにはHackageで公開されたライブラリーを使うことになります。 プロジェクトを作らずにライブラリーを使うにはグローバルな環境にインストールするという方法がありますが、グローバルな環境というのはいずれ管理しきれなくなることが目に見えています。この記事では、なるべくグローバルな環境を汚さずにライブラリーを使う方法を見ていきます。 対話環境でライブラリーを使う まず対話環境についてですが、 ghci の代わりに cabal repl や st

Haskellで本格的に開発する際はcabalなりstackなりでプロジェクトを作るわけですが、ファイル一つで済むような（書き捨て）スクリプトをHaskellで書きたい場合があります。 依存関係のないスクリプトであれば、普通にファイルを作って runghc/runhaskell すれば良いでしょう。しかし、Haskellには標準ライブラリー（base）以外にも「準標準」と呼べる外部のライブラリーが多数あり（例：bytestring, text, vector）、それらに明示的に依存することは runghc ではできません。 そこで使えるのが、cabal scriptやstack scriptと呼ばれる機能です。 cabal script cabal run コマンドを使うと、ファイル中に {- cabal: 形式の特殊なコメントを含むHaskellコードをその場でビルドして実行することがで

C23については最近のC言語と、次期C標準(C23)でも軽く紹介しました。 今回、C23入りする内容が大体固まったようなので改めて紹介します。 この記事を書いている時点での最新の公開されたWorking Draftは N2912 N3047 N3054 N3096です。ただし、C2y向けの最初のドラフトN3220もあり、そちらの方が実際の内容に近いかもしれません。 内容については会議参加者の投稿も参考にしています： https://twitter.com/rcs/status/1550526425211584512 C23 now finalized! : C_Programming というわけで、C23に入る主な機能はこちらです： C23に入る主な機能 POSIXの機能の取り込み: strdup, strndup, memccpy, gmtime_r, localtime_r C++の機

先史時代 昔のC言語には標準的なbool型はありませんでした。比較演算子は int を返しますし、 isspace みたいな述語関数も int を返します。 環境（プラットフォーム・ライブラリ）によっては独自のbool型を定義していることがありました。Windowsでの BOOL 型[1]とか、Objective-Cの BOOL [2]とか。 このようなオレオレbool型の欠点は、0/1以外の値を取れることです。また、下手にインクリメントとかするとオーバーフローします。 C99でのbool C99では標準的なbool型が導入されました。しかし、互換性に配慮して bool ではなく _Bool という奇妙な名前で導入され、 bool という名前や true, false などの名前つき定数を使うには <stdbool.h> を #include する必要があります。 // stdbool.h

Haskellで本格的に開発する際はcabalなりstackなりでプロジェクトを作るわけですが、ファイル一つで済むような（書き捨て）スクリプトをHaskellで書きたい場合があります。 依存関係のないスクリプトであれば、普通にファイルを作ってrunghc/runhaskellすれば良いでしょう。しかし、Haskellには標準ライブラリー（base）以外にも「準標準」と呼べる外部のライブラリーが多数あり（例：bytestring, text, vector）、それらに明示的に依存することはrunghcではできません。 そこで使えるのが、cabal scriptやstack scriptと呼ばれる機能です。歴史的にはstack scriptの方が古く（いつ？）、cabal scriptは2018年ごろに実装された比較的新しい機能です。 RFC: Add support for "#! /usr

Haskellでの型レベルプログラミングの解説書です。

Haskell Day 2021で「GHCの動向2021」というタイトルで発表しました、mod_poppoです。この記事では、発表の補足としてGHC 9.2の新機能の紹介と、 Data.List の単相化に関する補足を行います。 Haskell Day 2021の動画と筆者のスライドは、それぞれ次のリンクから参照できます： Haskell Day 2021 - YouTube GHCの動向2021 「GHCの動向」のタイトル的な元ネタ（？）は、筆者が3月にブログに書いた GHCに初めてコントリビュートした／最近のGHC動向 です。時代遅れになった記述もあると思いますが、よかったら読んでみてください。 GHC 9.2の新機能 2021年10月29日に、待望のGHC 9.2.1がリリースされました。公式の変更点は 2.1. Version 9.2.1 — Glasgow Haskell Com

C言語といえば古い言語なイメージですが、その重要性はまだまだ落ちていません（多分）。重要な言語だからこそ、今もひっそりと進化を続けています。この記事では、そんなC言語の最近の動向を紹介します。 まずはC言語の前世紀の標準であるC99、現行の標準であるC11/C17を振り返り、その後に未来の標準であるC23に触れます。 C99 C99では色々追加されました。ここでは一部のみの紹介とします。 _Bool _Complex C++の std::complex とメモリ上での互換性がある（C++11以降）。 可変長配列（VLA） 可変長引数マクロ 浮動小数点数の強化 十六進表記 筆者による関連記事：浮動小数点数の16進表記 fma 筆者による関連記事：FMA (fused multiply-add) の話 #pragma STDC FENV_ACCESS, #pragma STDC CX_LIMI