Andrei Formiga tautologico

These links no longer work. Springer have pulled the free plug.

duplicates = multiple editions

Now being developed at https://github.com/pao/Monads.jl and available from Pkg as "Monads".

Full documentation is available at https://monadsjl.rtfd.org/.

module Monads

# types
export Monad, Identity, MList, Maybe, State
# combinators

Miles Sabin implemented a nice selection sort example in Scala's type system. See:

To get a better understanding how that works I ported the algorithm to Prolog.

selectleast([H|T], TM, [H|TRem]):-
    selectleast(T, TM, TRem), TM < H.

selectleast([H|T], H, T).

	// This is free and unencumbered software released into the public domain.
	//
	// Anyone is free to copy, modify, publish, use, compile, sell, or
	// distribute this software, either in source code form or as a compiled
	// binary, for any purpose, commercial or non-commercial, and by any
	// means.
	//
	// In jurisdictions that recognize copyright laws, the author or authors
	// of this software dedicate any and all copyright interest in the
	// software to the public domain. We make this dedication for the benefit

	;;; This is one of the example programs from the textbook:
	;;;
	;;; Artificial Intelligence:
	;;; Structures and strategies for complex problem solving
	;;;
	;;; by George F. Luger and William A. Stubblefield
	;;;
	;;; These programs are copyrighted by Benjamin/Cummings Publishers.
	;;;
	;;; We offer them for use, free of charge, for educational purposes only.