Skip to content

Add more procedure faux types #91

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
aartaka wants to merge 1 commit into
base: master
Choose a base branch
from
+5 −1
Open

Add more procedure faux types #91

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 5 additions & 1 deletion types/faux-types.scm
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,13 +1,17 @@
(
;; Standard predicate-less types
(environment . "Environment (set of libraries and their identifiers,) as per R7RS section 6.12")
(predicate . "A procedure that returns a (usually) boolean value for whether its argument has some property")
(file-options . "Object representing special flags for file handling and I/O (R6RS)")
(codec . "An immutable Scheme object that represents a Unicode or similar encoding scheme (R6RS)")
(transcoder . "A transcoder is an immutable Scheme object that combines a codec with an end-of-line style and a method for handling decoding errors (R6RS)")
(enum-set . "Finite set of enumerated values of a certain type (R6RS)")
(opaque-port-position . "Position in a port (R6RS)")
(transformer-spec . "Object returned by macro-creating forms")
;; Procedure types
(predicate . "A procedure that returns a (usually) boolean value for whether its argument has some property")
(comparison . "A procedure that compares its two arguments, usually for ordering")
(equality . "A procedure that compares its two arguments for being similar (in some sense)")
(thunk . "A user-provided zero-argument procedure intended to be ran indirectly by the library internals")
;; SRFI-specific types
(computation . "A computation can be thought of as suspended code much like promises but with the difference that a computation can be executed more than once and that its results are not cached (SRFI-165)")
(computation-env . "The computations of the environment monad are executed on an environment (SRFI-165)")
Expand Down
Loading