From 4002b8988c799a904ef1f359d4267ef4ad80cba3 Mon Sep 17 00:00:00 2001 From: Jan Tuomi Date: Mon, 5 Dec 2022 14:19:12 +0200 Subject: Rename project to Milch --- examples/records-concept.lisp | 51 ------------------------------------------- 1 file changed, 51 deletions(-) delete mode 100644 examples/records-concept.lisp (limited to 'examples/records-concept.lisp') diff --git a/examples/records-concept.lisp b/examples/records-concept.lisp deleted file mode 100644 index 420fa9f..0000000 --- a/examples/records-concept.lisp +++ /dev/null @@ -1,51 +0,0 @@ -; Records are named tuples with an identifier. `record!` is a builtin function -; that generates functions for creating, reading and modifying a record. -; In type system terms, records are intersections. - -; `record!` can only be called in the top-level context. - -(record! Ns/User - name - phone-number) - -; Generates the following functions: - -(let! user - (Ns/User/create "John" "010-123-456")) - ; user ~> (Ns/User name:"John" phone-number:"010-123-456") - -(Ns/User/get-name user) ; => "John" -(Ns/User/get-phone-number user) ; => "010-123-456" - -(Ns/User/set-name "Rick" user) - ; => (Ns/User name:"Rick" phone-number:"010-123-456") -(Ns/User/set-phone-number unit user) - ; => (Ns/User name:"Rick" phone-number:) - - - - -; Unions are unions of records with an identifier. `union!` is a builtin function -; that generates functions for manipulating the records in the union. - -; `union!` can only be called in the top-level context. - -(union! Ns/Maybe - (just value) - (nothing)) - -; Generates the following functions: - -(let! m1 (Ns/Maybe/just 10)) ; m1 ~> (Ns/Maybe/Just value:10) -(let! m2 (Ns/Maybe/nothing)) ; m2 ~> (Ns/Maybe/Nothing) - -(Ns/Maybe/Just/get-value m1) ; => 10 - - - - -; The builtin function `kind` returns the identifier as a string for any record value - -(kind m1) ; => "Ns/Maybe/Just" -(kind m2) ; => "Ns/Maybe/Nothing" -(kind user) ; => "Ns/User" -- cgit v1.3