Building a Redis clone in Haskell - Honza Pokorny
In this post, we will attempt to make a simplified clone of Redis in Haskell. Here is a set of requirements that we will aim to fullfill: get and set operations Multi-threaded Atomic Redis compatible (implement the Redis protocol) We should be able to use the redis-cli tool to connect to our server and issue commands to it. We are going to omit many features that Redis has. For example, there will
GHC STM Notes
Note: this document now lives here Introduction This document give an overview of the runtime system (RTS) support for GHC's STM implementation. We will focus on the case where fine grain locking is used (STM_FG_LOCKS). Some details about the implementation can be found in the papers "Composable Memory Transactions" and "Transactional memory with data invariants". Additional details can be found i
Home | Joel Tio
If you’re looking for a more professional description please look at my LinkedIn Hi, I am Joel. I develop software and think about math. My experience is quite diverse, I have tried machine learning, web development, mobile development, desktop app development and much of AWS cloud. But of course, “tried” can also mean “I tried it for a day”. Here, “try” means that I have at least done a project w
DSTM
The DSTM package consists of the DSTM library, a name server application, and three sample distributed programs using the library. DSTM is a framework enabling the use of the STM interface, known from concurrent programming, to be used for distributed Haskell applications as well. Provided are a simple Dining Philosophers, a Chat, and a soft real-time Bomberman game application. Distributed commun
Haskell at Bump
This post was written by Jamie from Bump’s server team. At Bump, we’re always willing to try something “off the beaten path” to get an edge. For example, our backend systems are almost entirely non-blocking and coroutine based, written in Python using Diesel; we have an in-house analyzer written in Ruby that verifies retained properties are released in our iPhone code; and, when we recently launch
オブジェクト指向とは何か、何が良いのか - www.kotha.netの裏
Haskellはオブジェクト指向言語ではないが、コードを書く上でオブジェクト指向の考え方を利用するのが便利なこともあると思うので紹介する。 オブジェクト指向とは何か オブジェクト指向という言葉に共通定義がないのは共通認識だと思う。気をつけないと議論が発散しがちなので、この記事ではオブジェクト指向の理念については扱わず、オブジェクト指向プログラミングで用いられるテクニックと、オブジェクト指向言語が提供する言語機能について専ら話題にする。オブジェクト指向の特徴として良く言われるのは次のようなものだと思う。 多態 インタフェースが同じだが異なる振る舞いをする異なる種類のオブジェクトを一つのコードで扱う機能。Haskellでは「オブジェクトを操作する関数一式」を受け渡しすることで簡単に実現できる。型クラスを使っても良い。 隠蔽 インタフェースと実装を分離し、実装を外部から見えないようにする。Has
関数プログラミング入門
2. 自己紹介 • 田中英行 (@tanakh, id:tanakh) • TopCoder (id:haskell-master) • Haskell Lover（not master!） • ICPC2004-5 世界大会 • Preferred Infrastructure勤務 – ICPC OB多数在籍 – アルバイト・インターン等、 興味のある方はご連絡を！ 3. 本日の内容 • 関数プログラミング入門 – 参照透明 – クロージャ – 遅延評価 – リスト処理 – etc… • 関数プログラミングにまつわる話題 – 永続データ構造 – 並行計算 – ソフトウェアトランザクショナルメモリ（STM）
LACSS 2009: Domain Specific Languages and Haskell
Here are the slides position paper on the use of Haskell for constructing EDSLs for high performance computing, along with a 10 minute overview of Haskell support for multicore programming, presented at the LACSS 2009 Workshop on Non-Traditional Programming Models. Abstract As the complexity of large-scale computing architecture increases, the effort needed to program these machines efficiently ha
DEFUN 2009: Multicore Programming in Haskell Now!
Multicore computers are here: is your programming language ready for it? Haskell is: you can take an off-the-shelf copy of GHC and write high performance parallel programs right now. This tutorial will teach you how to exploit parallelism through Haskell on your commodity multicore machine, to make your code faster. We will introduce key parallel programming models, as implemented in Haskell, incl
Haskell Transactional Cache
I was impressed by Haskell since I started to learn it a year ago. I was looking for a language that can be used for genetic programming, and haskell eases the creation custom languages such is the one I needed. Soon I was fascinated by the pure functional approach. I was also attracted by the concept of referential transparency, that makes life easier for code clarity and maintainability. The sma
HaskellのスレッドシステムとSTMについて その3 — ありえるえりあ
STMとロックについて だいぶん間が開いてしまいましたが、その3です。 STMモナドによる操作は、ロックフリーです。 synchronize だとか lock だとか unlock だとかいうキーワードを書く必要はありません。 しかし、それは Haskell のコードからの視点のようです。 内部的にはロックを使っています。 そこで、ロックを実感するために、このようなコードを実行してみます。 import宣言と、ここにない関数はその1、その2から持ってきてください。 fib :: Int -> Int fib 0 = 0 fib 1 = 1 fib n = fib (n - 1) + fib (n - 2) threadA :: TVar Int -> IO () threadA v = do n <- atomically $ readTVar v print n atomically $
HaskellのスレッドシステムとSTMについて その2 — ありえるえりあ
ソースコード STM モナドについて説明がおわった所で、カウンターを作りたいと思います。 子スレッドはカウンターを親から貰い、処理が終ったら +1 する。 親スレッドはカウンターが一定の値になるまで待つ。 という動作にします。 import Control.Concurrent import Control.Concurrent.STM import Control.Monad (unless, forever) newtype Counter = Counter (TVar Int) modifyTVar :: (a -> a) -> TVar a -> STM () modifyTVar f tv = readTVar tv >>= writeTVar tv . f -- create a new counter and set its value 0. newCounter :: I
HaskellのスレッドシステムとSTMについて その1 — ありえるえりあ
概要 HaskellのスレッドシステムとSTMについて調べたので、ここにまとめます。 Haskellのスレッドシステムは、予想よりも複雑でした。 Haskellの世界で閉じた処理ならば、比較的簡単なのですが、 FFI(Foreign Function Interface: 外部のCの関数を呼び出す仕組み)を使うと、 とたんに複雑になってしまいます。 一度に書くと、量が多いため、数回に分けて書こうと思っています。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
stm-conduit
STM Implementation
stm-io-hooks
Multicore Haskell Now! ACM Reflections | Projections 2009
persistent-map
Real World Haskell » Blog Archive » Slides from last night’s BayFP talk