5.3 Serializable Closures

Web Server: HTTP Server

1 Dispatching Server

3 Launching Servers

5 Internal APIs

6 Troubleshooting and Tips

5 Internal APIs

5.1 Timers

5.2 Connection Manager

5.3 Serializable Closures

5.4 Cache Table

5.6 Serialization Utilities

5.8 GZip

5.9 Miscellaneous Utilities

5.3 Serializable Closures

5.3.1 Definition Syntax

On this page:

serial-case-lambda

5.3.1Definition Syntax

top ← prev up next →

5.3Serializable Closures🔗 i

The defunctionalization process of the Web Language (see Stateless Servlets) requires an explicit representation of closures that is serializable.

(require web-server/lang/serial-lambda )

package: web-server-lib

syntax
( serial-lambda formalsbody...)

Returns (lambda formalsbody... ), except it is serializable.

syntax
( serial-case-lambda [formalsbody...]...)

Returns (case-lambda [formalsbody... ]... ), except it is serializable.

(require web-server/private/define-closure )

package: web-server-lib

syntax
( define-closure tagformals(free-var...)body)

Defines a closure, constructed with make-tag that accepts a closure that returns freevar... , that when invoked with formals executes body.

Here is an example:

#lang racket
(require racket/serialize)

(define-closure foo(ab)(xy)
(+ (- ab)
(* xy)))

(define f12(make-foo(lambda ()(values 12))))
(serialize f12)
'((1)1(('page. foo:deserialize-info))0()()(012))
(f1267)
1
(f1291)
10

(define f45(make-foo(lambda ()(values 45))))
(serialize f45)
'((1)1(('page. foo:deserialize-info))0()()(045))
(f4512)
19
(f4588)
20

top ← prev up next →