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
network-conduit, async, and conduit-combinators
Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications. March 5, 2014By Michael SnoymanView source on Github I got a request to write up some examples of using network-conduit for server and client apps. I'm going to try to cover a few of the examples requested. I'm also going to be demonstrating some usage of the new conduit-combinator
RSSリーダ BazQux と DNS キャッシュ - あどけない話
BazQux(バズクックス)は、Google Reader の代替として密かに注目されている RSS リーダです。実装と運用を一人でやっている Vladimir Shabanov さんによると、BazQux のウリは、 高速である ブログのコメントも表示できる 複数のビューがある モバイルに対応している などらしいです。 BazQux のフロントエンドは、Ur/Web で記述されたコードから生成された JavaScript、バックエンドは Haskell だそうです。高速なのは、Haskell のおかげであると Vladimir さんは言っています。我々が開発している HTTP エンジンの Warp も使われているそうです。 現在、僕は Haskell 用の HTTP/2 ライブラリの作成に取り組んでおり、必要な技術を調べている過程で、redditでの議論のことを思い出しました。今回、よく
GREE Haskell test-sandbox by gree
A framework to manage external applications for system tests View the Project on GitHub gree/haskell-test-sandbox Download ZIP File Download TAR Ball View On GitHub Description test-sandbox is a framework to manage external applications and communicate with them via TCP or standard I/O for system testing in a sandboxed environment. The Test.Sandbox monad can either be used stand-alone or in conjun
Networkモジュールを使ってGET - Faith and Brave - C++で遊ぼう
Haskell でソケット通信をやってみる - yasuabe blog このエントリを見て、簡単そうだったので遊んでみました。 httpでGETをするだけですが、こんな感じで書けました。 import Network import System.IO getCommand :: String -> IO String getCommand hostName = withSocketsDo $ do hSetBuffering stdout NoBuffering soc <- connectTo hostName (PortNumber 80) hSetBuffering soc LineBuffering hPutStr soc $ "GET /index.html HTTP/1.1\nHost:" ++ hostName ++ "\n\n" result <- hGetContent
full-sessions-0.6.1 - keigoiの日記
full-sessionsの新バージョン 0.6.1 を HackageDBにアップロード しました。 full-sessions は、Haskellにおけるマルチスレッド/ネットワークプログラミングのライブラリです。 Sessionモナドという新しいモナドを使ってプログラムを書きます。 チャネルの型表現にπ計算の型理論の一つであるセッション型を採用しています。セッション型のおかげで、チャネルの「使われ方（プロトコル）」がスレッド間で整合していることを実行前の型検査によりチェックできます。これにより、ある種のデッドロックや型の不整合は型検査で排除できるようになります。 さらにHaskellの型推論でセッション型を推論させれば、プログラムがチャネルを意図通りに使っていることを型表現からチェックできます。 full-sessions は、HList等で見られるような型レベルプログラミングのテク
Haskellでサーバーを書く - あどけない話
Haskellでメール関連のサーバーを書いていて、いろいろ調べました。かなりがっかりな結果ですが、包み隠さず書きます。 forkIO forkIO でユーザースレッドを作ると、内部では select() を使います。select() はファイル記述子を 1024 までしか扱えないという壁があって、使い物になりません。(せめて poll() を使って欲しいなぁ。) 世の中には行儀が悪いクライアントが多く、コネクションをリセットします。すると、ハンドルが失われ、明示的に hClose できません。ですから、ソケットの開放は、ガベージコレクション任せとなります。結局、1024 個のソケットを簡単に使い切ってしまうということです。 追記：GHC のガベージコレクションは優秀で、ソケットはすぐに回収されることが分かりました。 forkOS forkOS ではカーネルスレッドを作ります。内部では pt
セッション型 on Haskell - keigoiの日記
セッション型は プロトコルを表現する型で， 15年くらい前から π計算の型理論の1つとして研究されてきました(文献リスト(一部))．並行・分散ソフトウェアの普及を鑑みるに，セッション型のような仕組みは次世代の型安全かつ表現力の高いプログラミングのための強力なツールとして役に立つと考えます． しかしその直観的なわかりやすさにも関わらず，セッション型を提供しているプログラミング言語は皆無(おそらく…)です． そこで，今 流行(?)の型レベル計算を駆使して Haskell にセッション型を導入してみました． ダウンロード 晒してみる． まだ α版 full-sessions ダウンロードページへ test.hs を ghci でロードしてください いくつかの関数は 型を見たり runS で走らせたりできます． test.hs の一部で ixdo 記法を使っているので， cabal install
ネットへのアクセス２ - imHo
anarchy golf - example_com で、ネットワークへのアクセスがしたかったのだが、Network.HTTP モジュールは入ってないようで使ってもエラーが出る。それどころか、 import Network もエラーが出た。どーしろっつーんじゃああ！ 関数型プログラミング言語Haskell Part6#607 に書いてあるが、ソケットを使ったやり方は次の通り： import Network.Socket main = putStrLn =<< do sock <- socket AF_INET Stream 0 addr <- inet_addr "66.249.89.104" >>= \x -> return $ SockAddrInet 80 x connect sock addr send sock "GET / HTTP/1.1\nHost: www.google.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
pcap
rpc
dns
GitHub - corsis/PortFusion: Haskell-powered cross-platform transport-layer distributed reverse / forward proxy & tunneling solution – currently available for all TCP protocols (RDP, VNC, HTTP(S), SSH, ...).
jamwt/haskell-scalable-server - GitHub
Reddit - Dive into anything
[Haskell-cafe] ANNOUNCE: HaNS-2.1.0.0
NetSNMP
follower チェックに - EAGLE 雑記
network-fancy
network-server