InteroというHaskellのEmacs向け開発環境があります. Intero for Emacs commercialhaskell/intero: Complete interactive development program for Haskell 私はhaskell-modeとFlycheckを既にうまく強調させて動かしていたため. これを使う必要はないかと思って移行していませんでした. しかし今改めて説明画面を見ると. GHCの提案警告に従ってコードを修正する機能. テストなどの違うターゲットにflycheckを移動させる機能. などが魅力的に見えたので移行してみることにしました. 移行してみたら型表示がリッチになっただけではなく. モジュールの補完機能が動いたりして予想以上の効果に満足です. hasktagsを使わなくても関数の定義箇所に飛べます. 名実ともにIDEという

年齢に対するお年玉の金額を関数で表す 年齢に対するお年玉の金額の暫定結論 疑問 職場のSlackで「姪にお年玉いくら渡せば良いんだろう」という話になって、そういえば自分も今年秋頃に姪が出来たのでお年玉を渡す必要があると思い出しました。 そこでお年玉の金額はいくらぐらいが適切なのか考え始めました。 世間一般的な回答 世間一般的には「小学生はこれぐらい、中学生はこれぐらい…」としているようです。 しかし私はこれには不満があります。 私は超過累進税率など行政の区分による分け方を常々批判してきました。ここで言う超過累進税率は、所得税などが1 2023年11月14日のWindows Updateに含まれるWSLgの更新でKeyhacからwslg.exeが起動できなくなる問題への対処 問題 2023年11月の「Windows Update」、AI機能「Copilot in Windows」などの展開を

3年前ぐらいからHaskellを書くときには, stylish-haskellとhlintを使ってコードを書いています. これらを使うと, 私のようにツールに頼ってコードを書いているだけでも｢コードが綺麗｣と褒めてくれるようになります. しめしめ. 他にHaskellを書く時に良いツールがあれば是非教えてください. jaspervdj/stylish-haskell: Haskell code prettifier stack install stylish-haskellでインストール可能です. stylish-haskellはコード整形ツールです. このツールは importの揃え プラグマの揃え, 及び不要なプラグマの削除 無意味な空白の削除 レコードの縦揃え パターンマッチの揃え などをしてくれます. 詳しくは公式サイトを見るのが良いと思います. この記事いる? この中でもimpo

Haskell は数値の型を合わせないと計算出来ません。それは他の言語も同じですが、 Haskell には型推論があるため、変換しようとする型を直接指定するのでなく、中間としてジェネリックな型を指定して、あとは Haskell におまかせするというようなイメージです。 (参考：Real World Haskell p153 表6-4 数値間の変換) また、コンパイラが勝手にキャストとするということはありません。 整数(Int、Integer)の型が違う場合は fromIntegral を使って Num にして型を合わせてから計算する。 fromIntegral は Integral型からNum型に変換する関数です。 ghci> (fromIntegral (2::Int)) + 3::Integer --> 5 ghci> :t fromIntegral fromIntegral :: (

(注記：11/30、いただいた翻訳フィードバックを元に記事を修正いたしました。) 最近、Haskellでも生産性の高い作業ができるほどに、この言語を使いこなせるようになりました。定期的にPythonを使いもしますが、今ではWebプロトタイプ作成のほとんどをHaskellで行っています。それで、時間が経ってしまう前に、この言語の学習経験を通じて考えたことなどをまとめたいなと思っています。 データファースト これはどちらかというと動的言語から静的言語への移行に関しての考えなのですが、Haskellのデータ構造は、ほとんどの場合、データ宣言と型シグネチャで提示されるのに対し、Pythonの場合、おおむねコードによって暗黙に定義されます。 Pythonの関数について私が初めて抱いた考えは、「コードに何が書かれているか？」でしたが、Haskellでは、「データはどう見えるか？　この関数は＿＿＿を受け

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

最近、副作用や関数型言語についてもめているのをよく目にする。副作用と関数型言語に関する私の見解をここに示す。 処理系はソースコードを解釈し、コンピュータの入出力、つまり副作用に変換する。ほとんどのプログラミング言語は、副作用を表現するプリミティブとその組み合わせによってプログラムを記述する。副作用は実行時に生まれるものだから、「Cの関数は副作用がある」「Haskellのコードに副作用はない」といった議論は、残念ながら意味をなしていない。実行していないのに副作用が出てきたら、超自然的な力を信じざるを得ない。 副作用の扱いについてよく議論の的になる言語としてHaskellがある。Haskellが多くの手続き型言語と異なるのは、副作用を含む計算に対して、専用の型(IO)が定義されているというだけであり、「そのコードが副作用を記述できるかどうか」を区別しやすくするためのちょっとした助けに過ぎない。

この記事は、Monad でつまづいた Haskeller のための Monad 再入門です。 Monadとは何ですか？ Monad とは、単なる型クラスの一つです。難しいという風評もありますが、それ以上でもそれ以下でもありません。 この型クラスのメソッドは、return と >>= です。 class Monad m where (>>=) :: m a -> (a -> m b) -> m b return :: a -> m a つまり、以下を満たす型の集合が Monad です。 m a で表現できるように一つの型変数を格納するコンテナ型 >>= と return を実装 return は新しいコンテナを作り、>>= は二つのコンテナを合成します。 Monad のインスタンスは失敗系と状態系に大別できます。以下に代表的なインスタンスを示します。 失敗系: Maybe、[] (リスト)

_この記事は2013年の情報オリンピック夏季セミナーの発表のために 動機 Haskellには競技プログラミングに使えるCoolな機能が沢山あります。 パターンマッチやプレースホルダ、パターンガード、柔軟な関数合成などです。 下はAtCoder Regular Contest #14のB問題に対する回答です。 再帰や場合分けがかなりシンプルに書けます。 import Control.Monad import Control.Applicative import Data.List main :: IO () main = do n <- readLn (w:ws) <- replicateM n getLine putStrLn $ case check [w] ws True of Nothing -> "DRAW" Just True -> "WIN" Just False -> "LO

2015-07-03追記: 現在yesodを使いたい場合は、stackを導入するのが適切だと思います。 https://github.com/commercialhaskell/stack cabal-install-1.18からsandbox機能が付き便利になったわけだが、いまいちyesodでsandbox機能をスマートに使う方法が見つからなかったのでメモ(というエントリを書いてからその方法が見つかると言うね。まあいいのだけど)。 なおGHC7.6.3, yesod-platform-1.2.7.1を前提としている。 どうでもいいがyesod-platform-1.2.6はyesod-bin-1.2.6で生成したファイル群で使えない悲しさがあった。そこバージョン合わせている訳じゃないのか。 yesod-platfromとは複雑な依存関係を持つyesodにおいてcabal-hellを回避す

Haskell の web アプリケーションフレームワークである Yesod を、Stackage レポジトリからインストールする方法についてのメモです。理解不足から間違いもあるかも知れませんので、ご指摘ください。 Hackage レポジトリについて Hackage (Hackage: Introduction) は、Haskell で書かれたライブラリのパッケージのレポジトリであり、Ruby で言うと RubyGems (RubyGems.org | your community gem host) のようなものです。それらのパッケージは、Cabal-Install ツールでパッケージをローカルへフェッチし、インストールすることができます。 Cabal-Install について Cabal-Install (Cabal-Install - HaskellWiki) は、Haskell の

村主です。 ２０１１年９月２１日に、ICFP2011で来日していたSimon Peyton-Jones先生を弊社にお招きして、Glasgow Haskell Compilerの最新事情について講演をしていただきました。当日は体が浮きそうなほどの風が吹く大嵐でしたが、多くの人の協力のおかげで無事に終えることができ、感謝しています。 サイモン先生からスライドを分けてもらったので、講演会の動画とあわせて読む形で、記事にまとめてみました。Haskell/GHCのさまざまなトピックをカバーするこの講演、みなさんのHaskell勉強の一助となれば幸いです。 サイモン先生に「君たちも何か話してよ」と頼まれたので、僕が流体計算言語Paraiso(リンク先にスライドあり)の話をまずしています。 31:46 頃からサイモン先生のトークが始まります。まずはHaskell Communities and Acti

これは Haskell Advent Calendar 2011 の5日目の記事です。 去年も書きましたが、その記事はこちら → Haskell厨を6年やってる俺がOCamlを仕事で2ヶ月使ってみた - keigoiの日記 先日の記事 Haskell＋タグレスな型付きDSLで楽々！C言語コード生成 - keigoiの日記 をちょっとブラッシュアップした。前回はコードについては全く説明しなかったので、改めて解説する。 おさらい HaskellやOCamlなどの関数型言語は、プログラミング言語の処理 ― 構文解析とコード生成 ― がとても得意だ。 大手のソフトウェア企業として知られる NTTデータも既存コードの処理 (構文解析〜リバースエンジニアリング) のために Haskell を使っているそうだ。 (函数プログラミングの集い2011より。インドに外注する部分もあるそう togetter 1