Creatable a => a -> IO b

Haskellと数学とちょびっと音楽

優秀な秘書を雇いました!!!

うちの秘書を紹介します。 twitter.com けいちゃんです。年明けに挨拶とかできます。 あらかじめお断りしておきますが、「ゆ」ではじまる某日常系アニメに登場する女子高生とは無関係です。 ふみおちゃんにちねられそうになったり、ゆずこに脇腹掴まれたりす…

Haskellでスライドをいー感じに書く話

とんとご無沙汰してます。ちゅーんさんです。 仕事とかその他とか、なかなか更新するネタや切っ掛けが無かったんですが、 今日は半日くらいごにょごにょやってた進捗があるので書いときます。 Haskellでスライド書きたいんだーっていう変な人な人向きです。 …

Haskellでポーカーを作ろう〜第七回 プロジェクトを整理するよっ〜

外はすっかり真夏日よりですが、今日も冷房の前ででプログラミング充しています。 嘘です、ずっとスプラトゥーンやってました。 結果として相変わらずGithubのContributionsは真っ白です。 どもども、ちゅーんさんです。 このエントリは、ちゅーんさんによる…

Haskellでポーカーを作ろう〜第六回 CPU対戦機能を付けよう〜

はいはいどうも、台風シーズンですね。 小学生の頃とか、台風はなんかドキドキするので好きでした。 今も好きですが、いろいろとアレがアレして、昔ほど手放しで楽しめないです。 おとなになんか、なりたくなかった。 はい、どうもパスタ大好きちゅーんさん…

もうcabal hellは怖くない、Stackを使ってみるよ!

はいはいどうも、最近はずっとドラクエやってます。 ちゅーんさんです。 人生ではじめてプレイしたRPGってドラクエ6だった気がします。 スマフォ版で久々にプレイしたのですが、やっぱりアレです。 バーバラちゃん、いいですね。 あ、ひとまずラスボス倒し…

Haskellでポーカーを作ろう〜第五回 カードの入れ替え処理を作る〜

はいはい、どうも、お風呂大好きちゅーんさんです。 お風呂あがりの乳酸菌とかたまりませんね。最近はアセロラジュースとか飲んでます。 はい このエントリは、ちゅーんさんによるポーカー開発連載記事の第五回目です。 過去のエントリはこちら 第一回 リス…

Haskellでポーカーを作ろう〜第四回 ポーカー・ハンドの判定をする 後編〜

ポーカー開発の連載書きながら、 改めてコード書くより日本語書くほうが難しいなぁと感じています。 ちゅーんさんです、おはこんばんちわ。 ドクター・スランプネタなんて今時通じる人居るんですかね、 ちなみに実家には全巻揃っていたので、ひと通り読みま…

Haskellでポーカーを作ろう〜第三回 ポーカー・ハンドの判定をする 中編〜

はいどーも、我が家にポーカーチップとトランプカードが届きました。 ポーカー作っていたら、うっかりポーカーそのものが楽しくなってしまったちゅーんさんです、ハロ/ハワユ テキサス・ホールデム本当に楽しい・・・楽しいです・・・ 楽しい・・・楽しい!…

Haskellでポーカーを作ろう〜第二回 ポーカー・ハンドの判定をする 前編〜

はいはいどーも、皆さん進捗どうですか? 毎度おなじみのちゅーんさんですこんにちは。 この記事は、ちゅーんさんの連載エントリ「Haskellでポーカーを作ろう」の第二回目です。 第一回 リストのシャッフルとカードの定義 今回から2〜3回にわけて、ポーカ…

Haskellでポーカーを作ろう〜第一回 リストのシャッフルとカードの定義〜

はいはいどーも、進捗ダメです。ちゅーんさんです。 基本的にコンスタントに何かを生み出し続けなくてはいけないのが、 ギークなアクティブニートの使命なわけですが、一日の半分以上は睡眠とドラクエに当てらています。 人生なんてそんなものです。 えーっ…

株式会社はてなに入社しました

株式会社はてなに入社しました 株式会社はてなに入社しました - hitode909の日記

Haskellオブジェクト指向に触れてみよう〜中級編〜

PRITZサラダ味は神、異論は認めない。 はいどうも、直接本題に入ったら負けだと思っているタイプのHaskeller、ちゅーんさんですこんにちは。 今日も前回に引き続き、「Haskellでオブジェクト指向」と題しまして、objectiveを紹介したいと思います。 本題に入…

Haskellオブジェクト指向に触れてみよう〜初級編〜

RITZクラッカーは神、異論は認めない。 はいどうも、直接本題に入ったら負けだと思っているタイプのHaskeller、ちゅーんさんですこんにちは。 今日は、「Haskellでオブジェクト指向」と題しまして、objectiveというライブラリを紹介したいと思います。 いん…

モナド基礎勉強会vol2(#monadBase)で「米田の補題」の話をして来ました

はいはいどうも、花粉症で鼻水じゅびじゅばなちゅーんさんです、おこんばんわ。 色々あって現在求職中なのもあり、自分の書きたいコードをゴリゴリ書いたり、理論的な事をがつがつ勉強したりする良い時間を作れていて、だいぶ下請けPG時代に貯まった疲れも取…

Haskellでプレゼン資料を作ってみよう!!

gdgdと文章を読みたくない人のためにとっとと本題済ませます。 ちゅーんさんがHaskell上でプレゼン用のスライドを生成するための言語内DSLを公開しました。 Hackage : http://hackage.haskell.org/package/takahashi サンプル兼ドキュメント:http://tok…

「圏論を学んで得られる事、得られない事」に対する補足

はいどうも、萌え豚にはなるまいと思っていた数年前の自分はどこへやら、今ではゆゆ式が生きがいのちゅーんさんです。 以前 プログラマであるあなたが圏論を学んで得られる事、得られない事 - Creatable a => a -> IO b こんな感じの記事を書きました所、主…

プログラマであるあなたが圏論を学んで得られる事、得られない事

「Haskellと数学とちょびっと音楽」なんていうシャレオツなサブタイをブログに付けてるのは誰ですか? 俺だよー! 大体、Haskell関連のコミュニティに顔を出していると、 数学科出ましたーとか、物理専攻ですー、とか、そーいう人がわりと多いのですが、 僕…

ハトクラモナドをごにょごにょ - モナドで問題をどう解決するか

ボドゲ楽しいよね。 最近、家族で遊べないかなぁと思ってドミニオンの標準パックを買ってみたところ、 わりと好評だったのでほくほくしてます。 はい、てなわけで、ちゅーんさんですおばんです。 さて、今日ははる君(@haru2036)が書いた、ハトクラのモナドの…

型「の」計算にレッツチャレンジ

はいどーも、ちゅーんさんです。 最近「楽園追放」見てきたのですが、楽しかったです。(小学生並のry いやあの、普通に良作でしたので、興味のある方なんかは、是非劇場で見に行くと良いと思います。 ハデだし。 いえい はい、で、この記事はあれです。 H…

ちゅーんさんがreasonable-lensをHackageでリリースしたようです

はいはい、最近色々とアレがアレしてアレな感じのちゅーんさんですがちゃんと生きてます。安心してください。 もともとekmettによってlensというパッケージが公開されています。 これがすごく強力で便利な代物なのですが、いかんせん巨大で依存関係も複雑な…

EffのState上でLensのアクセサを利用する

はいはい、どーも、キルラキル面白いですね。 ちゅーんさんです。 前回、前々回とHaskell上で状態を扱う手段として、LensのClassy、Effを紹介した際に、 この2つが併用可能かどうかについて「よくわからん」と書きました。 ので、やってみました。 結論から…

状態の合成比較:モナド変換子 vs Eff vs Classy

前回の記事について、実際に他の方法と比較してみたいという声を頂いたので、それぞれ同じような事をするためのコードを書き下してみました。 オーバーヘッドとかそのへんのパフォーマンス周りについては調べてないです。 きっと誰かがやってくれるさ。 モナ…

lensのmakeClassyで型を合成する

はいはい、とんとご無沙汰しとります。ちゅーんさんです。 HaskellではStateモナド等を使って、状態を扱う事ができます。 また、モナドの合成にはモナド変換子がよく使われますが、 モナド変換子は階層構造になっているため、複数の状態系モナドを、 組み合…

Haskell-rerational-recordでDB操作するのが楽しすぎる件〜その1〜

どーも、いつものちゅーんさんです。 一ヶ月くらい前に、もくもくHaskell会というハッカソンで日比野さん(@khibino)とご一緒したので、 日比野さんの開発したhaskell-rerational-record(以下HRR)というライブラリを(色々教わりまくりつつ)いじいじしていま…

試行錯誤が大切だという話

あ、どうも、最近残業続きで体力的にアレな感じなちゅーんさんです。 そしてですね、実際のとこ、やることいっっっっぱいあるのですが、うふふふ。 Aの処理に失敗したらBをやり、それにも失敗したらCをやり、そこで失敗したら例外をスローする。どの処理でも…

CROSS2014 言語CROSSに登壇して来ました #cross2014 #cross2014e

どーもー、玄米茶無しでは生きられない20代男子、ちゅーんさんです。 はい。 普段あまりWeb関係の技術とは関わりが無かったのですが、@Lost_dog_さんにご依頼頂き、 2014/1/17 に開催されたCROSS2014(http://www.cross-party.com)にて、言語CROSSというセ…

法事なので忌日表作ります

FuniSaya Advent Calendar 2013 21日目です。昨日はだまんさんの穴を掘る、池を作るでした。 つい先日、身内に不幸がありまして、海外のコメディドラマ顔負けのドタバタを繰り広げたりしていたわけですけども ・・・あ、ドラマとかはあんま見ないんですが。 …

Haskellerがふか〜いネストと戦う話

書きたいネタは色々あるのですが、どれもこれもやたら重くてなかなか筆が(キーボードが)進まないので、 今日は軽く、仕事で思いつきで作ってみたものの話をします。 モダンな言語を使ったシャレオツな設計に慣れてしまうと、なんというか、 下請けプログラ…

ちゅーんさんがはてなブログを始めた話

これまでずっと、はてなダイヤリーの方でcapriccioso String Creating(Object something){ return My.Expression(something); }というタイトルのブログを書いていました。 最近、仕事やら勉強会やら艦これやらで忙しく4ヶ月ほど放置してましたが、なんやかや…