OXIESEC PANEL
- Current Dir:
/
/
usr
/
share
/
guile
/
2.0
/
ice-9
Server IP: 139.59.38.164
Upload:
Create Dir:
Name
Size
Modified
Perms
📁
..
-
04/11/2020 07:13:11 AM
rwxr-xr-x
📄
and-let-star.scm
2.53 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
binary-ports.scm
1.88 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
boot-9.scm
150.08 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
buffered-input.scm
4.82 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
calling.scm
10.54 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
channel.scm
5.19 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
command-line.scm
18.22 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
common-list.scm
8.95 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
control.scm
3.94 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
curried-definitions.scm
1.79 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
debug.scm
1.09 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
deprecated.scm
31.24 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
documentation.scm
7.41 KB
07/17/2018 10:14:45 AM
rw-r--r--
📄
eval-string.scm
2.93 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
eval.scm
20.85 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
expect.scm
5.5 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
format.scm
74.5 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
ftw.scm
24.24 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
futures.scm
10.92 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
gap-buffer.scm
10.14 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
getopt-long.scm
16.49 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
hash-table.scm
1.77 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
hcons.scm
2.55 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
history.scm
2.29 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
i18n.scm
15.75 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
iconv.scm
3.65 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
lineio.scm
3.85 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
list.scm
1.29 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
local-eval.scm
9.71 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
ls.scm
3.2 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
mapping.scm
4.84 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
match.scm
2 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
match.upstream.scm
35.6 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
networking.scm
3.33 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
null.scm
1.13 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
occam-channel.scm
7.26 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
optargs.scm
15.75 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
poe.scm
3.3 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
poll.scm
6.02 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
popen.scm
5.67 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
posix.scm
2.73 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
pretty-print.scm
15.83 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
psyntax-pp.scm
161.01 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
psyntax.scm
143.59 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
q.scm
4.2 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
quasisyntax.scm
5.22 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
r4rs.scm
9.42 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
r5rs.scm
1.56 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
r6rs-libraries.scm
8.95 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
rdelim.scm
7.47 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
readline.scm
9.56 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
receive.scm
1.06 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
regex.scm
8.87 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
runq.scm
8.18 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
rw.scm
1.02 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
safe-r5rs.scm
3.72 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
safe.scm
1.25 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
save-stack.scm
2.15 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
scm-style-repl.scm
11.71 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
serialize.scm
3.77 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
session.scm
17.72 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
slib.scm
1.55 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
stack-catch.scm
1.94 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
streams.scm
7.31 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
string-fun.scm
8.59 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
syncase.scm
1.52 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
threads.scm
6.24 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
time.scm
2.04 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
top-repl.scm
2.75 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
unicode.scm
1005 bytes
10/22/2016 08:09:34 PM
rw-r--r--
📄
vlist.scm
21.56 KB
10/22/2016 08:09:34 PM
rw-r--r--
📄
weak-vector.scm
1.26 KB
10/22/2016 08:09:34 PM
rw-r--r--
Editing: poe.scm
Close
;;; installed-scm-file ;;;; Copyright (C) 1996, 2001, 2006, 2011 Free Software Foundation, Inc. ;;;; ;;;; This library is free software; you can redistribute it and/or ;;;; modify it under the terms of the GNU Lesser General Public ;;;; License as published by the Free Software Foundation; either ;;;; version 3 of the License, or (at your option) any later version. ;;;; ;;;; This library is distributed in the hope that it will be useful, ;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of ;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU ;;;; Lesser General Public License for more details. ;;;; ;;;; You should have received a copy of the GNU Lesser General Public ;;;; License along with this library; if not, write to the Free Software ;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA ;;;; (define-module (ice-9 poe) :use-module (ice-9 hcons) :export (pure-funcq perfect-funcq)) ;;; {Pure Functions} ;;; ;;; A pure function (of some sort) is characterized by two equality ;;; relations: one on argument lists and one on return values. ;;; A pure function is one that when applied to equal arguments lists ;;; yields equal results. ;;; ;;; If the equality relationship on return values can be eq?, it may make ;;; sense to cache values returned by the function. Choosing the right ;;; equality relation on arguments is tricky. ;;; ;;; {pure-funcq} ;;; ;;; The simplest case of pure functions are those in which results ;;; are only certainly eq? if all of the arguments are. These functions ;;; are called "pure-funcq", for obvious reasons. ;;; (define funcq-memo (make-weak-key-hash-table 523)) ; !!! randomly selected values (define funcq-buffer (make-gc-buffer 256)) (define (funcq-hash arg-list n) (let ((it (let loop ((x 0) (arg-list arg-list)) (if (null? arg-list) (modulo x n) (loop (logior x (hashq (car arg-list) 4194303)) (cdr arg-list)))))) it)) ;; return true if lists X and Y are the same length and each element is `eq?' (define (eq?-list x y) (if (null? x) (null? y) (and (not (null? y)) (eq? (car x) (car y)) (eq?-list (cdr x) (cdr y))))) (define (funcq-assoc arg-list alist) (if (null? alist) #f (if (eq?-list arg-list (caar alist)) (car alist) (funcq-assoc arg-list (cdr alist))))) (define not-found (list 'not-found)) (define (pure-funcq base-func) (lambda args (let* ((key (cons base-func args)) (cached (hashx-ref funcq-hash funcq-assoc funcq-memo key not-found))) (if (not (eq? cached not-found)) (begin (funcq-buffer key) cached) (let ((val (apply base-func args))) (funcq-buffer key) (hashx-set! funcq-hash funcq-assoc funcq-memo key val) val))))) ;;; {Perfect funq} ;;; ;;; A pure funq may sometimes forget its past but a perfect ;;; funcq never does. ;;; (define (perfect-funcq size base-func) (define funcq-memo (make-hash-table size)) (lambda args (let* ((key (cons base-func args)) (cached (hashx-ref funcq-hash funcq-assoc funcq-memo key not-found))) (if (not (eq? cached not-found)) (begin (funcq-buffer key) cached) (let ((val (apply base-func args))) (funcq-buffer key) (hashx-set! funcq-hash funcq-assoc funcq-memo key val) val)))))