xtype (halted)

Check-in [09d75937b5]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Release 1.0.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | trunk | 1.0
Files: files | file ages | folders
SHA3-256: 09d75937b545f310cc40e456a95779488338d10fe9fc7c9e2a921a04818e9779
User & Date: imagic 2021-11-18 16:01:38.000
Context
2021-11-22
23:13
Fix rockspecs. ... (check-in: f02bdad314 user: imagic tags: trunk)
2021-11-18
16:01
Release 1.0. ... (check-in: 09d75937b5 user: imagic tags: trunk, 1.0)
2021-11-14
18:01
Add micro benchmarks and improve performances. ... (check-in: 304a118a3a user: imagic tags: trunk)
Changes
Unified Diff Ignore Whitespace Patch
Changes to README.adoc.
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
Sometimes, advanced type checking code is needed to implement specific abstractions; *xtype* aims to fulfill that need.

.Incentives:
Simplification:: Prevent writing redundant type checking code.
Interoperability:: Having a general low-level type system library can ease the interactions of third-party code.
Metaprogramming / Genericity:: Exploit the dynamic nature of Lua to generate definitions on-the-fly.

See link:src[].

== Concepts

=== Type

A **xtype**'s type is either primitive or non-primitive.








|







14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
Sometimes, advanced type checking code is needed to implement specific abstractions; *xtype* aims to fulfill that need.

.Incentives:
Simplification:: Prevent writing redundant type checking code.
Interoperability:: Having a general low-level type system library can ease the interactions of third-party code.
Metaprogramming / Genericity:: Exploit the dynamic nature of Lua to generate definitions on-the-fly.

See link:src[], link:rockspecs[] or https://luarocks.org/modules/imagicthecat-0a6b669a3a/xtype[luarocks].

== Concepts

=== Type

A **xtype**'s type is either primitive or non-primitive.

Added rockspecs/xtype-1.0-1.rockspec.




















































>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
package = "xtype"
version = "1.0-1"
source = {
  url = "git://github.com/ImagicTheCat/lua-xtype",
  tag = "1.0"
}

description = {
  summary = "A dynamic type system library for Lua.",
  detailed = [[
xtype, or Extended Type, is a dynamic type system library for Lua.
  ]],
  homepage = "https://github.com/ImagicTheCat/lua-xtype",
  license = "MIT"
}

dependencies = {
  "lua >= 5.1, <= 5.4"
}

build = {
  type = "builtin",
  modules = {
    Luaseq = "src/xtype.lua"
  }
}