[B! Haskell] ikeikeikeikeのブックマーク

ikeikeikeike id:ikeikeikeike

Haskellに関するikeikeikeikeのブックマーク (39)

RTBの入札プロトコルを実装する - Qiita
(Japan) Haskell Advent Calendar 2014 の4日目のエントリです。簡単なRTBのBidderを実装します。入札戦略ではなく、プロトコル周りに焦点を当てます。 RTB(Real-time bidding) RTBはオンライン広告の配信枠をリアルタイムに売買する仕組みです。視聴者が広告枠のあるWEBページを開いた瞬間にオークションが開始され、数百ミリ秒以内に落札者に指定された広告をWEBページに表示させるというものです。オークションを開催する側をSSP(Supply side platforms)、落札する側をDSP(Demand side platforms)と呼びます。詳細は wikipedia の説明をご覧ください。今回は、オークションに参加するbidderを実装します。つまりDSP側のシステムとなります。既存のHaskellによるbidderの実装とし
ikeikeikeike 2016/06/23
dsp

development

rtb

haskell

adventcalendar

OpenRTB
リンク
[翻訳] Haskellで生産的になる(Pythonから移行して) - Qiita
Matthew Griffithさんのブログ記事　MECHANICAL ELEPHANT - Becoming Productive in Haskell comming from Pythonの翻訳です。そういえばProductive Programmerって本にもHaskellを使って実証実験する話が出てました。Haskellは何度も勉強しようとして途中で止まっては忘れを繰り返しているので見習いたいと思います。最近になってようやく私は生産性を高められるぐらいHaskellに熟達してきました。そこでHaskellを学習してきた経験について、それらを忘れてしまう前に私の考えを書き留めておこうと思います。今や私はWebプロトタイピングのほとんどをHaskellで行っています。まだ普段はPythonを使い、また楽しんでいるにも関わらず、です。 Data First(データが第一) これは動的
ikeikeikeike 2015/05/08
haskell

python

programming
リンク
Pythonへの型アノテーション導入を目指すGuido van Rossum氏
Spring BootによるAPIバックエンド構築実践ガイド第2版何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎を学んだ。この本では、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...
ikeikeikeike 2014/09/17
annotation

haskell

type system

GuidovanRossum

python

python3

programming

static typing
リンク
Rubyにはウンザリ！動的型付け、副作用、およびオブジェクト指向プログラミング全般からの考察 | POSTD
この記事を書き上げるには、相当長い時間がかかりました。本来は今年の年明け、 Rubyの死やデイヴィッド・ハイネマイヤー・ハンソンの TDDは死んだがアップされて騒ぎになる前に投稿するつもりだったのです。昨年末に書いたツイートを見てください。 > Rubyにはもう飽き飽きした。理由はいろいろあるが、特にその副作用と、ステータスが可変なせいで大量のユニットテストを書かされるのにはウンザリだ。 @abevoelker Rubyの開発に関しては、大勢の人が心のどこかで何かおかしい、何かが欠けていると思っているようですが、たいていの人は責める対象を間違っています。Rubyで書いたアプリがとんでもない代物になったって？　それはあなたがきちんとテストコードを書かなかったか、テスト駆動開発︵TDD︶の指針に則って開発しなかったからです。もしくは、正しいデザインパターンに切り分けるための知識が不足してい
ikeikeikeike 2014/08/30
development

Haskell

ruby

tdd

programming

rails
リンク
ソフトウェアトランザクショナルメモリ - Wikipedia
計算機科学において、ソフトウェアトランザクショナルメモリ（英: software transactional memory, STM）は、データベーストランザクションに似た並行性制御機構であり、並列計算を行う際の共有メモリへのアクセス法である。この機構はロックベースの同期を用いた並行性制御の代替手段として機能し、ノンブロッキングな方法で実装される物もある。ここでいうトランザクションとは、共有メモリに対する一連の読み出しと書き込みを実行するコードを意味する。論理的にはこれらの読み出しと書き込みは、時間的なある一点で行われ、他のトランザクションからはその間の状態は見えない。トランザクションを行うためにハードウェアにサポートさせるアイデア(ハードウェアトランザクショナルメモリ)は、1986年に Tom Knight により論文と特許として出された。そのアイデアを普及させたのが Maurice H
ikeikeikeike 2014/05/16
Haskell

stm

Wikipedia

concurrent

science

programming

parallel

lock
リンク
Pandoc - index
If you need to convert files from one markup format into another, pandoc is your swiss-army knife. Pandoc can convert between the following formats: (← = conversion from; → = conversion to; ↔︎ = conversion from and to) Lightweight markup formats ↔︎ Markdown (including CommonMark and GitHub-flavored Markdown) ↔︎ reStructuredText → AsciiDoc ↔︎ Emacs Org-Mode ↔︎ Emacs Muse ↔︎ Textile → Markua ← txt2t
ikeikeikeike 2013/11/23
html

Markdown

context

GNU

document

haskell

documentation

converter

reStructuredText

Pandoc
リンク
モナドはなぜHaskellでしか積極的に使われていないのか? - uehaj's blog
(Haskellな日々になってるな…。) モナドというものがあり、Haskellで有名ですが、実際には、Java8のOptional、ScalaのOptionやfor内包表記などでは使用されています。ScalazというScalaのライブラリや、monadlogieというGroovyのライブラリでも使われています。とはいえ、一般に、Haskellでのように積極的には使われていないというのが公平な見かたでしょう*1。Haskellでは本当にいろんなものがモナド化されています。入出力(IO)、状態、失敗するかもしれない計算(Maybe、Either)、非決定計算、継続、パーサ(モナディックパーサ)、リーダ、ライタ、etc.etc……。なぜこのような差が生じるのでしょうか?その前に、まず押さえておくべきことは、モナドは非常に汎用的な機能だということです。数学的定義はともかく、機能的に言うと、
ikeikeikeike 2013/11/07
functional

haskell

groovy

programming

関数型プログラミング

プログラミング

モナド
リンク
モナドの六つの系統[Functor x Functor] - モナドとわたしとコモナド
モナドは「アクション」を表す抽象的な構造である。モナドは、Haskellにさまざまな概念に対する記述能力をもたらす。モナドの基礎 return :: a -> m a: 純粋な値をモナドで包む。 m >>= f :: m a -> (a -> m b) -> m b: モナドmに包まれた値をfに渡し、その結果として現れたモナドを結合する。固有アクション: それぞれのモナドに固有の方法でモナドを生み出す。実行: モナドに包まれた値を、より根源的な形に還元する。モナド則モナドに以下の三つの制約を課すことによって、最低限度の記述能力を保証している。 return a >>= k == k a m >>= return == m m >>= (\x -> k x >>= h) == (m >>= k) >>= h より強い制約は、より強い力を生み出す。モナドの分類モナドは、以下の6つ
ikeikeikeike 2013/06/06
系統出てきたところで笑った

haskell

identity

2013-06-05

ask

functional

*thresh25

free

programming

monad

*あとで読む
リンク
16の言語と57のフレームワークを比較したベンチマークが凄い
いつの時代もより高速に動作するフレームワークや言語に対する関心は高いものですが、そんな疑問に答えるWeb Framework Benchmarksの最新版が公開されています。こちらのベンチマークはテスト用のコードや環境がオープンソースになっており16の言語(C C# Clojure D Erlang Go Groovy Haskell Java JavaScript Lua Perl PHP Python Ruby Scala)と57のフレームワークについて最適な実装が集められてテストされているという点で一般性があります。また実行環境もEC2と実マシンの2種類をそれぞれ実行している点も興味深いです。気になるテスト結果のうち特に複雑度の高いデータベースから複数件のデータを取得してHTMLページとして出力した場合の結果は下記のとおりです。堂々のトップに輝いているのはServletで最大で1
ikeikeikeike 2013/05/07
😑

go

ec

ec2

groovy

js

C#

framework

haskell

clojure

erlang
リンク
調査: もっとも表現力に富んだ汎用プログラム言語は Clojure，CoffeeScript，Haskell
Spring BootによるAPIバックエンド構築実践ガイド第2版何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎を学んだ。この本では、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...
ikeikeikeike 2013/04/04
puppet入ってて笑った

clojure

.net

CoffeeScript

languages

domain

C#

language

haskell

Java

design
リンク
QAで学ぶMonad - あどけない話
この記事は、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、[] (リスト)
ikeikeikeike 2013/03/04
map

class

haskell

lambda

monad

programming

関数型言語

functional

functor

プログラミング
リンク
git-annex assistant: Like DropBox, but with your own cloud
Manage, share, and sync your large files with the power of git and the ease of use of a simple folder you drop files into.
ikeikeikeike 2012/08/16
haskell

git

Dropbox
リンク
HaskellとDSL - あどけない話
LL Planetsの﹁メタプログラミングの光と闇﹂で Haskell について話してきました。Perl、Python、Ruby が概ね内部 DSL を作る話だったのに対し、Haskell では外部DSLを内部に埋め込むという話をしました。短い時間で説明不足になった感があるので、この記事で二点ほど補足します。 Haskell では文法がうまく設計されており、コードを書けば自然とDSLっぽくなるので、わざわざ内部DSLなんて言わない。それよりもコンビネータという考え方を学ぶ方が新しい視野がひらけてよい。 Haskell ではパーサーを作るのが簡単。だから自分で言語を作るのも簡単。その言語を外部ファイルから読み込んでもいいし、HERE DOCUMENT のように内部に貼付けることもできる。関数を二項演算子として扱う Haskell では関数をバッククォートで囲むと二項演算子になります。i
ikeikeikeike 2012/08/14
haskell

DSL
リンク
高速WebサーバMighttpdのアーキテクチャ | IIJの技術 | インターネットイニシアティブ（IIJ）
IIJ-II技術研究所では、2009年の秋からMighttpd︵mightyと読む︶というWebサーバの開発を始め、オープンソースとして公開しています。この実装を通じて、マルチコアの性能を引き出しつつ、コードの簡潔性を保てるアーキテクチャにたどり着きました。ここでは、各アーキテクチャについて順を追って説明します。ネイティブ・スレッド伝統的なサーバは、スレッド・プログラミングという手法を用いています。このアーキテクチャでは、1つのコネクションを1つのプロセスかネイティブ・スレッドが処理します。このアーキテクチャは、プロセスやネイティブ・スレッドを生成する方法で細分化できます。﹁プール﹂方式では、あらかじめ複数を起動しておきます。例としては、Apacheのpreforkというモードが挙げられます。﹁都度﹂方式では、コネクションを受け取るたびに生成します。このアーキテクチャの利点は、制御を
ikeikeikeike 2012/05/30
mighttpd

server

haskell

webserver
リンク
Leksah - Haskell IDE in Haskell
Leksah is the Haskell IDE of choice. It is written in Haskell, uses Gtk, and runs on Linux, Windows and Mac OS X. Leksah is a practical tool to support the Haskell development process. It requires the Glasgow Haskell Compiler (GHC). Leksah is completely free and distributed under the Gnu General Public License 2.0 Leksah may be worth trying because: It uses the cabal package format and incorporate
ikeikeikeike 2012/04/24
haskell

ghc

IDE
リンク
GHCi debugger を使ってみた - khibino blog
Haskell Advent Calendar 2011 のためのエントリです。最近、会社でも Haskell を開発のメンバーで使っていくことに正式に決まりました。 Haskell のプログラムをデバッグするときにデバッガーのようなツールを使うことができるのか社内で質問されたので調べてみました。 GHCi debugger 公式のドキュメント http://www.haskell.org/ghc/docs/7.0.4/html/users_guide/ghci-debugger.html やその翻訳 http://www.kotha.net/ghcg uide_ja/7.0.4/ghci-debugger.htmlを参考にしながら試してみて、私なりに理解した内容を紹介しようと思います。 mkothaさん、すばらしい翻訳をありがとうございます。さっそく、GHCi debugger
ikeikeikeike 2012/04/22
GHCi

debugger

ghc

Haskell

ghci
リンク
栄光のグラスゴーHaskellコンパイルシステム利用の手引き　バージョン7.8.2
栄光のグラスゴーHaskellコンパイルシステム利用の手引き　バージョン7.8.2 The GHC Team 目次 The Glasgow Haskell Compiler License 1. 参考訳 1. GHCの紹介 1.1. GHCを入手する 1.2. メタ情報: ウェブサイト、メーリングリストなど 1.3. GHCのバグを報告する 1.4. GHCのバージョン番号付け規則 1.5. Release notes for version 7.8.1 1.5.1. Highlights 1.5.2. Full details 1.5.2.1. Language 1.5.2.2. Compiler 1.5.2.3. GHCi 1.5.2.4. Template Haskell 1.5.2.5. Runtime system 1.5.2.6. Build system 1.5.3. Lib
ikeikeikeike 2012/04/22
ghc

haskell

compiler
リンク
栄光のグラスゴーHaskellコンパイルシステム利用の手引き　バージョン7.0.4
栄光のグラスゴーHaskellコンパイルシステム利用の手引き　バージョン7.0.4 The GHC Team 目次 The Glasgow Haskell Compiler License 1. 参考訳 1. GHCの紹介 1.1. GHCを入手する 1.2. メタ情報: ウェブサイト、メーリングリストなど 1.3. GHCのバグを報告する 1.4. GHCのバージョン番号付け規則 1.5. Release notes for version 7.0.4 1.6. Release notes for version 7.0.3 1.7. Release notes for version 7.0.2 1.7.1. Compiler 1.7.2. GHCi 1.7.3. Runtime system 1.7.4. Build system 1.7.5. Haddock 1.7.6. Libr
ikeikeikeike 2012/04/22
haskell
リンク
GHCiのコマンド群
GHCiのコマンドは全て﹁:﹂ではじまり、一つのコマンド名とそれに続く零個以上のパラメータから成る。コマンド名は短縮することができ、曖昧な場合はより一般的に使われるコマンドが優先される。 :abandon 実行中の評価を捨てる。(ブレークポイントでの停止中のみ有効) :add [*]module ... moduleを現在のターゲット集合に追加し、リロードを行う。通常、可能ならそのモジュールのコンパイル済みコードがロードされ、そうでなければそのモジュールはバイトコードにコンパイルされる。接頭辞*を使うことでモジュールがバイトコードとしてロードされることを強制できる。 :back 履歴中を一つ戻る。2.5.5. 追跡と履歴を見よ。:trace、:history、:forwardも参照。 :break [identifier | [module] line [column]] 指定された関数、
ikeikeikeike 2012/04/22
module

Haskell

GHCi
リンク
ghc-mod の Vim プラグイン ghcmod-vim を書いた - eagletmt's blog
kazu-yamamoto さんによって開発されている ghc-mod というコマンドとそのための一連の elisp がある． ghc-mod を利用して Vim で補完をサポートする neco-ghc を以前書いたが，今回は ghc-mod のその他の機能をサポートする Vim プラグイン ghcmod-vim を書いた．eagletmt/ghcmod-vim - GitHub 必要なもの当然 ghc-mod が必要なので cabal install ghc-mod でインストール． ~/.cabal/bin 等に ghc-mod が置かれますが，そこに正しくパスが通っていて実行可能であることを確認してください．特にGVim, Mac Vim を使っていると，シェルでの環境変数とGVim, Mac Vim での環境変数が異なるケースがあるので… そして vimproc が必要です．
ikeikeikeike 2012/04/21
haskell

ghc
リンク
1 2 次のページ