21. サンプルコード
open Unix
(* 適当なHttpレスポンスを返す *)
let f _ out =
output_string out "HTTP/1.0 200 OKnnhello,world"
(* Unixモジュールを使ってサーバを作る *)
let _ =
let port =
int_of_string Sys.argv.(1)
in
establish_server f
(ADDR_INET (inet_addr_of_string "0.0.0.0",
port))
13年8月24日土曜日
31. Eliomの特徴
2. 型安全なHTML
•曰く functional HTML5
•validでないHTML5は型エラーになる
•当然、HTMLはすべてOCamlで書く
type (‘a,’b) plus = ‘a * ‘a list -> ‘b
val table : ([< `Tr], [> `Table]) plus
例: <table>の型(一部略)
<table>の子に<tr>が1個以上ないと、型エラー
13年8月24日土曜日