すもぎ smallgeek

Computation Expression Problems

In the language specification, the translation rule of do! e; is defined as follows:

T(do! e;, V, C, q) = T(let! () = src(e) in b.Return(), V, C, q)

And the signature of Return is usually 'a -> M<'a>, so the type of do! e; results M<unit>.

TypeScript and Playground練習問題集更新情報

WIP

	(* 完全数: 自分自身を除く約数の和がその数自身になる *)

	(* n以下の整数一覧を並べたリスト *)
	(* enumerate: int -> int list *)
	let rec enumerate n = if n <= 0 then [] else n :: enumerate (n-1)

	(* n 以下の完全数をリストで返す *)
	(* perfect : int -> int list *)
	let perfect n =
	let perfectp n =