Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? なぜこれを書くのか 私がQiitaに投稿した記事を見た方から、メールが届きました。 プログラミング言語のHaskellを勉強し始めたものの、難しくてやめようかと考えているそうです。 その気持ちも非常によく分かります。 すごいH本が出版されてから年月も経ち、それなりに勉強しやすくなったとはいえ、お世辞にもHaskellを学ぶ環境が整っているとは言えません。 私はHaskellで製品開発をする会社を保守運用していたことがあり、また自分自身もHaskellでプログラムを書いています。 また、Haskellを普及させるべく、「こわくないHask

手続き型に慣れた人にもやさしい、こわくないHaskell入門記事です。 「なぜHaskellを学ぶと良いか」も参考にしていただければ幸いです。 まえがき Haskellと聞いて、何を思い浮かべますか？ モナド 関数型 遅延評価 第4世代Intel Coreプロセッサ アライグマ いろいろ思い浮かべるかもしれませんが、Haskellがすばらしいのはモナドを利用しているからでも、遅延評価型の純粋関数型言語だからでもありません。 いろいろな「Haskellらしさ」が集まって、その結果Haskellにしかないすばらしい魅力を提供してくれます。 それは、決していままでのパラダイムと対立するものではなく、 手続き型 構造化プログラミング オブジェクト指向 のようなこれまでの便利な道具をうまく抽象化しながら統合して作り上げられたものです。 PHP javascript C++ Java などにあなたが費

Haskeller の異常な愛情：または、生粋の Haskeller は転職して Rust を一ヶ月半書いて何を思うようになったか この記事は Jij Advent Calendar 2024、Haskell Advent Calendar 2024、およびRust Advent Calendar 2024シリーズ2 の18日目の記事です。 TL; DR：Haskell にも Rustにもよいところがあるので、お互いいいとこ取りをしていきたいですね！ はじめに：転職しました このたび諸般の事情[1]により転職しまして、2024年11月から株式会社JijというところでRustを書いております。 筆者はかれこれ17年くらいはHaskellを書きつづけており、前職でもほぼ全てのものをHaskellで書いていたくらいには生粋のHaskellerです。今回もできればHaskellを書く仕事をできると

こんにちは！関数型まつり 運営チームの池田です。 このたび、ScalaMatsuriが進化し、新しい関数型プログラミングのカンファレンス「関数型まつり」を開催することをお知らせいたします！🎉 関数型まつりとは？ 関数型まつりは、プログラミングにおける「関数型」の思想や技術にフォーカスした新しいテックカンファレンスです。 言語に限定されることなく、あらゆるプログラミング言語の壁を越えて、関数型プログラミングというものについて広く学び共有する場です。たとえば、あなたがHaskellを愛する開発者でも、JavaScriptで関数型っぽく書いているフロントエンドエンジニアでも、あるいは「関数型って興味あるけどよくわからない」という初心者でも、きっとこのイベントで新しい発見があるはずです。 イベント詳細 イベント名 関数型まつり 開催時期 2025年6月14日(土)〜2025年6月15日(日) 開

この記事は Haskell - Qiita Advent Calendar 2024 - Qiita の 5日目の記事です。 純粋関数型言語の Haskell では、値は基本的に不変です。リスト、Set、Map など基本的なデータ構造も不変データ構造として提供されています。 不変なデータ構造は変更をしても、変更前の値が残ります。結果、データを変更したあとも以前のデータを参照することができるという特性が得られます。この特性を指して、不変なデータのことを「永続データ」と呼び、永続データを駆使して問題を解くことを「永続データプログラミング」と呼ぶことがあります。 Haskell で関数型プログラミングをすると、自然と永続データプログラミングを実践することになります。 永続データプログラミングを支えるのが「永続データ構造」の存在です。 不変なデータで変更を表現するには、元のデータをコピーして、それ

Haskell Advent Calendar 2024 3日目の記事です。 TypescriptやZigでゲームボーイエミュレータを書いたことがあったのでHaskellでも試して見ました。CPUまで書いて力尽きたのでゲームは遊べません。自分でゲームボーイエミュレータ書いてみたいという方はgbdev.ioを見ればだいたいなんとなくおおよそたぶんわかるかと思います。 エミュレータはCPUの命令を実行するたびにレジスタやメモリなどを逐次更新していくことになるのでミュータブルの方が効率が良いと思います。素直にIORefやVector.Mutableなどを使うのがよいと思うわけですが、StateMとLensを使えばミュータブルっぽいインターフェイスですっきり書けそうな気がしました。気がしたんです。 type CPU a = StateT CPUState (StateT MBCState (Sta

Object-Oriented Conference 2024で発表した資料です。 https://fortee.jp/oocon-2024/proposal/b31c9818-3cb8-4350-adfe-cbc839cdf829 ビジネスの専門知識（ドメイン）を中心に据えたドメイン駆動設計に…

この記事では、JavaライクなインターフェースとHaskellライクな型クラスを比較します。どちらも、複数の異なる型を統一的に扱うための仕組みです。 インターフェース インターフェースはご存知の方も多いと思いますが、コード例を載せておきます。 // インターフェースの定義 interface Greetable { String greet(); } // 実装の例1 class Hello implements Greetable { String message; Hello(String m) { this.message = m; } public String greet() { return "Hello " + message + "!"; } } // 実装の例2 class Goodbye implements Greetable { public String gree

Haskell で AtCoder に入門しましょう

追記：いくらなんでもあまりにも長いので、配列演算に焦点を絞ってより「Rustっぽさ」の気持ちを強調した姉妹編を書きました。手っ取り早く雰囲気を掴みたい方はこちらもどうぞ。 TL;DR GHC 9.0 から Haskell に入った線型型（Linear Types）の機能を一部割とガッツリ使ってみたので、Linear Haskell の現在の使い心地と将来の展望を報告するよ。 使おうと思えば使える段階にあるけれど、一部バグもあるし、まだ言語機能面で実装が追い付いていない部分もあって、快適に書けるようになるにはもうちょっと掛かるよ。それでも実用しようと思えばできるレベルにあるよ。 RustのようになるにはLinear Constraintsに期待。 更新履歴 2023/12/15 11:45 姉妹編へのリンク追加。 2023/10/01 12:30 線型性を納得してくれない場合の \eta-展

はじめに （あともう少しで）あけましておめでとうございます。 この記事では2020年12月31日時点での私のおすすめの最新のHaskellプロジェクトの作成方法をまとめます。 Haskellの環境構築はstackを使うものとcabalを使うものの２種類があります。 歴史的にはcabalの不便さを改善したのがstackですが、現在はcabalも進化して 不便さは大幅に解消されているため、筆者の好みでcabalによる環境構築をまとめます。 ツールのインストール ghcup ghcupはGHCとcabalとHLSをバージョン管理してくれるインストーラです。 インストールガイド を参考にインストールしてください。 バージョン確認 ghcupをインストールしたら $ ghcup list Tool Version Tags Notes ✗ ghc 7.10.3 base-4.8.2.0 ✗ ghc

n度目のチャレンジでHaskellをしっかりやりたいなと思って環境構築しようとしている。ただ、調べてみると情報がいろいろ錯綜していそうなので、2022年時点の話を改めてまとめておきたい。（が、この情報も錯綜を生む可能性がある 🤔） ちなみに開発環境として想定しているのは macOS 12.6 (Apple M1 Pro) brew 経由でインストールしておきたい 開発環境には VSCode を使用 です。

HaskellをインストールしてHello Worldしたメモです。 stack GHC IntelliJ plugin Hello World 以前、すごいhaskellたのしく学ぼうとふつうのHaskellプログラミングを写経して以来まったく触ってなかったので、 Windowsに新規にHaskell環境をインストールしてみます。 たしか以前はHaskell Platformを利用してまるっと一式インストールしたのですが、今はあまり推奨されていないようで stackを利用してGHCをインストールするのがよいようです。 下記のバージョンでインストールしてみます。 stack 2.7.3 GHC 8.0.2 stack 下記からstackの最新のインストーラを利用してインストールします。 https://www.haskell.org/downloads/ stack-2.7.3-windo

こんにちは。今回さのテーマは「Haskellプロジェクトを作るための環境構築」です。Haskellのプログラミング周りのツールは日進月歩で進歩しており新しいツールが出てきている状態ですので、今回紹介する設定もすぐ古くなってしまう気もしますが、2021年9月時点で筆者が個人的に良いと思う環境構築について書いてみたいと思います。 [adsense02] 【目次】 ghcupでstackのインストールも可能になった ghcupの導入開始 PATHの設定 HLSのインストール設定 stackのインストール設定 各ツールのビルドとインストール パスの有効化 stackの設定をする ghcupでstackのインストールも可能になった ネット上の情報を探しているとghcupではghc, cabal, HLS(Haskell Language Server)を導入し、Stackについては別途インストールす

この記事は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のコードの補完を使いたいだけ」という感じパッケージを入れては消して、タイトにまとめたかったからゴチャゴチャしてきたらlinuxを初期化して何度か試した結果に残ったことをメモする。 debian系のlinuxにhaskellの環境をつくる。最初haskell-ide-engineというのを使おうと思ったが、うまくいかなかった。このページを参考にさせてもらって、vscodeの拡張のhaskeroを使うことにしたら、うまくいった。4GBぐらい容量を消費してしまう。 まずは次。 sudo apt update sudo apt install haskell-platform そしてstackを入れる。 curl -sSL https://get.haskellstack.org/ | sh そして.bashrcという名前のファイルに次を追記。 export PATH="$