queue - 我如何在 SML/NJ 中使用 Queue 库

Question

我看到 SML/NJ 包含一个队列结构。我不知道如何使用它。如何使用 SML/NJ 提供的附加库？

Answer 1

Queue structure SML '97 未指定，但它存在于 SML/NJ 的顶级环境中。

$ smlStandard ML of New Jersey v110.69 [built: Fri Mar 13 16:02:47 2009]- Queue.mkQueue ();[autoloading][library $SMLNJ-LIB/Util/smlnj-lib.cm is stable][autoloading done]stdIn:1.1-1.17 Warning: type vars not generalized because of   value restriction are instantiated to dummy types (X1,X2,...)val it = - : ?.X1 Queue.queue- 

您可以打开 一个结构。这使您可以避免在所有内容之前键入 Queue.。但是，不鼓励在顶层执行此操作，因为它会污染环境并使您所依赖的东西变得不那么明显。 (在另一种结构中，我会说在某些情况下它可能是可以接受的。)

$ smlStandard ML of New Jersey v110.69 [built: Fri Mar 13 16:02:47 2009]- open Queue;[autoloading][library $SMLNJ-LIB/Util/smlnj-lib.cm is stable][autoloading done]opening Queue  type 'a queue  exception Dequeue  val mkQueue : unit -> 'a queue  val clear : 'a queue -> unit  val isEmpty : 'a queue -> bool  val enqueue : 'a queue * 'a -> unit  val dequeue : 'a queue -> 'a  val next : 'a queue -> 'a option  val delete : 'a queue * ('a -> bool) -> unit  val head : 'a queue -> 'a  val peek : 'a queue -> 'a option  val length : 'a queue -> int  val contents : 'a queue -> 'a list  val app : ('a -> unit) -> 'a queue -> unit  val map : ('a -> 'b) -> 'a queue -> 'b queue  val foldl : ('a * 'b -> 'b) -> 'b -> 'a queue -> 'b  val foldr : ('a * 'b -> 'b) -> 'b -> 'a queue -> 'b- mkQueue ();stdIn:3.1-3.11 Warning: type vars not generalized because of   value restriction are instantiated to dummy types (X1,X2,...)val it = - : ?.X1 queue-