changeset 14:dffc3d583843

fix
author Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
date Fri, 19 Jul 2013 13:45:22 +0900
parents 7c04b92ec5e9
children 40a53b00c6e9
files Paper/jssst.tex
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/Paper/jssst.tex	Fri Jul 19 08:48:36 2013 +0900
+++ b/Paper/jssst.tex	Fri Jul 19 13:45:22 2013 +0900
@@ -146,8 +146,10 @@
 
 \paragraph*{world 及び incCount}
 world は、インクリメントされる counter を表示するための関数である。
-IORef 内のデータは直接触ることができないため、atomicModifyIORef を利用してデータの更新を行なっている。
+IORef 内のデータは直接触ることができないため、incCount 内で atomicModifyIORef を利用してデータの更新を行なっている。
 atomicModifyIORef は、データの更新をスレッドセーフに行うことができる。
+また、responseLBSで構築したレスポンスは、Resource Tというリーソスの解放を安全に行うために使われるモナドに包まれている。
+lift 関数を用いて、incCountの型を持ち上げ調整している。
 
 実際にプログラムを例にして説明したが、Warp は容易にプログラムに組み込むことができる。
 我々のシステムでは Warp を用いて開発を行う。