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

はじめに この記事は、筆者の Haskell プログラミング環境を紹介するものです。選択はすべて、筆者の好みによるもので、善し悪しは判断していません。とはいえ、なれない人の参考にはなるかもしれないので記事にしました。 プロジェクト作成から作成した実行ファイル起動まで 以下のような進め方をするための環境です。 $ stack new sample # sample プロジェクトの開発ディレクトリを構成 $ cd sample # sample のトップに移動 $ gen-hie > hie.yaml # hie.yamlの生成 $ git add .; git commit # 初期状態をローカルリポジトリにコミット $ code . # VS Code を起動し、package.yaml を編集 $ git diff executables: + first: + main: Main.h

関数型プログラミングは全部理解しようとすると難しいですが、簡単な部分の中にも有用な知見がたくさんあります。 関数型プログラミングにまだ親しんでいない人向けに、明日からのプログラミングにすぐ役に立つ考え方をできるだけわかりやすく伝えます。

紙書籍をお届けします（PDFがついてきます） PDFのみが必要な場合は、こちらのPDF単品をお求めください PDFは購入後すぐにダウンロード可能です 紙書籍は通常、ご注文から2～3営業日で発送します 年末年始や大型連休など、1週間から10日程度、配送のお休みをいただく場合があります。詳しくはお知らせをご覧ください プログラムが、手続きでなく、関数と型に見えてくる Graham Hutton 著、山本和彦 訳 328ページ A5判 ISBN：978-4-908686-07-8 2019年8月2日 第1版第1刷 発行 翻訳者による補足情報があります（リンク） 正誤情報 Haskellは、1990年に誕生した歴史あるプログラミング言語です。強力な型推論を備えた、静的型付きで遅延評価の純粋関数型言語として知られています。Haskellを知ることは、こうした概念の背景にある計算機の理論を知り、それが

Haskellで簡単なプログラムを書くのに最低限必要な基礎文法を取り上げます。練習では再帰に慣れることに重点を置きます。再帰によるリスト処理の例として各種ソート（挿入ソート、バブルソート、マージソート、クイックソート）を紹介します。ラムダやモナドなどの発展的な内容には触れませんのでご了承ください。 シリーズの記事です。 Haskell 超入門 ← この記事 Haskell 代数的データ型 超入門 Haskell アクション 超入門 Haskell ラムダ 超入門 Haskell アクションとラムダ 超入門 Haskell IOモナド 超入門 Haskell リストモナド 超入門 Haskell Maybeモナド 超入門 Haskell 状態系モナド 超入門 Haskell モナド変換子 超入門 Haskell 例外処理 超入門 Haskell 構文解析 超入門 【予定】Haskell 継続

HHVM の話を聴いてからというもの、VM というものにどうにも興味がわいて仕方がない今日この頃。世の中の言語処理系も中身は VM だったりするわけで、そもそも VM ってどうやって作るのかな − とか考えてたら @riywo PDP-11のVM作って、Unix V6動かせば、一石何鳥になることやら — sakamoto.kazuki (@splhack) October 1, 2014 というご意見をもらって、初めて PDP-11 というものを調べ始めました。UNIX V6 の本とかを買って読み始めてみたり、言語処理系の作り方の本にも手をだしてみました。 PDP-11/UNIX V6 の勉強会があった そんな中、@7shiさんが主催されている「池袋バイナリ勉強会」の存在を知りました。なんと、ついこの間まで PDP-11 の逆アセンブラ(機械語のバイナリからアセンブリ言語を出力する)を作っ

Elm触ってみると面白くてハマりまして、この記事もそんな一人による紹介記事になります。 この記事が一番ストック数が多いので、v0.17になったことに合わせて書き直しました。（2016年5月18日） ##Elmとは ###・コンパイルすると、HtmlやCSSやJavascriptになる。 Elmとは、コンパイルするとHTML、CSS、Javascriptを生成するプログラミング言語です。 ###・Elmアーキテクチャで書ける。 v0.17から正式にElmはフレームワークを兼ね備えた言語になりました。 後述するElmアーキテクチャというパラダイムでブラウザアプリケーションを書きます。 ###・Elmはシンプルで小さな関数型の言語です。 ElmはHaskellやいろんな関数型言語を参考にして、とても小さく強力な構文を持っています。 ###・学習が始めやすいです。 かなり学習のしやすさや学習曲線を

C++の標準には多倍長整数ライブラリがありません。これは大変なことだと思います。 まあBoost.Multiprecision来るじゃないというのはさておき、 標準の多倍長整数がないなら他言語の標準から持ってくればいいということで、HaskellのIntegerをラップしてC++の多倍長整数クラスにしてみました。 まずIntegerを扱う関数をFFIでエクスポートします。Integerを引数・戻り値にする関数はエクスポートできないので、代わりにStablePtr Integerを使います。これはIntegerオブジェクトを指すポインタで、GCに回収・再配置されない保証があります。CやC++からはただのvoid *に見えます。 とりあえずfromIntegral、(*)、showをエクスポートしました（今回は乗法と出力がしたいので）。StablePtr IntegerとCStringの解放関

5. 目的 • フレームワーク Yesod を使うことで・・・ • Haskell での Webアプリ開発が手軽に始められること を実感する • Haskell で Webアプリが十分に実用的に開発できるこ とを実感する • Haskell で開発することでのメリットを実感する 6. 自己紹介 • 勤務：ワークスアプリケーションズ 研究開発部門 • 前職：エン・ジャパン 企画営業 (2009年5月まで2年) • 職務内容： • Webアプリのセキュリティレビュー • Cloud基盤(AWS)の技術検証とサービス企画・運用 • 趣味：登山、楽器、ゲーム、甘いもの • エンジニア歴：3年強(2009年6月∼) • Haskell歴：1年半(2011年3月∼) • プログラミングできるようになるには？への回答 • Yesod歴：半年(2012年2月∼)

3. 強力な型システム • 型に関するエラーはコンパイル時に検 知できる • (型の自動変換はない) • 型推論がある • 型システムをしっかり理解しよう 12年6月23日土曜日 4. GHCiで型を調べる Prelude> :t 'a' 'a' :: Char Prelude> :t True True :: Bool Prelude> :t "HELLO" "HELLO" :: [Char] Prelude> :t 4 == 5 4 == 5 :: Bool Prelude> let removeNonUppercase st = [ c | c <- st, c `elem` ['A'..'Z']] Prelude> :t removeNonUppercase removeNonUppercase :: [Char] -> [Char] Prelude> 12年6月23日土曜日 5.

PFI社内セミナーで強力な型システムがもたらす様々な恩恵について発表した際の資料です。 補足的な記事はこちらをどうぞ： http://blog.konn-san.com/article/20120412/how-wonderful-to-be-typed また、発表の模様は以下の ustream からご覧になれます。 http://www.ustream.tv/recorded/21781769 Read less

この連載では第37回から前回まで，逐次処理を行うプログラムを効率化するテクニックやツールを説明してきました。こうした知識を前提に，今回から何回かに分けて，並列プログラムの処理の効率化について解説していきます。これまで説明したテクニックやツールの中には，並列プログラムで利用できるものと利用できないものがあります。これらを明らかにしていきます。 並列化の前に逐次処理の効率を上げる 第10回から第14回にかけて，GHCを使ったHaskellでの並行/並列プログラミングについて説明しました。もっとも，プログラムの並列化は目的ではなく，あくまでプログラムを高速化する手段の一つに過ぎません（参考リンク）。並列化したコードが逐次処理のコードに比べて処理が遅くなる場合には，並列化する意味はありません。 並列プログラムの効率は，処理を並列化する前の逐次処理プログラムの効率に依存します。高速な並列プログラムを

関数型プログラミングで重要となる高階関数と遅延評価について紹介。時間の関係で、遅延評価については Why Functional Programming Matters とその関連 URL の紹介しかしていない。Read less

IBM Developer is your one-stop location for getting hands-on training and learning in-demand skills on relevant technologies such as generative AI, data science, AI, and open source.