From f07effd9faf3fdaa677f659d6bbccf98931c5e5a Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 22 Feb 2022 16:29:17 -0400 Subject: No more automatic conversions of primitive types in JVM FFI. --- .../book/the_lux_programming_language/index.md | 4 +- documentation/bookmark/back_end/c.md | 4 + documentation/bookmark/back_end/wasm.md | 6 + documentation/bookmark/database.md | 7 +- documentation/bookmark/design.md | 4 + documentation/bookmark/error_messages.md | 1 + documentation/bookmark/game/generation/map.md | 1 + documentation/bookmark/local_first.md | 4 + documentation/bookmark/logging.md | 9 +- documentation/bookmark/memory_management.md | 1 + documentation/bookmark/security/sandboxing.md | 4 + documentation/bookmark/tool/debugger.md | 1 + documentation/bookmark/web-framework.md | 168 ++++ documentation/bookmark/web/polling.md | 4 + documentation/bookmark/web_framework.md | 167 ---- lux-bootstrapper/src/lux/type.clj | 4 +- .../library/lux/control/concurrency/atom.lux | 35 +- .../library/lux/control/concurrency/thread.lux | 7 +- stdlib/source/library/lux/data/text/buffer.lux | 43 +- .../source/library/lux/data/text/encoding/utf8.lux | 13 +- stdlib/source/library/lux/debug.lux | 13 +- stdlib/source/library/lux/ffi.jvm.lux | 148 ++-- stdlib/source/library/lux/ffi.old.lux | 33 +- stdlib/source/library/lux/target/jvm/constant.lux | 4 +- stdlib/source/library/lux/target/jvm/loader.lux | 4 +- .../compiler/language/lux/analysis/inference.lux | 6 +- .../tool/compiler/language/lux/phase/analysis.lux | 190 ++-- .../language/lux/phase/analysis/complex.lux | 39 +- .../compiler/meta/archive/artifact/category.lux | 2 +- .../lux/tool/compiler/meta/packager/jvm.lux | 15 +- stdlib/source/library/lux/world/console.lux | 41 +- stdlib/source/library/lux/world/file.lux | 70 +- stdlib/source/library/lux/world/file/watch.lux | 9 +- .../source/library/lux/world/net/http/client.lux | 20 +- stdlib/source/library/lux/world/program.lux | 98 ++- stdlib/source/library/lux/world/shell.lux | 84 +- stdlib/source/test/lux/data/binary.lux | 2 +- stdlib/source/test/lux/ffi.jvm.lux | 101 +-- stdlib/source/test/lux/math/number/frac.lux | 4 +- stdlib/source/test/lux/target/jvm.lux | 2 +- stdlib/source/test/lux/tool.lux | 13 +- .../compiler/language/lux/analysis/coverage.lux | 20 +- .../tool/compiler/language/lux/phase/analysis.lux | 980 ++++++++++++++++++++- .../compiler/meta/archive/artifact/category.lux | 14 +- .../lux/tool/compiler/meta/archive/registry.lux | 132 +-- stdlib/source/test/lux/world/file.lux | 39 +- stdlib/source/unsafe/lux/data/binary.lux | 13 +- 47 files changed, 1830 insertions(+), 753 deletions(-) create mode 100644 documentation/bookmark/back_end/c.md create mode 100644 documentation/bookmark/design.md create mode 100644 documentation/bookmark/local_first.md create mode 100644 documentation/bookmark/security/sandboxing.md create mode 100644 documentation/bookmark/web-framework.md create mode 100644 documentation/bookmark/web/polling.md delete mode 100644 documentation/bookmark/web_framework.md diff --git a/documentation/book/the_lux_programming_language/index.md b/documentation/book/the_lux_programming_language/index.md index 63583ae39..e6c190238 100644 --- a/documentation/book/the_lux_programming_language/index.md +++ b/documentation/book/the_lux_programming_language/index.md @@ -6,9 +6,9 @@ * [Chapter 2: The basics](chapter_2.md) _Where you will learn the fundamentals of Lux programming._ * [Chapter 3: Syntax and data-types](chapter_3.md) - _Where you will learn the what Lux code is made of._ + _Where you will learn what Lux code is made of._ * [Chapter 4: Functions and definitions](chapter_4.md) - _Where you will learn how to build your own Lux code._ + _Where you will learn how to build your own Lux programs._ * [Chapter 5: Control flow](chapter_5.md) _Where you will learn how to give intelligence to your code._ * [Chapter 6: Types in detail](chapter_6.md) diff --git a/documentation/bookmark/back_end/c.md b/documentation/bookmark/back_end/c.md new file mode 100644 index 000000000..d12d7c093 --- /dev/null +++ b/documentation/bookmark/back_end/c.md @@ -0,0 +1,4 @@ +# Reference + +0. [mlibc: Portable C standard library](https://github.com/managarm/mlibc) + diff --git a/documentation/bookmark/back_end/wasm.md b/documentation/bookmark/back_end/wasm.md index 7207e6d4b..378915465 100644 --- a/documentation/bookmark/back_end/wasm.md +++ b/documentation/bookmark/back_end/wasm.md @@ -1,3 +1,7 @@ +# Interoperability + +0. [js-wasm: JavaScript and WebAssembly should be a joy to use together.](https://wasm.js.org/) + # Concurrency 0. [Wasm threads are now available in all browsers](https://old.reddit.com/r/WebAssembly/comments/rk83mr/wasm_threads_are_now_available_in_all_browsers/) @@ -17,6 +21,8 @@ # Reference +0. [Building host implementations for WebAssembly interfaces](https://radu-matei.com/blog/wasm-components-host-implementations/) +0. [WebAssembly Techniques to Speed Up Matrix Multiplication by 120x](https://jott.live/markdown/mm_wasm) 0. [Chasing Memory Bugs through V8 and WebAssembly](https://blog.stackblitz.com/posts/debugging-v8-webassembly/) 0. [Wasm needs a better memory management story](https://github.com/WebAssembly/design/issues/1397) 0. https://bytecodealliance.org/ diff --git a/documentation/bookmark/database.md b/documentation/bookmark/database.md index c91d99c8f..f061b7604 100644 --- a/documentation/bookmark/database.md +++ b/documentation/bookmark/database.md @@ -136,7 +136,6 @@ 0. https://learndb.net/ 0. http://orientdb.com/ 0. https://ignite.apache.org/ -0. http://www.datomic.com/ 0. https://eventsourcing.com/ 0. https://geteventstore.com/ 0. http://cassandra.apache.org/ @@ -182,12 +181,16 @@ 0. https://tech.marksblogg.com/minimalist-guide-tutorial-foundationdb.html 0. https://www.foundationdb.org/blog/announcing-document-layer/ 0. https://www.foundationdb.org/ - 0. https://en.wikipedia.org/wiki/FoundationDB 0. https://github.com/orbitdb/orbit-db 0. https://www.aerospike.com/ 0. https://sirix.io/ +## Immutable + +0. [immudb: OPEN SOURCE IMMUTABLE DATABASE](https://codenotary.com/technologies/immudb/) +0. http://www.datomic.com/ + ## Data-flow 0. [Noria: data-flow for high-performance web applications](https://github.com/mit-pdos/noria) diff --git a/documentation/bookmark/design.md b/documentation/bookmark/design.md new file mode 100644 index 000000000..a3ea6af5d --- /dev/null +++ b/documentation/bookmark/design.md @@ -0,0 +1,4 @@ +# Reference + +0. [Laws of UX](https://lawsofux.com/) + diff --git a/documentation/bookmark/error_messages.md b/documentation/bookmark/error_messages.md index 5fc1d6d5a..62c93e8dd 100644 --- a/documentation/bookmark/error_messages.md +++ b/documentation/bookmark/error_messages.md @@ -1,5 +1,6 @@ # Reference +0. [Rethinking errors, warnings, and lints](http://neugierig.org/software/blog/2022/01/rethinking-errors.html) 0. [Error Message Style Guides of Various Languages](https://www.pypy.org/posts/2021/12/error-message-style-guides.html) 0. [Error Messages in Haskell, and how to Improve them](https://anthony.noided.media/blog/haskell/programming/2020/05/14/haskell-errors.html) 0. [The Futhark Error Index](https://futhark-lang.org/blog/2021-09-24-the-futhark-error-index.html) diff --git a/documentation/bookmark/game/generation/map.md b/documentation/bookmark/game/generation/map.md index e3da25f7d..fc230971d 100644 --- a/documentation/bookmark/game/generation/map.md +++ b/documentation/bookmark/game/generation/map.md @@ -1,4 +1,5 @@ # Reference +0. [Generating Worlds With Wave Function Collapse](https://www.procjam.com/tutorials/wfc/) 0. [Procedural Worlds from Simple Tiles](https://ijdykeman.github.io/ml/2017/10/12/wang-tile-procedural-generation.html) diff --git a/documentation/bookmark/local_first.md b/documentation/bookmark/local_first.md new file mode 100644 index 000000000..eeea08684 --- /dev/null +++ b/documentation/bookmark/local_first.md @@ -0,0 +1,4 @@ +# Reference + +0. [Local-first software: You own your data, in spite of the cloud](https://www.inkandswitch.com/local-first/) + diff --git a/documentation/bookmark/logging.md b/documentation/bookmark/logging.md index 5e7f4dc6c..ea8d31ce2 100644 --- a/documentation/bookmark/logging.md +++ b/documentation/bookmark/logging.md @@ -1,7 +1,8 @@ # Reference -1. [Structured Logging for Python](https://www.structlog.org/en/latest/) -1. [The Value of Correlation IDs](https://www.rapid7.com/blog/post/2016/12/23/the-value-of-correlation-ids/) -1. [IceCream — Never use print() to debug again](https://github.com/gruns/icecream) -1. [Capabilities of Elixir's Logger](https://blog.appsignal.com/2020/10/13/capabilities-of-elixir-logger.html) +0. [Spans - a key concept of distributed tracing](https://signoz.io/blog/distributed-tracing-span/) +0. [Structured Logging for Python](https://www.structlog.org/en/latest/) +0. [The Value of Correlation IDs](https://www.rapid7.com/blog/post/2016/12/23/the-value-of-correlation-ids/) +0. [IceCream — Never use print() to debug again](https://github.com/gruns/icecream) +0. [Capabilities of Elixir's Logger](https://blog.appsignal.com/2020/10/13/capabilities-of-elixir-logger.html) diff --git a/documentation/bookmark/memory_management.md b/documentation/bookmark/memory_management.md index 69ff6baeb..a555926ef 100644 --- a/documentation/bookmark/memory_management.md +++ b/documentation/bookmark/memory_management.md @@ -4,6 +4,7 @@ # Allocation +0. [How to allocate memory](https://geocar.sdf1.org/alloc.html) 0. [Always Bump Downwards](https://fitzgeraldnick.com/2019/11/01/always-bump-downwards.html) # Compaction diff --git a/documentation/bookmark/security/sandboxing.md b/documentation/bookmark/security/sandboxing.md new file mode 100644 index 000000000..5c07ce363 --- /dev/null +++ b/documentation/bookmark/security/sandboxing.md @@ -0,0 +1,4 @@ +# Reference + +0. [WasmBoxC: Simple, Easy, and Fast VM-less Sandboxing](https://kripken.github.io/blog/wasm/2020/07/27/wasmboxc.html) + diff --git a/documentation/bookmark/tool/debugger.md b/documentation/bookmark/tool/debugger.md index f39d1a80d..8a45cb838 100644 --- a/documentation/bookmark/tool/debugger.md +++ b/documentation/bookmark/tool/debugger.md @@ -1,5 +1,6 @@ # Reference +0. [Why I Use a Debugger](http://blog.pnkfx.org/blog/2022/01/10/why-i-use-a-debugger/) 0. [tokio-console](https://github.com/tokio-rs/console) 0. [Announcing Tokio Console 0.1](https://tokio.rs/blog/2021-12-announcing-tokio-console) 0. [Ruby Jard: Just Another Ruby Debugger](https://rubyjard.org/) diff --git a/documentation/bookmark/web-framework.md b/documentation/bookmark/web-framework.md new file mode 100644 index 000000000..71145e190 --- /dev/null +++ b/documentation/bookmark/web-framework.md @@ -0,0 +1,168 @@ +# Virtual DOM + +0. [Virtual DOM is pure overhead](https://svelte.dev/blog/virtual-dom-is-pure-overhead) +0. [million: <1kb virtual DOM - it's fast!](https://million.js.org/) +0. [Optimal Virtual DOM](https://blog.kabir.sh/posts/optimal-virtual-dom.html) + +# Input + +0. [High-performance input handling on the web](https://nolanlawson.com/2019/08/11/high-performance-input-handling-on-the-web/) + +# Reference + +0. [You can't capture the nuance of my form fields](https://drewdevault.com/2021/06/27/You-cant-capture-the-nuance.html) +0. [Line-tracking using plain CSS](https://bubblin.io/blog/line-tracking) +0. [Redux is half of a pattern (1/2)](https://dev.to/davidkpiano/redux-is-half-of-a-pattern-1-2-1hd7) +0. [Introducing Concurrent Mode (Experimental)](https://reactjs.org/docs/concurrent-mode-intro.html) +0. https://github.com/daybrush/scenejs +0. https://blog.ionicframework.com/announcing-capacitor-1-0/ +0. http://joneisen.me/talk-frelp-ui/#/ +0. http://meiosis.js.org/ +0. https://medium.com/samsung-internet-dev/disappearing-frameworks-ed921f411c38 +0. https://jasonhpriestley.com/flows +0. https://hackernoon.com/creating-a-new-programming-language-that-will-allow-anyone-to-make-software-7a8c73238dc2 +0. https://github.com/gmrchk/swup +0. https://www.brucelawson.co.uk/2018/the-practical-value-of-semantic-html/ +0. https://chanind.github.io/rails/2019/03/28/why-i-miss-rails.html +0. https://dockyard.com/blog/2018/12/12/phoenix-liveview-interactive-real-time-apps-no-need-to-write-javascript + +# Exemplar + +0. ["Janus: Easy Complex UI with Declarative FRP" by Issa Tseng](https://www.youtube.com/watch?v=7S57O3VwIyQ) +0. https://github.com/alpinejs/alpine +0. [Mint: The programming language for writing single page applications.](https://www.mint-lang.com/) +0. [root: A recursive UI resolver](https://github.com/den1k/root) +0. https://www.http4k.org/blog/meet_http4k/ +0. Django +0. Ruby On Rails +0. http://sailsjs.com/ +0. http://www.cerebraljs.com/ +0. http://www.christianalfoni.com/articles/2016_09_11_The-case-for-function-tree +0. https://www.infernojs.org/ +0. https://cycle.js.org/ +0. https://github.com/alixander/Stanchion +0. http://jooby.org/ +0. https://github.com/Day8/re-frame +0. https://reagent-project.github.io/ +0. https://fulcrologic.github.io/fulcro/ +0. https://www.siliconpublishing.com/blog/introducing-lotusjs +0. https://github.com/giapnguyen74/gstate +0. https://robots.thoughtbot.com/lucky-an-experimental-new-web-framework-by-thoughtbot +0. https://github.com/vuejs/vue +0. https://github.com/omcljs/om +0. http://fulcro.fulcrologic.com/index.html +0. https://github.com/vibora-io/vibora +0. https://david-peter.de/articles/flare/ +0. https://medium.com/@tirthbodawala/introducing-pawjs-a-pluggable-framework-caeef166409f +0. https://github.com/reclarejs/reclare +0. https://eng.uber.com/fusionjs/ +0. https://reactjs.org/docs/hooks-intro.html +0. https://medium.freecodecamp.org/the-virtual-dom-is-slow-meet-the-memoized-dom-bb19f546cc52 +0. http://kweb.io/ +0. https://medium.com/dailyjs/redux-without-reducers-reduxless-69afe76d9eeb +0. https://eugenkiss.github.io/7guis/ +0. https://yogalayout.com/ +0. http://www.expressionsofchange.org/reification-of-interaction/ +0. https://www.infoq.com/articles/no-more-mvc-frameworks +0. https://github.com/eugenkiss/7guis/wiki +0. https://unmanner.github.io/imaskjs/ +0. http://www.cssreflex.com/css-frameworks/ +0. https://layerjs.org/ +0. https://enactjs.com/ +0. https://frankchimero.com/writing/everything-easy-is-hard-again/ +0. https://medium.com/@eugenkiss/challenges-in-gui-programming-65d360466e3f +0. https://www.slideshare.net/lmatteis/are-statecharts-the-next-big-ui-paradigm +0. https://guide.elm-lang.org/architecture/ +0. https://skillsmatter.com/skillscasts/8717-arachne-building-a-framework-in-clojure#video +0. https://github.com/arachne-framework +0. https://github.com/duct-framework/duct +0. http://redux.js.org/ +0. https://hackernoon.com/transmission-tx-a-flux-alternative-fe0630eed2a3 +0. https://medium.com/groupon-eng/grox-the-art-of-the-state-b5223f48d696 +0. https://hackage.haskell.org/package/MFlow +0. https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/MFlowDSL +0. https://medium.com/gitconnected/react-component-patterns-ab1f09be2c82?ref=hn +0. https://www.lucidchart.com/techblog/2017/11/08/5-usage-ideas-for-angular-pipes/ +0. [David Khourshid - Infinitely Better UIs with Finite Automata](https://www.youtube.com/watch?v=VU1NKX6Qkxc) +0. https://www.silvestarbistrovic.from.hr/articles/classily-js-toggling-classes-more-classily/ +0. https://www.sitepoint.com/functional-programming-choo/ +0. https://m.alphasights.com/css-evolution-from-css-sass-bem-css-modules-to-styled-components-d4c1da3a659b#.ksank5elf +0. https://www.bassi.io/articles/2017/01/11/constraints-editing/ +0. https://github.com/threepointone/glamor +0. http://ijzerenhein.github.io/autolayout.js/ +0. https://github.com/CodeRocketCo/enhanced-rails-architecture +0. https://github.com/graphcool/graphcool +0. https://www.sitepen.com/blog/2017/08/17/state-of-modern-component-styling/ +0. https://blog.logrocket.com/advanced-vue-js-concepts-mixins-custom-directives-filters-transitions-and-state-management-ca6955905156 +0. https://underscore.io/blog/posts/2017/01/24/finch-functional-web-development.html +0. https://www.sitepoint.com/eqcss-a-javascript-plugin-to-write-element-queries/ +0. https://github.com/cognitect-labs/vase +0. http://donejs.com/ +0. https://github.com/stdlib/lib +0. https://www.hashicorp.com/blog/replacing-queues-with-nomad-dispatch.html +0. https://github.com/darkleaf/router +0. https://gist.github.com/tomhodgins/da7d8aa89d34b69e5c4120980e3945ef + +# Architecture + +0. https://jew.ski/raj/ +0. https://github.com/redux-saga/redux-saga + +# Platforms + +0. https://www.producthunt.com/posts/mason + +# State-management + +0. [Some re-frame patterns for composability](https://vvvvalvalval.github.io/posts/some-re-frame-patterns-for-composability.html) +0. https://github.com/keajs/kea +0. https://github.com/isocroft/Radixx + +# Styling + +0. [CSS Protips](https://github.com/AllThingsSmitty/css-protips) +0. [Layout-isolated components](https://visly.app/blog/layout-isolated-components) +0. [Centering in CSS: A Complete Guide](https://css-tricks.com/centering-css-complete-guide/) +0. [Vertical Rhythm Reset](https://jhildenbiddle.github.io/vertical-rhythm-reset/) +0. [Cascading Scoped Style Sheets, aka CSSS, aka C3S](https://github.com/crislin2046/c3s) +0. [The importance of the CSS user-select property](https://www.malgol.com/the-importance-of-the-css-user-select-property/) +0. [Index fun](https://psuter.net/2019/07/07/z-index) +0. [Constraint layouts](https://blog.gtk.org/2019/07/02/constraint-layouts/) +0. https://every-layout.dev/ +0. https://github.com/diegohaz/reuse +0. https://wiki.csswg.org/ideas/mistakes +0. https://developer.mozilla.org/en-US/docs/Web/CSS/Layout_cookbook +0. http://www.tipue.com/blog/css-sticky/ +0. https://modalzmodalzmodalz.com/ +0. https://medium.com/@elad/new-css-logical-properties-bc6945311ce7 +0. https://css-tricks.com/browserlist-good-idea/ +0. http://tabulator.info/ +0. https://css-tricks.com/creating-non-rectangular-headers/ +0. https://github.com/callum-hart/immutable-styles +0. https://developers.google.com/web/updates/2019/02/constructable-stylesheets +0. https://nosir.github.io/cleave.js/ +0. https://blogs.igalia.com/mrego/2019/01/11/an-introduction-to-css-containment/ +0. https://medium.com/@devdevcharlie/things-nobody-ever-taught-me-about-css-5d16be8d5d0e +0. https://medium.freecodecamp.org/the-css-handbook-a-handy-guide-to-css-for-developers-b56695917d11 +0. https://css-tricks.com/look-ma-no-media-queries-responsive-layouts-using-css-grid/ +0. [You want enabling CSS selectors, not disabling ones](https://www.silvestar.codes/articles/you-want-a-single-enabling-selector-not-the-one-that-disables-the-rule-of-the-previous-one/) +0. []() + +# Design system + +0. https://ant.design/ + +# Rendering + +0. [The Virtual DOM is slow. Meet the Memoized DOM](https://www.freecodecamp.org/news/the-virtual-dom-is-slow-meet-the-memoized-dom-bb19f546cc52/) +0. [Incrementally Improving The DOM](https://blog.functorial.com/posts/2018-04-08-Incrementally-Improving-The-DOM.html) +0. https://medium.com/@ryansolid/the-fastest-way-to-render-the-dom-e3b226b15ca3 +0. https://github.com/Famous/engine +0. https://redom.js.org/ +0. https://svelte.dev/blog/virtual-dom-is-pure-overhead + +# Database query + +0. http://slick.lightbend.com/docs/ +0. https://books.underscore.io/essential-slick/essential-slick-3.html + diff --git a/documentation/bookmark/web/polling.md b/documentation/bookmark/web/polling.md new file mode 100644 index 000000000..455b03a3d --- /dev/null +++ b/documentation/bookmark/web/polling.md @@ -0,0 +1,4 @@ +# Reference + +0. [HTTP Feeds](https://www.http-feeds.org/) + diff --git a/documentation/bookmark/web_framework.md b/documentation/bookmark/web_framework.md deleted file mode 100644 index bfbc68245..000000000 --- a/documentation/bookmark/web_framework.md +++ /dev/null @@ -1,167 +0,0 @@ -# Virtual DOM - -1. [Virtual DOM is pure overhead](https://svelte.dev/blog/virtual-dom-is-pure-overhead) -1. [million: <1kb virtual DOM - it's fast!](https://million.js.org/) -1. [Optimal Virtual DOM](https://blog.kabir.sh/posts/optimal-virtual-dom.html) - -# Input - -1. [High-performance input handling on the web](https://nolanlawson.com/2019/08/11/high-performance-input-handling-on-the-web/) - -# Reference - -1. [You can't capture the nuance of my form fields](https://drewdevault.com/2021/06/27/You-cant-capture-the-nuance.html) -1. [Line-tracking using plain CSS](https://bubblin.io/blog/line-tracking) -1. [Redux is half of a pattern (1/2)](https://dev.to/davidkpiano/redux-is-half-of-a-pattern-1-2-1hd7) -1. [Introducing Concurrent Mode (Experimental)](https://reactjs.org/docs/concurrent-mode-intro.html) -1. https://github.com/daybrush/scenejs -1. https://blog.ionicframework.com/announcing-capacitor-1-0/ -1. http://joneisen.me/talk-frelp-ui/#/ -1. http://meiosis.js.org/ -1. https://medium.com/samsung-internet-dev/disappearing-frameworks-ed921f411c38 -1. https://jasonhpriestley.com/flows -1. https://hackernoon.com/creating-a-new-programming-language-that-will-allow-anyone-to-make-software-7a8c73238dc2 -1. https://github.com/gmrchk/swup -1. https://www.brucelawson.co.uk/2018/the-practical-value-of-semantic-html/ -1. https://chanind.github.io/rails/2019/03/28/why-i-miss-rails.html -1. https://dockyard.com/blog/2018/12/12/phoenix-liveview-interactive-real-time-apps-no-need-to-write-javascript - -# Exemplar - -1. ["Janus: Easy Complex UI with Declarative FRP" by Issa Tseng](https://www.youtube.com/watch?v=7S57O3VwIyQ) -1. https://github.com/alpinejs/alpine -1. [Mint: The programming language for writing single page applications.](https://www.mint-lang.com/) -1. [root: A recursive UI resolver](https://github.com/den1k/root) -1. https://www.http4k.org/blog/meet_http4k/ -1. Django -1. Ruby On Rails -1. http://sailsjs.com/ -1. http://www.cerebraljs.com/ -1. http://www.christianalfoni.com/articles/2016_09_11_The-case-for-function-tree -1. https://www.infernojs.org/ -1. https://cycle.js.org/ -1. https://github.com/alixander/Stanchion -1. http://jooby.org/ -1. https://github.com/Day8/re-frame -1. https://reagent-project.github.io/ -1. https://fulcrologic.github.io/fulcro/ -1. https://www.siliconpublishing.com/blog/introducing-lotusjs -1. https://github.com/giapnguyen74/gstate -1. https://robots.thoughtbot.com/lucky-an-experimental-new-web-framework-by-thoughtbot -1. https://github.com/vuejs/vue -1. https://github.com/omcljs/om -1. http://fulcro.fulcrologic.com/index.html -1. https://github.com/vibora-io/vibora -1. https://david-peter.de/articles/flare/ -1. https://medium.com/@tirthbodawala/introducing-pawjs-a-pluggable-framework-caeef166409f -1. https://github.com/reclarejs/reclare -1. https://eng.uber.com/fusionjs/ -1. https://reactjs.org/docs/hooks-intro.html -1. https://medium.freecodecamp.org/the-virtual-dom-is-slow-meet-the-memoized-dom-bb19f546cc52 -1. http://kweb.io/ -1. https://medium.com/dailyjs/redux-without-reducers-reduxless-69afe76d9eeb -1. https://eugenkiss.github.io/7guis/ -1. https://yogalayout.com/ -1. http://www.expressionsofchange.org/reification-of-interaction/ -1. https://www.infoq.com/articles/no-more-mvc-frameworks -1. https://github.com/eugenkiss/7guis/wiki -1. https://unmanner.github.io/imaskjs/ -1. http://www.cssreflex.com/css-frameworks/ -1. https://layerjs.org/ -1. https://enactjs.com/ -1. https://frankchimero.com/writing/everything-easy-is-hard-again/ -1. https://medium.com/@eugenkiss/challenges-in-gui-programming-65d360466e3f -1. https://www.slideshare.net/lmatteis/are-statecharts-the-next-big-ui-paradigm -1. https://guide.elm-lang.org/architecture/ -1. https://skillsmatter.com/skillscasts/8717-arachne-building-a-framework-in-clojure#video -1. https://github.com/arachne-framework -1. https://github.com/duct-framework/duct -1. http://redux.js.org/ -1. https://hackernoon.com/transmission-tx-a-flux-alternative-fe0630eed2a3 -1. https://medium.com/groupon-eng/grox-the-art-of-the-state-b5223f48d696 -1. https://hackage.haskell.org/package/MFlow -1. https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/MFlowDSL -1. https://medium.com/gitconnected/react-component-patterns-ab1f09be2c82?ref=hn -1. https://www.lucidchart.com/techblog/2017/11/08/5-usage-ideas-for-angular-pipes/ -1. [David Khourshid - Infinitely Better UIs with Finite Automata](https://www.youtube.com/watch?v=VU1NKX6Qkxc) -1. https://www.silvestarbistrovic.from.hr/articles/classily-js-toggling-classes-more-classily/ -1. https://www.sitepoint.com/functional-programming-choo/ -1. https://m.alphasights.com/css-evolution-from-css-sass-bem-css-modules-to-styled-components-d4c1da3a659b#.ksank5elf -1. https://www.bassi.io/articles/2017/01/11/constraints-editing/ -1. https://github.com/threepointone/glamor -1. http://ijzerenhein.github.io/autolayout.js/ -1. https://github.com/CodeRocketCo/enhanced-rails-architecture -1. https://github.com/graphcool/graphcool -1. https://www.sitepen.com/blog/2017/08/17/state-of-modern-component-styling/ -1. https://blog.logrocket.com/advanced-vue-js-concepts-mixins-custom-directives-filters-transitions-and-state-management-ca6955905156 -1. https://underscore.io/blog/posts/2017/01/24/finch-functional-web-development.html -1. https://www.sitepoint.com/eqcss-a-javascript-plugin-to-write-element-queries/ -1. https://github.com/cognitect-labs/vase -1. http://donejs.com/ -1. https://github.com/stdlib/lib -1. https://www.hashicorp.com/blog/replacing-queues-with-nomad-dispatch.html -1. https://github.com/darkleaf/router -1. https://gist.github.com/tomhodgins/da7d8aa89d34b69e5c4120980e3945ef - -# Architecture - -1. https://jew.ski/raj/ -1. https://github.com/redux-saga/redux-saga - -# Platforms - -1. https://www.producthunt.com/posts/mason - -# State-management - -1. https://github.com/keajs/kea -1. https://github.com/isocroft/Radixx - -# Styling - -1. [CSS Protips](https://github.com/AllThingsSmitty/css-protips) -1. [Layout-isolated components](https://visly.app/blog/layout-isolated-components) -1. [Centering in CSS: A Complete Guide](https://css-tricks.com/centering-css-complete-guide/) -1. [Vertical Rhythm Reset](https://jhildenbiddle.github.io/vertical-rhythm-reset/) -1. [Cascading Scoped Style Sheets, aka CSSS, aka C3S](https://github.com/crislin2046/c3s) -1. [The importance of the CSS user-select property](https://www.malgol.com/the-importance-of-the-css-user-select-property/) -1. [Index fun](https://psuter.net/2019/07/07/z-index) -1. [Constraint layouts](https://blog.gtk.org/2019/07/02/constraint-layouts/) -1. https://every-layout.dev/ -1. https://github.com/diegohaz/reuse -1. https://wiki.csswg.org/ideas/mistakes -1. https://developer.mozilla.org/en-US/docs/Web/CSS/Layout_cookbook -1. http://www.tipue.com/blog/css-sticky/ -1. https://modalzmodalzmodalz.com/ -1. https://medium.com/@elad/new-css-logical-properties-bc6945311ce7 -1. https://css-tricks.com/browserlist-good-idea/ -1. http://tabulator.info/ -1. https://css-tricks.com/creating-non-rectangular-headers/ -1. https://github.com/callum-hart/immutable-styles -1. https://developers.google.com/web/updates/2019/02/constructable-stylesheets -1. https://nosir.github.io/cleave.js/ -1. https://blogs.igalia.com/mrego/2019/01/11/an-introduction-to-css-containment/ -1. https://medium.com/@devdevcharlie/things-nobody-ever-taught-me-about-css-5d16be8d5d0e -1. https://medium.freecodecamp.org/the-css-handbook-a-handy-guide-to-css-for-developers-b56695917d11 -1. https://css-tricks.com/look-ma-no-media-queries-responsive-layouts-using-css-grid/ -1. [You want enabling CSS selectors, not disabling ones](https://www.silvestar.codes/articles/you-want-a-single-enabling-selector-not-the-one-that-disables-the-rule-of-the-previous-one/) -1. []() - -# Design system - -1. https://ant.design/ - -# Rendering - -1. [The Virtual DOM is slow. Meet the Memoized DOM](https://www.freecodecamp.org/news/the-virtual-dom-is-slow-meet-the-memoized-dom-bb19f546cc52/) -1. [Incrementally Improving The DOM](https://blog.functorial.com/posts/2018-04-08-Incrementally-Improving-The-DOM.html) -1. https://medium.com/@ryansolid/the-fastest-way-to-render-the-dom-e3b226b15ca3 -1. https://github.com/Famous/engine -1. https://redom.js.org/ -1. https://svelte.dev/blog/virtual-dom-is-pure-overhead - -# Database query - -1. http://slick.lightbend.com/docs/ -1. https://books.underscore.io/essential-slick/essential-slick-3.html - diff --git a/lux-bootstrapper/src/lux/type.clj b/lux-bootstrapper/src/lux/type.clj index 9935d9cfa..e1e229ce9 100644 --- a/lux-bootstrapper/src/lux/type.clj +++ b/lux-bootstrapper/src/lux/type.clj @@ -377,10 +377,10 @@ (&/$Primitive name params) (|case params (&/$End) - (str "(primitive " (pr-str name) ")") + (str "(Primitive " (pr-str name) ")") _ - (str "(primitive " (pr-str name) " " (->> params (&/|map show-type) (&/|interpose " ") (&/fold str "")) ")")) + (str "(Primitive " (pr-str name) " " (->> params (&/|map show-type) (&/|interpose " ") (&/fold str "")) ")")) (&/$Product _) (str "[" (->> (flatten-prod type) (&/|map show-type) (&/|interpose " ") (&/fold str "")) "]") diff --git a/stdlib/source/library/lux/control/concurrency/atom.lux b/stdlib/source/library/lux/control/concurrency/atom.lux index a30b3bc73..c865b8e33 100644 --- a/stdlib/source/library/lux/control/concurrency/atom.lux +++ b/stdlib/source/library/lux/control/concurrency/atom.lux @@ -1,19 +1,19 @@ (.using - [library - [lux "*" - ["@" target] - ["[0]" ffi] - [abstract - [monad {"+" do}]] - [control - ["[0]" function] - ["[0]" io {"+" IO} ("[1]#[0]" functor)]] - [data - ["[0]" product] - [collection - ["[0]" array]]] - [type - abstract]]]) + [library + [lux "*" + ["@" target] + ["[0]" ffi] + [abstract + [monad {"+" do}]] + [control + ["[0]" function] + ["[0]" io {"+" IO} ("[1]#[0]" functor)]] + [data + ["[0]" product] + [collection + ["[0]" array]]] + [type + abstract]]]) (with_expansions [ (as_is (ffi.import: (java/util/concurrent/atomic/AtomicReference a) ["[1]::[0]" @@ -68,12 +68,13 @@ (def: .public (compare_and_swap! current new atom) (All (_ a) (-> a a (Atom a) (IO Bit))) - (io.io (with_expansions [ (java/util/concurrent/atomic/AtomicReference::compareAndSet current new (:representation atom))] + (io.io (with_expansions [ (ffi.of_boolean (java/util/concurrent/atomic/AtomicReference::compareAndSet current new (:representation atom)))] (for [@.old @.jvm ] (let [old ( 0 (:representation atom))] (if (same? old current) - (exec ( 0 new (:representation atom)) + (exec + ( 0 new (:representation atom)) true) false)))))) )) diff --git a/stdlib/source/library/lux/control/concurrency/thread.lux b/stdlib/source/library/lux/control/concurrency/thread.lux index 9d91b6ee8..07de8c1c7 100644 --- a/stdlib/source/library/lux/control/concurrency/thread.lux +++ b/stdlib/source/library/lux/control/concurrency/thread.lux @@ -23,6 +23,7 @@ ["[0]" atom {"+" Atom}]]) (with_expansions [ (as_is (ffi.import: java/lang/Object) + (ffi.import: java/lang/Long) (ffi.import: java/lang/Runtime ["[1]::[0]" @@ -69,6 +70,7 @@ Nat (with_expansions [ (|> (java/lang/Runtime::getRuntime) (java/lang/Runtime::availableProcessors) + ffi.of_int .nat)] (for [@.old @.jvm ] @@ -77,7 +79,10 @@ (with_expansions [ (as_is (def: runner java/util/concurrent/ScheduledThreadPoolExecutor - (java/util/concurrent/ScheduledThreadPoolExecutor::new (.int ..parallelism))))] + (|> ..parallelism + .int + ffi.as_int + java/util/concurrent/ScheduledThreadPoolExecutor::new)))] (for [@.old @.jvm @.js (as_is) diff --git a/stdlib/source/library/lux/data/text/buffer.lux b/stdlib/source/library/lux/data/text/buffer.lux index 30c6714fd..a07e65250 100644 --- a/stdlib/source/library/lux/data/text/buffer.lux +++ b/stdlib/source/library/lux/data/text/buffer.lux @@ -1,23 +1,23 @@ (.using - [library - [lux "*" - ["@" target] - ["[0]" ffi {"+" import:}] - [control - ["[0]" function]] - [data - ["[0]" product] - [text - ["%" format {"+" format}]] - [collection - ["[0]" array] - ["[0]" sequence {"+" Sequence} ("[1]#[0]" mix)]]] - [math - [number - ["n" nat]]] - [type - abstract]]] - ["[0]" //]) + [library + [lux "*" + ["@" target] + ["[0]" ffi {"+" import:}] + [control + ["[0]" function]] + [data + ["[0]" product] + [text + ["%" format {"+" format}]] + [collection + ["[0]" array] + ["[0]" sequence {"+" Sequence} ("[1]#[0]" mix)]]] + [math + [number + ["n" nat]]] + [type + abstract]]] + ["[0]" //]) (with_expansions [ (as_is (import: java/lang/CharSequence) @@ -113,9 +113,10 @@ (def: .public (text buffer) (-> Buffer Text) (with_expansions [ (let [[capacity transform] (:representation buffer)] - (|> (java/lang/StringBuilder::new (.int capacity)) + (|> (java/lang/StringBuilder::new (ffi.as_int (.int capacity))) transform - java/lang/StringBuilder::toString))] + java/lang/StringBuilder::toString + ffi.of_string))] (for [@.old @.jvm @.js (let [[capacity transform] (:representation buffer)] diff --git a/stdlib/source/library/lux/data/text/encoding/utf8.lux b/stdlib/source/library/lux/data/text/encoding/utf8.lux index baef37aa1..bcc1a0ee2 100644 --- a/stdlib/source/library/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/library/lux/data/text/encoding/utf8.lux @@ -65,15 +65,12 @@ (def: (encoded value) (-> Text Binary) (for [@.old - (java/lang/String::getBytes (//.name //.utf_8) - ... TODO: Remove coercion below. - ... The coercion below may seem - ... gratuitous, but removing it - ... causes a grave compilation problem. - (:as java/lang/String value)) + (java/lang/String::getBytes (ffi.as_string (//.name //.utf_8)) + (ffi.as_string value)) @.jvm - (java/lang/String::getBytes (//.name //.utf_8) value) + (java/lang/String::getBytes (ffi.as_string (//.name //.utf_8)) + (ffi.as_string value)) @.js (cond ffi.on_nashorn? @@ -113,7 +110,7 @@ (def: (decoded value) (-> Binary (Try Text)) - (with_expansions [ {try.#Success (java/lang/String::new value (//.name //.utf_8))}] + (with_expansions [ {try.#Success (ffi.of_string (java/lang/String::new value (ffi.as_string (//.name //.utf_8))))}] (for [@.old @.jvm diff --git a/stdlib/source/library/lux/debug.lux b/stdlib/source/library/lux/debug.lux index e042ad9d1..2e4e790fe 100644 --- a/stdlib/source/library/lux/debug.lux +++ b/stdlib/source/library/lux/debug.lux @@ -147,12 +147,13 @@ [(case (ffi.check object) {.#Some value} (`` (|> value (~~ (template.spliced )))) + {.#None})] - [java/lang/Boolean [(:as .Bit) %.bit]] - [java/lang/Long [(:as .Int) %.int]] - [java/lang/Number [java/lang/Number::doubleValue %.frac]] - [java/lang/String [(:as .Text) %.text]] + [java/lang/Boolean [ffi.of_boolean %.bit]] + [java/lang/Long [ffi.of_long %.int]] + [java/lang/Number [java/lang/Number::doubleValue ffi.of_double %.frac]] + [java/lang/String [ffi.of_string %.text]] )) (case (ffi.check [java/lang/Object] object) {.#Some value} @@ -166,7 +167,7 @@ (let [last? (case last? {.#Some _} #1 {.#None} #0)] - (|> (%.format (%.nat (.nat (java/lang/Integer::longValue tag))) + (|> (%.format (%.nat (.nat (ffi.of_long (java/lang/Integer::longValue tag)))) " " (%.bit last?) " " (inspection choice)) (text.enclosed ["(" ")"]))) @@ -174,7 +175,7 @@ _ (tuple_inspection inspection value))) {.#None}) - (java/lang/Object::toString object))))] + (ffi.of_string (java/lang/Object::toString object)))))] (for [@.old @.jvm diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux index 46ffa8021..8439ae24a 100644 --- a/stdlib/source/library/lux/ffi.jvm.lux +++ b/stdlib/source/library/lux/ffi.jvm.lux @@ -1,42 +1,42 @@ (.using - [library - ["[0]" lux {"-" Primitive Type type int char :as} - ["[1]_[0]" type ("[1]#[0]" equivalence)] - [abstract - ["[0]" monad {"+" Monad do}] - ["[0]" enum]] - [control - ["[0]" function] - ["[0]" io] - ["[0]" maybe] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" Exception exception:}] - ["<>" parser ("[1]#[0]" monad) - ["<[0]>" code {"+" Parser}]]] - [data - ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] - [collection - ["[0]" array] - ["[0]" list ("[1]#[0]" monad mix monoid)] - ["[0]" dictionary {"+" Dictionary}]]] - [macro {"+" with_symbols} - [syntax {"+" syntax:}] - ["[0]" code] - ["[0]" template]] - ["[0]" meta] - [target - [jvm - [encoding - ["[0]" name {"+" External}]] - ["[0]" type {"+" Type Argument Typed} - ["[0]" category {"+" Void Value' Value Return' Return Method Primitive Object Class Array Var Parameter Declaration}] - ["[0]" box] - ["[0]" descriptor] - ["[0]" signature] - ["[0]" reflection] - ["[0]" parser]]]]]]) + [library + ["[0]" lux {"-" Primitive Type type int char :as} + ["[1]_[0]" type ("[1]#[0]" equivalence)] + [abstract + ["[0]" monad {"+" Monad do}] + ["[0]" enum]] + [control + ["[0]" function] + ["[0]" io] + ["[0]" maybe] + ["[0]" try {"+" Try}] + ["[0]" exception {"+" Exception exception:}] + ["<>" parser ("[1]#[0]" monad) + ["<[0]>" code {"+" Parser}]]] + [data + ["[0]" product] + ["[0]" text ("[1]#[0]" equivalence) + ["%" format {"+" format}]] + [collection + ["[0]" array] + ["[0]" list ("[1]#[0]" monad mix monoid)] + ["[0]" dictionary {"+" Dictionary}]]] + [macro {"+" with_symbols} + [syntax {"+" syntax:}] + ["[0]" code] + ["[0]" template]] + ["[0]" meta] + [target + [jvm + [encoding + ["[0]" name {"+" External}]] + ["[0]" type {"+" Type Argument Typed} + ["[0]" category {"+" Void Value' Value Return' Return Method Primitive Object Class Array Var Parameter Declaration}] + ["[0]" box] + ["[0]" descriptor] + ["[0]" signature] + ["[0]" reflection] + ["[0]" parser]]]]]]) (def: internal (-> External Text) @@ -66,6 +66,7 @@ [Float box.float] [Double box.double] [Character box.char] + [String "java.lang.String"] ) (template [ ] @@ -1396,9 +1397,6 @@ [with_return_io #import_member_io? (` ((~! io.io) (~ return_term)))] ) -(def: $String - (type.class "java.lang.String" (list))) - (template [ ] [(def: ( mode [unboxed raw]) (-> Primitive_Mode [(Type Value) Code] Code) @@ -1409,10 +1407,10 @@ {#AutoPrM} (with_expansions [' (template.spliced ) - (template [ 
 ]
-                                                                        [(# type.equivalence =  unboxed)
+                                                          (template [ 
 ]
+                                                                        [(# type.equivalence =  unboxed)
                                                                          (with_expansions [' (template.spliced )]
-                                                                           [
+                                                                           [
                                                                             (` (.|> (~ raw) (~+ 
)))
                                                                             (list ')])]
 
@@ -1438,29 +1436,21 @@
          (` (.|> (~ unboxed/boxed) (~+ post))))))]
 
   [#1 with_automatic_input_conversion ..unbox
-   [[type.boolean type.boolean (list (` (.: .Bit)) (` (.:as (.Primitive (~ (code.text box.boolean)))))) []]
-    [type.byte type.byte (list (` (.: .Int)) (` (.:as (.Primitive (~ (code.text box.long))))) (` ..long_to_byte)) []]
-    [type.short type.short (list (` (.: .Int)) (` (.:as (.Primitive (~ (code.text box.long))))) (` ..long_to_short)) []]
-    [type.int type.int (list (` (.: .Int)) (` (.:as (.Primitive (~ (code.text box.long))))) (` ..long_to_int)) []]
-    [type.long type.long (list (` (.: .Int)) (` (.:as (.Primitive (~ (code.text box.long)))))) []]
-    [type.float type.float (list (` (.: .Frac)) (` (.:as (.Primitive (~ (code.text box.double))))) (` ..double_to_float)) []]
-    [type.double type.double (list (` (.: .Frac)) (` (.:as (.Primitive (~ (code.text box.double)))))) []]
-    [..$String ..$String (list (` (.: .Text)) (` (.:as (.Primitive (~ (code.text (..reflection ..$String))))))) []]
-    [(type.class box.boolean (list)) (type.class box.boolean (list)) (list (` (.: .Bit)) (` (.:as (.Primitive (~ (code.text box.boolean)))))) []]
-    [(type.class box.long (list)) (type.class box.long (list)) (list (` (.: .Int)) (` (.:as (.Primitive (~ (code.text box.long)))))) []]
-    [(type.class box.double (list)) (type.class box.double (list)) (list (` (.: .Frac)) (` (.:as (.Primitive (~ (code.text box.double)))))) []]]]
+   [[type.boolean (list (` (.:as (.Primitive (~ (code.text box.boolean)))))) []]
+    [type.byte (list (` (.:as (.Primitive (~ (code.text box.byte)))))) []]
+    [type.short (list (` (.:as (.Primitive (~ (code.text box.short)))))) []]
+    [type.int (list (` (.: (.Primitive (~ (code.text box.int)))))) []]
+    [type.long (list (` (.:as (.Primitive (~ (code.text box.long)))))) []]
+    [type.float (list (` (.:as (.Primitive (~ (code.text box.float)))))) []]
+    [type.double (list (` (.:as (.Primitive (~ (code.text box.double)))))) []]]]
   [#0 with_automatic_output_conversion ..box
-   [[type.boolean type.boolean (list) [(` (.: (.Primitive (~ (code.text box.boolean))))) (` (.:as .Bit))]]
-    [type.byte type.long (list (` "jvm conversion byte-to-long")) [(` (.: (.Primitive (~ (code.text box.long))))) (` (.:as .Int))]]
-    [type.short type.long (list (` "jvm conversion short-to-long")) [(` (.: (.Primitive (~ (code.text box.long))))) (` (.:as .Int))]]
-    [type.int type.long (list (` "jvm conversion int-to-long")) [(` (.: (.Primitive (~ (code.text box.long))))) (` (.:as .Int))]]
-    [type.long type.long (list) [(` (.: (.Primitive (~ (code.text box.long))))) (` (.:as .Int))]]
-    [type.float type.double (list (` "jvm conversion float-to-double")) [(` (.: (.Primitive (~ (code.text box.double))))) (` (.:as .Frac))]]
-    [type.double type.double (list) [(` (.: (.Primitive (~ (code.text box.double))))) (` (.:as .Frac))]]
-    [..$String ..$String (list) [(` (.: (.Primitive (~ (code.text (..reflection ..$String)))))) (` (.:as .Text))]]
-    [(type.class box.boolean (list)) (type.class box.boolean (list)) (list) [(` (.: (.Primitive (~ (code.text box.boolean))))) (` (.:as .Bit))]]
-    [(type.class box.long (list)) (type.class box.long (list)) (list) [(` (.: (.Primitive (~ (code.text box.long))))) (` (.:as .Int))]]
-    [(type.class box.double (list)) (type.class box.double (list)) (list) [(` (.: (.Primitive (~ (code.text box.double))))) (` (.:as .Frac))]]]]
+   [[type.boolean (list) [(` (.: (.Primitive (~ (code.text box.boolean)))))]]
+    [type.byte (list) [(` (.: (.Primitive (~ (code.text box.byte)))))]]
+    [type.short (list) [(` (.: (.Primitive (~ (code.text box.short)))))]]
+    [type.int (list) [(` (.: (.Primitive (~ (code.text box.int)))))]]
+    [type.long (list) [(` (.: (.Primitive (~ (code.text box.long)))))]]
+    [type.float (list) [(` (.: (.Primitive (~ (code.text box.float)))))]]
+    [type.double (list) [(` (.: (.Primitive (~ (code.text box.double)))))]]]]
   )
 
 (def: (un_quoted quoted)
@@ -1930,3 +1920,29 @@
 
     _
     (meta.failure (exception.error ..cannot_cast_to_non_object [type]))))
+
+(template [   ]
+  [(template: .public ( it)
+     [(|> it (: ) (:as ))])
+
+   (template: .public ( it)
+     [(|> it (: ) (:as ))])]
+
+  [as_boolean .Bit ..Boolean of_boolean]
+  [as_long .Int ..Long of_long]
+  [as_double .Frac ..Double of_double]
+  [as_string .Text ..String of_string]
+  )
+
+(template [  <$>  <$'>  ]
+  [(template: .public ( it)
+     [(|> it (: ) (:as ) <$> (: ))])
+
+   (template: .public ( it)
+     [(|> it (: ) <$'> (: ) (:as ))])]
+
+  [as_byte .Int ..long_to_byte ..Long ..byte_to_long ..Byte of_byte]
+  [as_short .Int ..long_to_short ..Long ..short_to_long ..Short of_short]
+  [as_int .Int ..long_to_int ..Long ..int_to_long ..Integer of_int]
+  [as_float .Frac ..double_to_float ..Double ..float_to_double ..Float of_float]
+  )
diff --git a/stdlib/source/library/lux/ffi.old.lux b/stdlib/source/library/lux/ffi.old.lux
index 3b8fdc613..ec3693ece 100644
--- a/stdlib/source/library/lux/ffi.old.lux
+++ b/stdlib/source/library/lux/ffi.old.lux
@@ -62,6 +62,32 @@
   [char_to_long "jvm convert char-to-long" "java.lang.Character" "java.lang.Long"]
   )
 
+(template [   ]
+  [(template: .public ( it)
+     [(|> it (: ) (:as (Primitive )))])
+
+   (template: .public ( it)
+     [(|> it (: (Primitive )) (:as ))])]
+
+  [as_boolean .Bit "java.lang.Boolean" of_boolean]
+  [as_long .Int "java.lang.Long" of_long]
+  [as_double .Frac "java.lang.Double" of_double]
+  [as_string .Text "java.lang.String" of_string]
+  )
+
+(template [  <$>  <$'>  ]
+  [(template: .public ( it)
+     [(|> it (: ) (:as (Primitive )) <$> (: (Primitive )))])
+
+   (template: .public ( it)
+     [(|> it (: (Primitive )) <$'> (: (Primitive )) (:as ))])]
+
+  [as_byte .Int ..long_to_byte "java.lang.Long" ..byte_to_long "java.lang.Byte" of_byte]
+  [as_short .Int ..long_to_short "java.lang.Long" ..short_to_long "java.lang.Short" of_short]
+  [as_int .Int ..long_to_int "java.lang.Long" ..int_to_long "java.lang.Integer" of_int]
+  [as_float .Frac ..double_to_float "java.lang.Double" ..float_to_double "java.lang.Float" of_float]
+  )
+
 ... [Utils]
 (def: constructor_method_name "")
 (def: member_separator "::")
@@ -1396,12 +1422,7 @@
        expression
        
        {#AutoPrM}
-       (case class
-         "byte"  (` ( (~ expression)))
-         "short" (` ( (~ expression)))
-         "int"   (` ( (~ expression)))
-         "float" (` ( (~ expression)))
-         _       expression)))]
+       expression))]
 
   [auto_convert_input  long_to_byte long_to_short long_to_int double_to_float]
   [auto_convert_output byte_to_long short_to_long int_to_long float_to_double]
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux
index 370dbdabb..8f6358470 100644
--- a/stdlib/source/library/lux/target/jvm/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/constant.lux
@@ -119,9 +119,9 @@
                 (~~ (template.spliced )))))]
 
     [integer_writer Integer [] [binaryF.bits/32]]
-    [float_writer Float [java/lang/Float::floatToRawIntBits ffi.int_to_long (:as I64)] [i32.i32 binaryF.bits/32]]
+    [float_writer Float [java/lang/Float::floatToRawIntBits ffi.of_int .i64] [i32.i32 binaryF.bits/32]]
     [long_writer Long [] [binaryF.bits/64]]
-    [double_writer Double [java/lang/Double::doubleToRawLongBits] [binaryF.bits/64]]
+    [double_writer Double [java/lang/Double::doubleToRawLongBits ffi.of_long] [binaryF.bits/64]]
     [string_writer String [] [//index.writer]]
     )
   )
diff --git a/stdlib/source/library/lux/target/jvm/loader.lux b/stdlib/source/library/lux/target/jvm/loader.lux
index 99a4573bc..26e67f2e9 100644
--- a/stdlib/source/library/lux/target/jvm/loader.lux
+++ b/stdlib/source/library/lux/target/jvm/loader.lux
@@ -74,7 +74,7 @@
                                            (java/lang/Integer::TYPE)))
                         (ffi.write! 3 (:as 
                                            (java/lang/Integer::TYPE))))]
-      (do_to (java/lang/Class::getDeclaredMethod "defineClass"
+      (do_to (java/lang/Class::getDeclaredMethod (ffi.as_string "defineClass")
                                                  signature
                                                  (ffi.class_for java/lang/ClassLoader))
         (java/lang/reflect/AccessibleObject::setAccessible true)))))
@@ -140,4 +140,4 @@
 (def: .public (load name loader)
   (-> Text java/lang/ClassLoader
       (IO (Try (java/lang/Class java/lang/Object))))
-  (java/lang/ClassLoader::loadClass name loader))
+  (java/lang/ClassLoader::loadClass (ffi.as_string name) loader))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux
index 6ca7137d2..fa9e2e0fb 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux
@@ -80,9 +80,9 @@
     ([.#UnivQ]
      [.#ExQ])
 
-    (^or {.#Parameter @}
-         {.#Ex @}
-         {.#Named name anonymous})
+    (^or {.#Parameter _}
+         {.#Ex _}
+         {.#Named _})
     :it:))
 
 ... Type-inference works by applying some (potentially quantified) type
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
index 657096c10..085e071a7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
@@ -10,6 +10,8 @@
      ["%" format {"+" format}]]
     [collection
      ["[0]" list]]]
+   [macro
+    ["[0]" code]]
    [math
     [number
      ["n" nat]]]
@@ -33,105 +35,97 @@
      [meta
       [archive {"+" Archive}]]]]]])
 
-(exception: .public (unrecognized_syntax [code Code])
+(exception: .public (invalid [syntax Code])
   (exception.report
-   ["Code" (%.code code)]))
-
-... TODO: Had to split the 'compile' function due to compilation issues
-... with old-luxc. Must re-combine all the code ASAP
-
-(type: (Fix a)
-  (-> a a))
-
-(def: (compile|literal archive compile else code')
-  (-> Archive Phase (Fix (-> (Code' (Ann Location)) (Operation Analysis))))
-  (case code'
-    (^template [ ]
-      [{ value}
-       ( value)])
-    ([.#Bit  /simple.bit]
-     [.#Nat  /simple.nat]
-     [.#Int  /simple.int]
-     [.#Rev  /simple.rev]
-     [.#Frac /simple.frac]
-     [.#Text /simple.text])
-
-    (^ {.#Variant (list& [_ {.#Symbol tag}]
-                         values)})
-    (case values
-      {.#Item value {.#End}}
-      (/complex.variant compile tag archive value)
-
-      _
-      (/complex.variant compile tag archive (` [(~+ values)])))
-
-    (^ {.#Variant (list& [_ {.#Nat lefts}] [_ {.#Bit right?}]
-                         values)})
-    (case values
-      {.#Item value {.#End}}
-      (/complex.sum compile lefts right? archive value)
-
-      _
-      (/complex.sum compile lefts right? archive (` [(~+ values)])))
-
-    (^ {.#Tuple elems})
-    (/complex.record compile archive elems)
-
-    _
-    (else code')))
-
-(def: (compile|others expander archive compile code')
-  (-> Expander Archive Phase (-> (Code' (Ann Location)) (Operation Analysis)))
-  (case code'
-    {.#Symbol reference}
-    (/reference.reference reference)
-
-    (^ {.#Form (list [_ {.#Variant branches}] input)})
-    (case (list.pairs branches)
-      {.#Some branches}
-      (/case.case compile branches archive input)
-
-      {.#None}
-      (//.except ..unrecognized_syntax [location.dummy code']))
-
-    (^ {.#Form (list& [_ {.#Text extension_name}] extension_args)})
-    (//extension.apply archive compile [extension_name extension_args])
-
-    (^ {.#Form (list [_ {.#Tuple (list [_ {.#Symbol ["" function_name]}]
-                                       [_ {.#Symbol ["" arg_name]}])}]
-                     body)})
-    (/function.function compile function_name arg_name archive body)
-
-    (^ {.#Form (list& functionC argsC+)})
-    (do [! //.monad]
-      [[functionT functionA] (/type.inferring
-                              (compile archive functionC))]
-      (case functionA
-        {/.#Reference {reference.#Constant def_name}}
-        (do !
-          [?macro (//extension.lifted (meta.macro def_name))]
-          (case ?macro
-            {.#Some macro}
-            (do !
-              [expansion (//extension.lifted (/macro.single_expansion expander def_name macro argsC+))]
-              (compile archive expansion))
-
-            _
-            (/function.apply compile argsC+ functionT functionA archive functionC)))
-
-        _
-        (/function.apply compile argsC+ functionT functionA archive functionC)))
-
-    _
-    (//.except ..unrecognized_syntax [location.dummy code'])))
+   ["Syntax" (%.code syntax)]))
+
+(template: (variant_analysis analysis archive tag values)
+  ... (-> Phase Archive Symbol (List Code) (Operation Analysis))
+  [(case values
+     (^ (list value))
+     (/complex.variant analysis tag archive value)
+
+     _
+     (/complex.variant analysis tag archive (code.tuple values)))])
+
+(template: (sum_analysis analysis archive lefts right? values)
+  ... (-> Phase Archive Nat Bit (List Code) (Operation Analysis))
+  [(case values
+     (^ (list value))
+     (/complex.sum analysis lefts right? archive value)
+
+     _
+     (/complex.sum analysis lefts right? archive (code.tuple values)))])
+
+(template: (case_analysis analysis archive input branches code)
+  ... (-> Phase Archive Code (List Code) Code (Operation Analysis))
+  [(case (list.pairs branches)
+     {.#Some branches}
+     (/case.case analysis branches archive input)
+
+     {.#None}
+     (//.except ..invalid [code]))])
+
+(template: (apply_analysis expander analysis archive functionC argsC+)
+  ... (-> Expander Phase Archive Code (List Code) (Operation Analysis))
+  [(do [! //.monad]
+     [[functionT functionA] (/type.inferring
+                             (analysis archive functionC))]
+     (case functionA
+       (^ (/.constant def_name))
+       (do !
+         [?macro (//extension.lifted (meta.macro def_name))]
+         (case ?macro
+           {.#Some macro}
+           (do !
+             [expansion (//extension.lifted (/macro.single_expansion expander def_name macro argsC+))]
+             (analysis archive expansion))
+
+           _
+           (/function.apply analysis argsC+ functionT functionA archive functionC)))
+
+       _
+       (/function.apply analysis argsC+ functionT functionA archive functionC)))])
 
 (def: .public (phase expander)
   (-> Expander Phase)
-  (function (compile archive code)
-    (let [[location code'] code]
-      ... The location must be set in the state for the sake
-      ... of having useful error messages.
-      (/.with_location location
-        (compile|literal archive compile
-                         (compile|others expander archive compile)
-                         code')))))
+  (function (analysis archive code)
+    (<| (let [[location code'] code])
+        ... The location must be set in the state for the sake
+        ... of having useful error messages.
+        (/.with_location location)
+        (case code
+          (^template [ ]
+            [[_ { value}]
+             ( value)])
+          ([.#Symbol /reference.reference]
+           [.#Text /simple.text]
+           [.#Nat  /simple.nat]
+           [.#Bit  /simple.bit]
+           [.#Frac /simple.frac]
+           [.#Int  /simple.int]
+           [.#Rev  /simple.rev])
+
+          (^code [(~+ elems)])
+          (/complex.record analysis archive elems)
+
+          (^code {(~ [_ {.#Symbol tag}]) (~+ values)})
+          (..variant_analysis analysis archive tag values)
+
+          (^code ({(~+ branches)} (~ input)))
+          (..case_analysis analysis archive input branches code)
+
+          (^code ([(~ [_ {.#Symbol ["" function_name]}]) (~ [_ {.#Symbol ["" arg_name]}])] (~ body)))
+          (/function.function analysis function_name arg_name archive body)
+
+          (^code ((~ [_ {.#Text extension_name}]) (~+ extension_args)))
+          (//extension.apply archive analysis [extension_name extension_args])
+
+          (^code ((~ functionC) (~+ argsC+)))
+          (..apply_analysis expander analysis archive functionC argsC+)
+
+          (^code {(~ [_ {.#Nat lefts}]) (~ [_ {.#Bit right?}]) (~+ values)})
+          (..sum_analysis analysis archive lefts right? values)
+
+          _
+          (//.except ..invalid [code])))))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux
index 1bf6a48b9..54b2cf1dd 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux
@@ -134,15 +134,17 @@
                 _
                 (/.except ..cannot_infer_sum [expectedT lefts right? valueC])))
 
-            (^template [ ]
-              [{ _}
-               (do !
-                 [[@instance :instance:] (/type.check )]
-                 (<| (/type.expecting (maybe.trusted (type.applied (list :instance:) expectedT)))
-                     (again valueC)))])
-            ([.#UnivQ check.existential]
-             [.#ExQ check.var])
-
+            {.#UnivQ _}
+            (do !
+              [[@instance :instance:] (/type.check check.existential)]
+              (<| (/type.expecting (maybe.trusted (type.applied (list :instance:) expectedT)))
+                  (again valueC)))
+            {.#ExQ _}
+            (<| /type.with_var
+                (function (_ [@instance :instance:]))
+                (/type.expecting (maybe.trusted (type.applied (list :instance:) expectedT)))
+                (again valueC))
+            
             {.#Apply inputT funT}
             (case funT
               {.#Var funT_id}
@@ -247,14 +249,17 @@
                                            (type.tuple (list#each product.left membersTA))))]
               (in (/.tuple (list#each product.right membersTA))))))
 
-        (^template [ ]
-          [{ _}
-           (do !
-             [[@instance :instance:] (/type.check )]
-             (<| (/type.expecting (maybe.trusted (type.applied (list :instance:) expectedT)))
-                 (product analyse archive membersC)))])
-        ([.#UnivQ check.existential]
-         [.#ExQ check.var])
+        {.#UnivQ _}
+        (do !
+          [[@instance :instance:] (/type.check check.existential)]
+          (<| (/type.expecting (maybe.trusted (type.applied (list :instance:) expectedT)))
+              (product analyse archive membersC)))
+
+        {.#ExQ _}
+        (<| /type.with_var
+            (function (_ [@instance :instance:]))
+            (/type.expecting (maybe.trusted (type.applied (list :instance:) expectedT)))
+            (product analyse archive membersC))
 
         {.#Apply inputT funT}
         (case funT
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux
index 526a8bce1..61698487d 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux
@@ -17,7 +17,7 @@
 (type: .public Definition
   [Text (Maybe [Arity [Nat Nat]])])
 
-(def: definition_equivalence
+(def: .public definition_equivalence
   (Equivalence Definition)
   ($_ product.equivalence
       text.equivalence
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
index 7f672fd92..4b5a82a43 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
@@ -148,7 +148,7 @@
     (do try.monad
       [_ (java/util/jar/JarOutputStream::putNextEntry (java/util/jar/JarEntry::new class_path) sink)]
       (in (do_to sink
-            (java/util/zip/ZipOutputStream::write content +0 (.int (binary.size content)))
+            (java/util/zip/ZipOutputStream::write content (ffi.as_int +0) (ffi.as_int (.int (binary.size content))))
             (java/io/Flushable::flush)
             (java/util/zip/ZipOutputStream::closeEntry))))))
 
@@ -168,16 +168,16 @@
   (-> java/util/jar/JarInputStream [Nat Binary])
   (let [chunk (binary.empty ..mebi_byte)
         chunk_size (.int ..mebi_byte)
-        buffer (java/io/ByteArrayOutputStream::new chunk_size)]
+        buffer (java/io/ByteArrayOutputStream::new (ffi.as_int chunk_size))]
     (loop [so_far 0]
-      (case (java/io/InputStream::read chunk 0 chunk_size input)
+      (case (ffi.of_int (java/io/InputStream::read chunk (ffi.as_int +0) (ffi.as_int chunk_size) input))
         -1
         [so_far
          (java/io/ByteArrayOutputStream::toByteArray buffer)]
         
         bytes_read
         (exec
-          (java/io/OutputStream::write chunk +0 bytes_read buffer)
+          (java/io/OutputStream::write chunk (ffi.as_int +0) (ffi.as_int bytes_read) buffer)
           (again (|> bytes_read .nat (n.+ so_far))))))))
 
 (def: (read_jar_entry_with_known_size expected_size input)
@@ -185,7 +185,8 @@
   (let [buffer (binary.empty expected_size)]
     (loop [so_far 0]
       (let [so_far' (|> input
-                        (java/io/InputStream::read buffer (.int so_far) (.int (n.- so_far expected_size)))
+                        (java/io/InputStream::read buffer (ffi.as_int (.int so_far)) (ffi.as_int (.int (n.- so_far expected_size))))
+                        ffi.of_int
                         .nat
                         (n.+ so_far))]
         (if (n.= expected_size so_far')
@@ -241,7 +242,7 @@
                   (again (set.has entry_path entries)
                          duplicates
                          (do_to sink
-                           (java/util/zip/ZipOutputStream::write entry_data +0 (.int entry_size))
+                           (java/util/zip/ZipOutputStream::write entry_data (ffi.as_int +0) (ffi.as_int (.int entry_size)))
                            (java/io/Flushable::flush)
                            (java/util/zip/ZipOutputStream::closeEntry)))))
               (again entries
@@ -254,7 +255,7 @@
     (do [! try.monad]
       [.let [necessary_dependencies (cache/artifact.necessary_dependencies archive)]
        order (cache/module.load_order $.key archive)
-       .let [buffer (java/io/ByteArrayOutputStream::new (.int ..mebi_byte))]
+       .let [buffer (java/io/ByteArrayOutputStream::new (ffi.as_int (.int ..mebi_byte)))]
        sink (|> order
                 (list#each (function (_ [module [module_id entry]])
                              [module_id (value@ archive.#output entry)]))
diff --git a/stdlib/source/library/lux/world/console.lux b/stdlib/source/library/lux/world/console.lux
index c10521e74..cf75af0a5 100644
--- a/stdlib/source/library/lux/world/console.lux
+++ b/stdlib/source/library/lux/world/console.lux
@@ -1,21 +1,21 @@
 (.using
-  [library
-   [lux "*"
-    ["@" target]
-    ["[0]" ffi {"+" import:}]
-    [abstract
-     [monad {"+" do}]]
-    [control
-     ["[0]" maybe]
-     ["[0]" try {"+" Try}]
-     ["[0]" exception {"+" exception:}]
-     ["[0]" io {"+" IO io}]
-     [concurrency
-      ["[0]" async {"+" Async} ("[1]#[0]" monad)]
-      ["[0]" atom]]]
-    [data
-     ["[0]" text {"+" Char}
-      ["%" format {"+" format}]]]]])
+ [library
+  [lux "*"
+   ["@" target]
+   ["[0]" ffi {"+" import:}]
+   [abstract
+    [monad {"+" do}]]
+   [control
+    ["[0]" maybe]
+    ["[0]" try {"+" Try} ("[1]#[0]" functor)]
+    ["[0]" exception {"+" exception:}]
+    ["[0]" io {"+" IO io} ("[1]#[0]" functor)]
+    [concurrency
+     ["[0]" async {"+" Async} ("[1]#[0]" monad)]
+     ["[0]" atom]]]
+   [data
+    ["[0]" text {"+" Char}
+     ["%" format {"+" format}]]]]])
 
 (type: .public (Console !)
   (Interface
@@ -82,13 +82,14 @@
                                             (def: (read _)
                                               (|> jvm_input
                                                   java/io/InputStream::read
-                                                  (# (try.with io.monad) each .nat)))
+                                                  (# (try.with io.monad) each (|>> ffi.of_int .nat))))
                                             
                                             (def: (read_line _)
-                                              (java/io/Console::readLine jvm_console))
+                                              (io#each (try#each (|>> ffi.of_string))
+                                                       (java/io/Console::readLine jvm_console)))
                                             
                                             (def: (write message)
-                                              (java/io/PrintStream::print message jvm_output))
+                                              (java/io/PrintStream::print (ffi.as_string message) jvm_output))
                                             
                                             (def: close
                                               (|>> (exception.except ..cannot_close) in)))))))))]
diff --git a/stdlib/source/library/lux/world/file.lux b/stdlib/source/library/lux/world/file.lux
index 5fc2b5e2c..d597ee7da 100644
--- a/stdlib/source/library/lux/world/file.lux
+++ b/stdlib/source/library/lux/world/file.lux
@@ -155,17 +155,9 @@
 
   [cannot_make_directory]
   [cannot_find_directory]
-  
-  [cannot_read_all_data]
   )
 
-(with_expansions [ (as_is (exception: .public (cannot_modify_file [instant Instant
-                                                                            file Path])
-                                     (exception.report
-                                      ["Instant" (%.instant instant)]
-                                      ["Path" file]))
-
-                                   (ffi.import: java/lang/String)
+(with_expansions [ (as_is (ffi.import: java/lang/String)
 
                                    (`` (ffi.import: java/io/File
                                          ["[1]::[0]"
@@ -211,33 +203,34 @@
                                          (System IO)
 
                                          (def: separator
-                                           (java/io/File::separator))
+                                           (ffi.of_string (java/io/File::separator)))
 
                                          (~~ (template [ ]
                                                [(def: 
-                                                  (|>> java/io/File::new
+                                                  (|>> ffi.as_string
+                                                       java/io/File::new
                                                        
-                                                       (io#each (|>> (try.else false)))))]
+                                                       (io#each (|>> (try#each (|>> ffi.of_boolean)) (try.else false)))))]
 
                                                [file? java/io/File::isFile]
                                                [directory? java/io/File::isDirectory]
                                                ))
 
-                                         (def: (make_directory path)
-                                           (|> path
-                                               java/io/File::new
-                                               java/io/File::mkdir))
+                                         (def: make_directory
+                                           (|>> ffi.as_string
+                                                java/io/File::new
+                                                java/io/File::mkdir))
 
                                          (~~ (template [ ]
                                                [(def: ( path)
                                                   (do [! (try.with io.monad)]
-                                                    [?children (java/io/File::listFiles (java/io/File::new path))]
+                                                    [?children (java/io/File::listFiles (java/io/File::new (ffi.as_string path)))]
                                                     (case ?children
                                                       {.#Some children}
                                                       (|> children
                                                           (array.list {.#None})
-                                                          (monad.only ! (|>> ))
-                                                          (# ! each (monad.each ! (|>> java/io/File::getAbsolutePath)))
+                                                          (monad.only ! (|>>  (# ! each (|>> ffi.of_boolean))))
+                                                          (# ! each (monad.each ! (|>> java/io/File::getAbsolutePath (# ! each (|>> ffi.of_string)))))
                                                           (# ! conjoint))
 
                                                       {.#None}
@@ -248,57 +241,62 @@
                                                ))
 
                                          (def: file_size
-                                           (|>> java/io/File::new
+                                           (|>> ffi.as_string
+                                                java/io/File::new
                                                 java/io/File::length
-                                                (# (try.with io.monad) each .nat)))
+                                                (# (try.with io.monad) each (|>> ffi.of_long .nat))))
 
                                          (def: last_modified
-                                           (|>> java/io/File::new
+                                           (|>> ffi.as_string
+                                                java/io/File::new
                                                 (java/io/File::lastModified)
-                                                (# (try.with io.monad) each (|>> duration.of_millis instant.absolute))))
+                                                (# (try.with io.monad) each (|>> ffi.of_long duration.of_millis instant.absolute))))
 
                                          (def: can_execute?
-                                           (|>> java/io/File::new
-                                                java/io/File::canExecute))
+                                           (|>> ffi.as_string
+                                                java/io/File::new
+                                                java/io/File::canExecute
+                                                (io#each (try#each (|>> ffi.of_boolean)))))
 
                                          (def: (read path)
                                            (do (try.with io.monad)
-                                             [.let [file (java/io/File::new path)]
+                                             [.let [file (java/io/File::new (ffi.as_string path))]
                                               size (java/io/File::length file)
-                                              .let [data (binary.empty (.nat size))]
                                               stream (java/io/FileInputStream::new file)
+                                              .let [data (binary.empty (.nat (ffi.of_long size)))]
                                               bytes_read (java/io/InputStream::read data stream)
                                               _ (java/lang/AutoCloseable::close stream)]
-                                             (if (i.= size bytes_read)
-                                               (in data)
-                                               (# io.monad in (exception.except ..cannot_read_all_data path)))))
+                                             (in data)))
 
                                          (def: (delete path)
                                            (|> path
+                                               ffi.as_string
                                                java/io/File::new
                                                java/io/File::delete))
 
                                          (def: (modify time_stamp path)
                                            (|> path
+                                               ffi.as_string
                                                java/io/File::new
-                                               (java/io/File::setLastModified (|> time_stamp instant.relative duration.millis))))
+                                               (java/io/File::setLastModified (|> time_stamp instant.relative duration.millis ffi.as_long))))
                                          
-                                         (~~ (template [ ]
+                                         (~~ (template [ ]
                                                [(def: ( data path)
                                                   (do (try.with io.monad)
-                                                    [stream (java/io/FileOutputStream::new (java/io/File::new path) )
+                                                    [stream (java/io/FileOutputStream::new (java/io/File::new (ffi.as_string path)) (ffi.as_boolean ))
                                                      _ (java/io/OutputStream::write data stream)
                                                      _ (java/io/OutputStream::flush stream)]
                                                     (java/lang/AutoCloseable::close stream)))]
 
-                                               [write #0]
-                                               [append #1]
+                                               [#0 write]
+                                               [#1 append]
                                                ))
 
                                          (def: (move destination origin)
                                            (|> origin
+                                               ffi.as_string
                                                java/io/File::new
-                                               (java/io/File::renameTo (java/io/File::new destination))))
+                                               (java/io/File::renameTo (java/io/File::new (ffi.as_string destination)))))
                                          )))]
   (for [@.old (as_is )
         @.jvm (as_is )
diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux
index a4c5cfa57..c26923c54 100644
--- a/stdlib/source/library/lux/world/file/watch.lux
+++ b/stdlib/source/library/lux/world/file/watch.lux
@@ -273,12 +273,12 @@
 
                                (def: (default_list list)
                                  (All (_ a) (-> (java/util/List a) (List a)))
-                                 (let [size (.nat (java/util/List::size list))]
+                                 (let [size (.nat (ffi.of_int (java/util/List::size list)))]
                                    (loop [idx 0
                                           output {.#End}]
                                      (if (n.< size idx)
                                        (again (++ idx)
-                                              {.#Item (java/util/List::get (.int idx) list)
+                                              {.#Item (java/util/List::get (ffi.as_int (.int idx)) list)
                                                       output})
                                        output))))
                                
@@ -366,7 +366,7 @@
                                    (async.future
                                     (java/nio/file/Path::register watcher
                                                                   watch_events'
-                                                                  (|> path java/io/File::new java/io/File::toPath)))))
+                                                                  (|> path ffi.as_string java/io/File::new java/io/File::toPath)))))
 
                                (def: (default_poll watcher)
                                  (-> java/nio/file/WatchService (IO (Try (List [Concern //.Path]))))
@@ -378,12 +378,13 @@
                                        {.#Some key}
                                        (do [! io.monad]
                                          [valid? (java/nio/file/WatchKey::reset key)]
-                                         (if valid?
+                                         (if (ffi.of_boolean valid?)
                                            (do !
                                              [.let [path (|> key
                                                              java/nio/file/WatchKey::watchable
                                                              (:as java/nio/file/Path)
                                                              java/nio/file/Path::toString
+                                                             ffi.of_string
                                                              (:as //.Path))]
                                               the_concern (..default_key_concern key)]
                                              (again {.#Item [the_concern path]
diff --git a/stdlib/source/library/lux/world/net/http/client.lux b/stdlib/source/library/lux/world/net/http/client.lux
index fd5709140..9dd11a62f 100644
--- a/stdlib/source/library/lux/world/net/http/client.lux
+++ b/stdlib/source/library/lux/world/net/http/client.lux
@@ -133,7 +133,8 @@
                                                  (loop [so_far +0]
                                                    (do [! (try.with io.monad)]
                                                      [.let [remaining (i.- so_far (.int buffer_size))]
-                                                      bytes_read (java/io/BufferedInputStream::read buffer so_far remaining input)]
+                                                      bytes_read (# ! each (|>> ffi.of_int)
+                                                                    (java/io/BufferedInputStream::read buffer (ffi.as_int so_far) (ffi.as_int remaining) input))]
                                                      (case bytes_read
                                                        -1 (do !
                                                             [_ (java/lang/AutoCloseable::close input)]
@@ -146,7 +147,8 @@
                                                         output (# binary.monoid identity)]
                                                    (do [! (try.with io.monad)]
                                                      [.let [remaining (i.- so_far (.int buffer_size))]
-                                                      bytes_read (java/io/BufferedInputStream::read buffer so_far remaining input)]
+                                                      bytes_read (# ! each (|>> ffi.of_int)
+                                                                    (java/io/BufferedInputStream::read buffer (ffi.as_int so_far) (ffi.as_int remaining) input))]
                                                      (case bytes_read
                                                        -1 (do !
                                                             [_ (java/lang/AutoCloseable::close input)]
@@ -170,13 +172,13 @@
                                  (loop [index +0
                                         headers //.empty]
                                    (do [! (try.with io.monad)]
-                                     [?name (java/net/URLConnection::getHeaderFieldKey index connection)]
+                                     [?name (java/net/URLConnection::getHeaderFieldKey (ffi.as_int index) connection)]
                                      (case ?name
                                        {.#Some name}
                                        (do !
-                                         [?value (java/net/URLConnection::getHeaderField index connection)]
+                                         [?value (java/net/URLConnection::getHeaderField (ffi.as_int index) connection)]
                                          (again (++ index)
-                                                (dictionary.has name (maybe.else "" ?value) headers)))
+                                                (dictionary.has (ffi.of_string name) (maybe.else "" (maybe#each (|>> ffi.of_string) ?value)) headers)))
 
                                        {.#None}
                                        (in headers)))))
@@ -187,11 +189,11 @@
                                  (def: (request method url headers data)
                                    (: (IO (Try (//.Response IO)))
                                       (do [! (try.with io.monad)]
-                                        [connection (|> url java/net/URL::new java/net/URL::openConnection)
+                                        [connection (|> url ffi.as_string java/net/URL::new java/net/URL::openConnection)
                                          .let [connection (:as java/net/HttpURLConnection connection)]
-                                         _ (java/net/HttpURLConnection::setRequestMethod (..jvm_method method) connection)
+                                         _ (java/net/HttpURLConnection::setRequestMethod (ffi.as_string (..jvm_method method)) connection)
                                          _ (monad.each ! (function (_ [name value])
-                                                           (java/net/URLConnection::setRequestProperty name value connection))
+                                                           (java/net/URLConnection::setRequestProperty (ffi.as_string name) (ffi.as_string value) connection))
                                                        (dictionary.entries headers))
                                          _ (case data
                                              {.#Some data}
@@ -210,7 +212,7 @@
                                          input (|> connection
                                                    java/net/URLConnection::getInputStream
                                                    (# ! each (|>> java/io/BufferedInputStream::new)))]
-                                        (in [(.nat status)
+                                        (in [(.nat (ffi.of_int status))
                                              [//.#headers headers
                                               //.#body (..default_body input)]]))))))]
   (for [@.old (as_is )
diff --git a/stdlib/source/library/lux/world/program.lux b/stdlib/source/library/lux/world/program.lux
index 5fdc9cc21..2eb9e3f62 100644
--- a/stdlib/source/library/lux/world/program.lux
+++ b/stdlib/source/library/lux/world/program.lux
@@ -1,39 +1,39 @@
 (.using
-  [library
-   [lux "*"
-    ["@" target]
-    ["[0]" ffi {"+" import:}]
-    [abstract
-     ["[0]" monad {"+" Monad do}]]
-    [control
-     ["[0]" function]
-     ["[0]" io {"+" IO}]
-     ["[0]" maybe]
-     ["[0]" try {"+" Try}]
-     ["[0]" exception {"+" exception:}]
-     [concurrency
-      ["[0]" atom]
-      ["[0]" async {"+" Async}]]
-     [parser
-      ["[0]" environment {"+" Environment}]]]
-    [data
-     ["[0]" bit ("[1]#[0]" equivalence)]
-     ["[0]" text
-      ["%" format {"+" format}]]
-     [collection
-      ["[0]" array {"+" Array}]
-      ["[0]" dictionary {"+" Dictionary}]
-      ["[0]" list ("[1]#[0]" functor)]]]
-    ["[0]" macro
-     ["[0]" template]]
-    [math
-     [number
-      ["i" int]]]
-    [type
-     abstract]]]
-  [//
-   [file {"+" Path}]
-   [shell {"+" Exit}]])
+ [library
+  [lux "*"
+   ["@" target]
+   ["[0]" ffi {"+" import:}]
+   [abstract
+    ["[0]" monad {"+" Monad do}]]
+   [control
+    ["[0]" function]
+    ["[0]" io {"+" IO}]
+    ["[0]" maybe ("[1]#[0]" functor)]
+    ["[0]" try {"+" Try}]
+    ["[0]" exception {"+" exception:}]
+    [concurrency
+     ["[0]" atom]
+     ["[0]" async {"+" Async}]]
+    [parser
+     ["[0]" environment {"+" Environment}]]]
+   [data
+    ["[0]" bit ("[1]#[0]" equivalence)]
+    ["[0]" text
+     ["%" format {"+" format}]]
+    [collection
+     ["[0]" array {"+" Array}]
+     ["[0]" dictionary {"+" Dictionary}]
+     ["[0]" list ("[1]#[0]" functor)]]]
+   ["[0]" macro
+    ["[0]" template]]
+   [math
+    [number
+     ["i" int]]]
+   [type
+    abstract]]]
+ [//
+  [file {"+" Path}]
+  [shell {"+" Exit}]])
 
 (exception: .public (unknown_environment_variable [name Text])
   (exception.report
@@ -136,7 +136,7 @@
 
                                (def: (jvm##consume iterator)
                                  (All (_ a) (-> (java/util/Iterator a) (List a)))
-                                 (if (java/util/Iterator::hasNext iterator)
+                                 (if (ffi.of_boolean (java/util/Iterator::hasNext iterator))
                                    {.#Item (java/util/Iterator::next iterator)
                                            (jvm##consume iterator)}
                                    {.#End}))
@@ -347,16 +347,16 @@
             ])))
 
   (def: (variable name)
-    (template.let [(!fetch )
+    (template.let [(!fetch  )
                    [(do io.monad
-                      [value ( name)]
+                      [value (|> name )]
                       (in (case value
                             {.#Some value}
-                            {try.#Success value}
+                            {try.#Success ( value)}
 
                             {.#None}
                             (exception.except ..unknown_environment_variable [name]))))]]
-      (with_expansions [ (!fetch java/lang/System::resolveEnv)]
+      (with_expansions [ (!fetch (<| java/lang/System::resolveEnv ffi.as_string) ffi.of_string)]
         (for [@.old 
               @.jvm 
               @.js (io.io (if ffi.on_node_js?
@@ -370,15 +370,18 @@
                               {.#None}
                               (exception.except ..unknown_environment_variable [name]))
                             (exception.except ..unknown_environment_variable [name])))
-              @.python (!fetch os/environ::get)
-              @.lua (!fetch os/getenv)
-              @.ruby (!fetch RubyEnv::fetch)
+              @.python (!fetch os/environ::get |>)
+              @.lua (!fetch os/getenv |>)
+              @.ruby (!fetch RubyEnv::fetch |>)
               ]))))
   
   (def: home
     (io.run!
      (with_expansions [ (io.io "~")
-                        (io.io (maybe.else "" (java/lang/System::getProperty "user.home")))]
+                        (|> (java/lang/System::getProperty (ffi.as_string "user.home"))
+                                 (maybe#each (|>> ffi.of_string))
+                                 (maybe.else "")
+                                 io.io)]
        (for [@.old 
              @.jvm 
              @.js (if ffi.on_node_js?
@@ -401,7 +404,10 @@
   (def: directory
     (io.run!
      (with_expansions [ "."
-                        (io.io (maybe.else "" (java/lang/System::getProperty "user.dir")))]
+                        (|> (java/lang/System::getProperty (ffi.as_string "user.dir"))
+                                 (maybe#each (|>> ffi.of_string))
+                                 (maybe.else "")
+                                 io.io)]
        (for [@.old 
              @.jvm 
              @.js (if ffi.on_node_js?
@@ -431,7 +437,7 @@
   
   (def: (exit code)
     (with_expansions [ (do io.monad
-                              [_ (java/lang/System::exit code)]
+                              [_ (java/lang/System::exit (ffi.as_int code))]
                               (in (undefined)))]
       (for [@.old 
             @.jvm 
diff --git a/stdlib/source/library/lux/world/shell.lux b/stdlib/source/library/lux/world/shell.lux
index cba2e4d7e..22f63e05b 100644
--- a/stdlib/source/library/lux/world/shell.lux
+++ b/stdlib/source/library/lux/world/shell.lux
@@ -1,37 +1,37 @@
 (.using
-  [library
-   [lux "*"
-    ["@" target]
-    ["jvm" ffi {"+" import:}]
-    [abstract
-     [monad {"+" do}]]
-    [control
-     ["[0]" function]
-     ["[0]" try {"+" Try}]
-     ["[0]" exception {"+" exception:}]
-     ["[0]" io {"+" IO}]
-     [security
-      ["?" policy {"+" Context Safety Safe}]]
-     [concurrency
-      ["[0]" atom {"+" Atom}]
-      ["[0]" async {"+" Async}]]
-     [parser
-      [environment {"+" Environment}]]]
-    [data
-     ["[0]" product]
-     ["[0]" text
-      ["%" format {"+" format}]
-      [encoding
-       ["[0]" utf8]]]
-     [collection
-      ["[0]" array {"+" Array}]
-      ["[0]" list ("[1]#[0]" mix functor)]
-      ["[0]" dictionary]]]
-    [math
-     [number {"+" hex}
-      ["n" nat]]]]]
-  [//
-   [file {"+" Path}]])
+ [library
+  [lux "*"
+   ["@" target]
+   ["[0]" ffi {"+" import:}]
+   [abstract
+    [monad {"+" do}]]
+   [control
+    ["[0]" function]
+    ["[0]" try {"+" Try}]
+    ["[0]" exception {"+" exception:}]
+    ["[0]" io {"+" IO}]
+    [security
+     ["?" policy {"+" Context Safety Safe}]]
+    [concurrency
+     ["[0]" atom {"+" Atom}]
+     ["[0]" async {"+" Async}]]
+    [parser
+     [environment {"+" Environment}]]]
+   [data
+    ["[0]" product]
+    ["[0]" text
+     ["%" format {"+" format}]
+     [encoding
+      ["[0]" utf8]]]
+    [collection
+     ["[0]" array {"+" Array}]
+     ["[0]" list ("[1]#[0]" mix functor)]
+     ["[0]" dictionary]]]
+   [math
+    [number {"+" hex}
+     ["n" nat]]]]]
+ [//
+  [file {"+" Path}]])
 
 (type: .public Exit
   Int)
@@ -178,10 +178,10 @@
                                  (-> (List Argument) (Array java/lang/String))
                                  (product.right
                                   (list#mix (function (_ argument [idx output])
-                                              [(++ idx) (jvm.write! idx
-                                                                    (:as java/lang/String argument)
+                                              [(++ idx) (ffi.write! idx
+                                                                    (ffi.as_string argument)
                                                                     output)])
-                                            [0 (jvm.array java/lang/String (list.size arguments))]
+                                            [0 (ffi.array java/lang/String (list.size arguments))]
                                             arguments)))
 
                                (import: (java/util/Map k v)
@@ -250,7 +250,7 @@
                                                           [output (java/io/BufferedReader::readLine )]
                                                           (case output
                                                             {.#Some output}
-                                                            (in output)
+                                                            (in (ffi.of_string output))
 
                                                             {.#None}
                                                             (# io.monad in (exception.except ..no_more_output [])))))]
@@ -262,10 +262,10 @@
                                                  (java/io/OutputStream::write (# utf8.codec encoded message) jvm_output))
                                                (~~ (template [ ]
                                                      [(def: ( _)
-                                                        ( process))]
+                                                        (|> process ))]
 
                                                      [destroy java/lang/Process::destroy]
-                                                     [await java/lang/Process::waitFor]
+                                                     [await (<| (# ! each (|>> ffi.of_int)) java/lang/Process::waitFor)]
                                                      ))))))))
 
                                (import: java/io/File
@@ -287,8 +287,8 @@
                                (def: windows?
                                  (IO (Try Bit))
                                  (# (try.with io.monad) each
-                                    (|>> java/lang/String::toLowerCase (text.starts_with? "windows"))
-                                    (java/lang/System::getProperty "os.name")))
+                                    (|>> java/lang/String::toLowerCase ffi.of_string (text.starts_with? "windows"))
+                                    (java/lang/System::getProperty (ffi.as_string "os.name"))))
 
                                (implementation: .public default
                                  (Shell IO)
@@ -298,7 +298,7 @@
                                      [.let [builder (|> (list& the_command arguments)
                                                         ..jvm::arguments_array
                                                         java/lang/ProcessBuilder::new
-                                                        (java/lang/ProcessBuilder::directory (java/io/File::new working_directory)))]
+                                                        (java/lang/ProcessBuilder::directory (java/io/File::new (ffi.as_string working_directory))))]
                                       _ (|> builder
                                             java/lang/ProcessBuilder::environment
                                             (# try.functor each (..jvm::load_environment environment))
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux
index c9e821229..e2072944f 100644
--- a/stdlib/source/test/lux/data/binary.lux
+++ b/stdlib/source/test/lux/data/binary.lux
@@ -152,7 +152,7 @@
          sample (..random size)
          value random.nat
          .let [gen_idx (|> random.nat (# ! each (n.% size)))]
-         offset gen_idx
+         offset (# ! each (n.max 1) gen_idx)
          length (# ! each (n.% (n.- offset size)) random.nat)]
         ($_ _.and
             (_.for [/.equivalence]
diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux
index 7684d7b96..765ea00e3 100644
--- a/stdlib/source/test/lux/ffi.jvm.lux
+++ b/stdlib/source/test/lux/ffi.jvm.lux
@@ -75,13 +75,13 @@
 (def: for_conversions
   Test
   (do [! random.monad]
-    [long (# ! each (|>> (:as /.Long)) random.int)
-     integer (# ! each (|>> (:as /.Long) /.long_to_int) random.int)
-     byte (# ! each (|>> (:as /.Long) /.long_to_byte) random.int)
-     short (# ! each (|>> (:as /.Long) /.long_to_short) random.int)
+    [long (# ! each (|>> /.as_long) random.int)
+     integer (# ! each (|>> /.as_int) random.int)
+     byte (# ! each (|>> /.as_byte) random.int)
+     short (# ! each (|>> /.as_short) random.int)
      float (|> random.frac
                (random.only (|>> f.not_a_number? not))
-               (# ! each (|>> (:as /.Double) /.double_to_float)))]
+               (# ! each (|>> /.as_float)))]
     (`` ($_ _.and
             (~~ (template [ <=>  ]
                   [(_.cover [ ]
@@ -112,7 +112,7 @@
   (do [! random.monad]
     [size (|> random.nat (# ! each (|>> (n.% 100) (n.max 1))))
      idx (|> random.nat (# ! each (n.% size)))
-     value (# ! each (|>> (:as java/lang/Long)) random.int)]
+     value (# ! each (|>> /.as_long) random.int)]
     ($_ _.and
         (_.cover [/.array /.length]
                  (|> size
@@ -123,8 +123,8 @@
                  (|> (/.array java/lang/Long size)
                      (/.write! idx value)
                      (/.read! idx)
-                     (:as Int)
-                     (i.= (:as Int value))))
+                     /.of_long
+                     (i.= (/.of_long value))))
         (_.cover [/.cannot_convert_to_jvm_type]
                  (let [array (:as (Array Nothing)
                                   (array.empty 1))]
@@ -138,19 +138,19 @@
   (`` (do [! random.monad]
         [sample (# ! each (|>> (:as java/lang/Object))
                    (random.ascii 1))
-         boolean (# ! each (|>> (:as /.Boolean)) random.bit)
-         byte (# ! each (|>> (:as /.Long) /.long_to_byte) random.int)
-         short (# ! each (|>> (:as /.Long) /.long_to_short) random.int)
-         integer (# ! each (|>> (:as /.Long) /.long_to_int) random.int)
-         long (# ! each (|>> (:as /.Long)) random.int)
+         boolean (# ! each (|>> /.as_boolean) random.bit)
+         byte (# ! each (|>> /.as_byte) random.int)
+         short (# ! each (|>> /.as_short) random.int)
+         integer (# ! each (|>> /.as_int) random.int)
+         long (# ! each (|>> /.as_long) random.int)
          float (|> random.frac
                    (random.only (|>> f.not_a_number? not))
-                   (# ! each (|>> (:as /.Double) /.double_to_float)))
+                   (# ! each (|>> /.as_float)))
          double (|> random.frac
                     (random.only (|>> f.not_a_number? not))
-                    (# ! each (|>> (:as /.Double))))
-         character (# ! each (|>> (:as /.Long) /.long_to_int /.int_to_char) random.int)
-         string (# ! each (|>> (:as java/lang/String))
+                    (# ! each (|>> /.as_double)))
+         character (# ! each (|>> /.as_int /.int_to_char) random.int)
+         string (# ! each (|>> /.as_string)
                    (random.ascii 1))]
         ($_ _.and
             (_.cover [/.check]
@@ -161,7 +161,7 @@
             (_.cover [/.synchronized]
                      (/.synchronized sample #1))
             (_.cover [/.class_for]
-                     (text#= "java.lang.Class" (java/lang/Class::getName (/.class_for java/lang/Class))))
+                     (text#= "java.lang.Class" (/.of_string (java/lang/Class::getName (/.class_for java/lang/Class)))))
             (_.cover [/.null /.null?]
                      (and (/.null? (/.null))
                           (not (/.null? sample))))
@@ -273,8 +273,7 @@
                       (test/TestInterface0
                        [] (actual0 self [])
                        java/lang/Long
-                       (:as java/lang/Long
-                            expected)))
+                       (/.as_long (.int expected))))
            example/0!
            (same? (: Any expected)
                   (: Any (test/TestInterface0::actual0 object/0)))
@@ -285,19 +284,18 @@
                        [] (actual1 self [throw? java/lang/Boolean])
                        java/lang/Long
                        "throws" [java/lang/Throwable]
-                       (if (:as Bit throw?)
+                       (if (/.of_boolean throw?)
                          (panic! "YOLO")
-                         (:as java/lang/Long
-                              expected))))
+                         (/.as_long (.int expected)))))
            example/1!
-           (and (case (test/TestInterface1::actual1 false object/1)
+           (and (case (test/TestInterface1::actual1 (/.as_boolean false) object/1)
                   {try.#Success actual}
                   (same? (: Any expected)
                          (: Any actual))
                   
                   {try.#Failure error}
                   false)
-                (case (test/TestInterface1::actual1 true object/1)
+                (case (test/TestInterface1::actual1 (/.as_boolean true) object/1)
                   {try.#Success actual}
                   false
                   
@@ -312,15 +310,14 @@
                        input))
            example/2!
            (same? (: Any expected)
-                  (: Any (test/TestInterface2::actual2 (:as java/lang/Long expected) object/2)))
+                  (: Any (test/TestInterface2::actual2 (/.as_long (.int expected)) object/2)))
 
            object/3 (/.object [] [(test/TestInterface3 java/lang/Long)]
                       []
                       ((test/TestInterface3 a)
                        [] (actual3 self [])
                        a
-                       (:as java/lang/Long
-                            expected)))
+                       (/.as_long (.int expected))))
            example/3!
            (same? (: Any expected)
                   (: Any (test/TestInterface3::actual3 object/3)))
@@ -333,18 +330,16 @@
                              [] (actual4 self [actual_left long
                                                actual_right long])
                              long
-                             (:as java/lang/Long
-                                  (i.+ (:as Int actual_left)
-                                       (:as Int actual_right)))))]
+                             (/.as_long (i.+ (/.of_long actual_left)
+                                             (/.of_long actual_right)))))]
              (i.= expected
-                  (test/TestInterface4::actual4 left right object/4)))]]
+                  (/.of_long (test/TestInterface4::actual4 left right object/4))))]]
     (_.cover [/.interface: /.object]
              (and example/0!
                   example/1!
                   example/2!
                   example/3!
-                  example/4!
-                  ))))
+                  example/4!))))
 
 (/.class: "final" test/TestClass0 [test/TestInterface0]
   ... Fields
@@ -371,7 +366,7 @@
   (test/TestInterface1 [] (actual1 self [throw? java/lang/Boolean])
                        java/lang/Long
                        "throws" [java/lang/Throwable]
-                       (if (:as Bit throw?)
+                       (if (/.of_boolean throw?)
                          (panic! "YOLO")
                          ::value)))
 
@@ -470,9 +465,9 @@
    [] (actual4 self [actual_left long
                      actual_right long])
    long
-   (:as java/lang/Long
-        (i.+ (:as Int actual_left)
-             (:as Int actual_right)))))
+   (/.as_long
+    (i.+ (/.of_long actual_left)
+         (/.of_long actual_right)))))
 
 (/.import: test/TestClass8
   ["[1]::[0]"
@@ -503,21 +498,21 @@
      left random.int
      right random.int
 
-     .let [object/0 (test/TestClass0::new (.int expected))
+     .let [object/0 (test/TestClass0::new (/.as_long (.int expected)))
            example/0!
            (n.= expected
-                (:as Nat (test/TestInterface0::actual0 object/0)))
+                (.nat (/.of_long (test/TestInterface0::actual0 object/0))))
 
-           object/1 (test/TestClass1::new (.int expected))
+           object/1 (test/TestClass1::new (/.as_long (.int expected)))
            example/1!
-           (and (case (test/TestInterface1::actual1 false object/1)
+           (and (case (test/TestInterface1::actual1 (/.as_boolean false) object/1)
                   {try.#Success actual}
                   (n.= expected
-                       (:as Nat actual))
+                       (.nat (/.of_long actual)))
                   
                   {try.#Failure error}
                   false)
-                (case (test/TestInterface1::actual1 true object/1)
+                (case (test/TestInterface1::actual1 (/.as_boolean true) object/1)
                   {try.#Success actual}
                   false
                   
@@ -527,36 +522,36 @@
            object/2 (test/TestClass2::new)
            example/2!
            (n.= expected
-                (: Nat (test/TestInterface2::actual2 (:as java/lang/Long expected) object/2)))
+                (.nat (/.of_long (test/TestInterface2::actual2 (/.as_long (.int expected)) object/2))))
 
            object/3 (: (test/TestClass3 java/lang/Long)
-                       (test/TestClass3::new (:as java/lang/Long expected)))
+                       (test/TestClass3::new (/.as_long (.int expected))))
            example/3!
            (n.= expected
-                (: Nat (test/TestInterface3::actual3 object/3)))
+                (.nat (/.of_long (test/TestInterface3::actual3 object/3))))
 
            object/4 (test/TestClass4::new)
            example/4!
            (n.= expected
-                (.nat (test/TestClass4::actual4 (.int expected) object/4)))
+                (.nat (/.of_long (test/TestClass4::actual4 (/.as_long (.int expected)) object/4))))
 
            example/5!
            (n.= expected
-                (.nat (test/TestClass5::actual5 (.int expected))))
+                (.nat (/.of_long (test/TestClass5::actual5 (/.as_long (.int expected))))))
 
            object/7 (test/TestClass7::new)
            example/7!
            (n.= expected
-                (.nat (test/TestClass6::actual6 (.int expected) object/7)))
+                (.nat (/.of_long (test/TestClass6::actual6 (/.as_long (.int expected)) object/7))))
 
            example/8!
            (let [expected (i.+ left right)
                  object/8 (test/TestClass8::new)]
              (i.= expected
-                  (test/TestInterface4::actual4 left right object/8)))]
+                  (/.of_long (test/TestInterface4::actual4 (/.as_long left) (/.as_long right) object/8))))]
 
      .let [random_long (: (Random java/lang/Long)
-                          (# ! each (|>> (:as java/lang/Long))
+                          (# ! each (|>> /.as_long)
                              random.int))]
      dummy/0 random_long
      dummy/1 random_long
@@ -569,7 +564,7 @@
            example/9!
            (|> object/9
                test/TestClass9::get_actual9
-               (:as java/lang/Long)
+               /.as_long
                (same? dummy/2))]]
     ($_ _.and
         (_.cover [/.class: /.import:]
diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux
index bc77f1f32..b74a80786 100644
--- a/stdlib/source/test/lux/math/number/frac.lux
+++ b/stdlib/source/test/lux/math/number/frac.lux
@@ -190,7 +190,7 @@
           (with_expansions [ ($_ _.and
                                       (let [test (: (-> Frac Bit)
                                                     (function (_ value)
-                                                      (n.= (.nat (java/lang/Double::doubleToRawLongBits value))
+                                                      (n.= (.nat (ffi.of_long (java/lang/Double::doubleToRawLongBits (ffi.as_double value))))
                                                            (/.bits value))))]
                                         (do random.monad
                                           [sample random.frac]
@@ -204,7 +204,7 @@
                                       (do random.monad
                                         [sample random.i64]
                                         (_.cover [/.of_bits]
-                                                 (let [expected (java/lang/Double::longBitsToDouble sample)
+                                                 (let [expected (ffi.of_double (java/lang/Double::longBitsToDouble (ffi.as_long sample)))
                                                        actual (/.of_bits sample)]
                                                    (or (/.= expected actual)
                                                        (and (/.not_a_number? expected)
diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux
index 6a85e0354..a10c0e0e1 100644
--- a/stdlib/source/test/lux/target/jvm.lux
+++ b/stdlib/source/test/lux/target/jvm.lux
@@ -96,7 +96,7 @@
 
 (def: (get_method name class)
   (-> Text (java/lang/Class java/lang/Object) java/lang/reflect/Method)
-  (java/lang/Class::getDeclaredMethod name
+  (java/lang/Class::getDeclaredMethod (ffi.as_string name)
                                       (ffi.array (java/lang/Class java/lang/Object) 0)
                                       class))
 
diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux
index ed089e095..265f0a0c6 100644
--- a/stdlib/source/test/lux/tool.lux
+++ b/stdlib/source/test/lux/tool.lux
@@ -14,12 +14,7 @@
      ["[1][0]" analysis]
      ["[1][0]" phase "_"
       ["[1]/[0]" extension]
-      ["[1]/[0]" analysis "_"
-       ["[1]/[0]" simple]
-       ["[1]/[0]" complex]
-       ["[1]/[0]" reference]
-       ["[1]/[0]" function]
-       ["[1]/[0]" case]]
+      ["[1]/[0]" analysis]
       ... ["[1]/[0]" synthesis]
       ]]]
    ["[1][0]" meta "_"
@@ -46,11 +41,7 @@
       /meta/context.test
       /meta/cache.test
       /phase/extension.test
-      /phase/analysis/simple.test
-      /phase/analysis/complex.test
-      /phase/analysis/reference.test
-      /phase/analysis/function.test
-      /phase/analysis/case.test
+      /phase/analysis.test
       ... /syntax.test
       ... /synthesis.test
       ))
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux
index ab856f9a1..d8ae7a32e 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux
@@ -218,18 +218,29 @@
                           (n.= expected_maximum (/.maximum [{.#Some expected_maximum} cases]))))
             ))))
 
+(def: random_value_pattern
+  (Random [/.Coverage Pattern])
+  (random.only (function (_ [coverage pattern])
+                 (case coverage
+                   (^or {/.#Alt _} {/.#Seq _})
+                   false
+
+                   _
+                   true))
+               ..random_partial_pattern))
+
 (def: test|composite
   Test
   (<| (let [(^open "/#[0]") /.equivalence])
       (do [! random.monad]
-        [[expected/0 pattern/0] ..random_partial_pattern
+        [[expected/0 pattern/0] ..random_value_pattern
          [expected/1 pattern/1] (random.only (|>> product.left (/#= expected/0) not)
-                                             ..random_partial_pattern)
+                                             ..random_value_pattern)
          [expected/2 pattern/2] (random.only ($_ predicate.and
                                                  (|>> product.left (/#= expected/0) not)
                                                  (|>> product.left (/#= expected/1) not)
                                                  (|>> product.left (case> {/.#Variant _} false _ true)))
-                                             ..random_partial_pattern)
+                                             ..random_value_pattern)
 
          bit random.bit
          nat random.nat
@@ -414,8 +425,7 @@
                                       [{/.#Text (set.of_list text.hash (list text))}]
                                       [{/.#Variant {.#None} (dictionary.of_list n.hash (list [tag/0 expected/0]))}]
                                       [{/.#Variant {.#Some arity} (dictionary.of_list n.hash (list [tag/0 expected/0]))}]
-                                      [{/.#Seq expected/0 expected/1}]
-                                      ))
+                                      [{/.#Seq expected/0 expected/1}]))
                                 (redundant? (/.composite {/.#Seq expected/0 expected/1} expected/0))))))
             (_.cover [/.variant_mismatch]
                      (let [mismatch? (..failure? /.variant_mismatch)]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux
index d710f4fad..e2ee0a546 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux
@@ -1,24 +1,966 @@
 (.using
+ [library
   [lux "*"
-   ["_" test {"+" Test}]]
-  ["[0]" / "_"
-   ["[1][0]" primitive]
-   ["[1][0]" structure]
-   ["[1][0]" reference]
-   ["[1][0]" case]
-   ["[1][0]" function]
-   ["/[1]" // "_"
-    [extension
-     [analysis
-      ["[1][0]" lux]]]]])
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]]
+   [control
+    ["[0]" try]
+    ["[0]" exception]]
+   [data
+    ["[0]" product]
+    ["[0]" text]
+    [collection
+     ["[0]" list]]]
+   [macro
+    ["[0]" code]]
+   [math
+    ["[0]" random]
+    [number
+     ["n" nat]]]
+   ["[0]" type ("[1]#[0]" equivalence)
+    ["[0]" check]]]]
+ [\\library
+  ["[0]" /
+   [//
+    ["[0]" extension
+     ["[1]/[0]" analysis "_"
+      ["[1]" lux]]]
+    [//
+     ["/[1]" analysis {"+" Analysis Operation}
+      [evaluation {"+" Eval}]
+      ["[1][0]" macro]
+      ["[1][0]" scope]
+      ["[1][0]" module]
+      ["[1][0]" pattern]
+      ["[1][0]" type
+       ["$[1]" \\test]]]
+     [///
+      ["[0]" phase ("[1]#[0]" monad)]
+      [meta
+       ["[0]" archive]]]]]]]
+ ["[0]" / "_"
+  ["[1][0]" simple]
+  ["[1][0]" complex]
+  ["[1][0]" reference]
+  ["[1][0]" function]
+  ["[1][0]" case]])
+
+(def: (eval archive type term)
+  Eval
+  (phase#in []))
+
+(def: (expander macro inputs state)
+  //macro.Expander
+  {try.#Success ((.macro macro) inputs state)})
+
+(def: (can_analyse_unit! lux module/0)
+  (-> Lux Text Bit)
+  (let [state [extension.#bundle (extension/analysis.bundle ..eval)
+               extension.#state lux]]
+    (|> (do phase.monad
+          [[:it: it] (|> (' [])
+                         (/.phase ..expander archive.empty)
+                         //type.inferring)]
+          (in (and (type#= .Any :it:)
+                   (case it
+                     (^ (//.unit))
+                     true
+
+                     _
+                     false))))
+        //scope.with
+        (//module.with 0 module/0)
+        (phase#each (|>> product.right product.right))
+        (phase.result state)
+        (try.else false))))
+
+(def: (can_analyse_simple_literal_or_singleton_tuple! lux module/0 [bit/0 nat/0 int/0 rev/0 frac/0 text/0])
+  (-> Lux Text [.Bit .Nat .Int .Rev .Frac .Text] Bit)
+  (let [state [extension.#bundle (extension/analysis.bundle ..eval)
+               extension.#state lux]]
+    (`` (and (~~ (template [   ]
+                   [(|> (do phase.monad
+                          [[:it: it] (|> 
+                                         
+                                         (/.phase ..expander archive.empty)
+                                         //type.inferring)]
+                          (in (and (type#=  :it:)
+                                   (case it
+                                     (^ ( it))
+                                     (same?  it)
+
+                                     _
+                                     false))))
+                        //scope.with
+                        (//module.with 0 module/0)
+                        (phase#each (|>> product.right product.right))
+                        (phase.result state)
+                        (try.else false))]
+                   
+                   [bit/0 code.bit .Bit //.bit]
+                   [nat/0 code.nat .Nat //.nat]
+                   [int/0 code.int .Int //.int]
+                   [rev/0 code.rev .Rev //.rev]
+                   [frac/0 code.frac .Frac //.frac]
+                   [text/0 code.text .Text //.text]
+
+                   ... Singleton tuple
+                   [bit/0 (<| code.tuple list code.bit) .Bit //.bit]
+                   [nat/0 (<| code.tuple list code.nat) .Nat //.nat]
+                   [int/0 (<| code.tuple list code.int) .Int //.int]
+                   [rev/0 (<| code.tuple list code.rev) .Rev //.rev]
+                   [frac/0 (<| code.tuple list code.frac) .Frac //.frac]
+                   [text/0 (<| code.tuple list code.text) .Text //.text]
+                   ))
+             ))))
+
+(def: (can_analyse_sum! lux module/0 [@any @bit @nat @int @rev @frac @text] [bit/0 nat/0 int/0 rev/0 frac/0 text/0] [@left @right])
+  (-> Lux Text [.Text .Text .Text .Text .Text .Text .Text] [.Bit .Nat .Int .Rev .Frac .Text] [.Text .Text] Bit)
+  (let [state [extension.#bundle (extension/analysis.bundle ..eval)
+               extension.#state lux]
+        :record: (And .Any .Bit .Nat .Int .Rev .Frac .Text)
+        :variant: (Or .Any .Bit .Nat .Int .Rev .Frac .Text)
+
+        can_analyse_unary!
+        (`` (and (|> (do phase.monad
+                       [it (|> (code.variant (list (code.nat 0) (code.bit #0) (` [])))
+                               (/.phase ..expander archive.empty)
+                               (//type.expecting :variant:))]
+                       (in (case it
+                             (^ (//.variant [0 #0 (//.unit)]))
+                             true
+
+                             _
+                             false)))
+                     //scope.with
+                     (//module.with 0 module/0)
+                     (phase#each (|>> product.right product.right))
+                     (phase.result state)
+                     (try.else false))
+                 (~~ (template [     ]
+                       [(|> (do phase.monad
+                              [it (|> (code.variant (list (code.nat ) (code.bit ) ( )))
+                                      (/.phase ..expander archive.empty)
+                                      (//type.expecting :variant:))]
+                              (in (case it
+                                    (^ (//.variant [  ( actual)]))
+                                    (same?  actual)
+
+                                    _
+                                    false)))
+                            //scope.with
+                            (//module.with 0 module/0)
+                            (phase#each (|>> product.right product.right))
+                            (phase.result state)
+                            (try.else false))]
+
+                       [1 #0 bit/0 @bit code.bit //.bit]
+                       [2 #0 nat/0 @nat code.nat //.nat]
+                       [3 #0 int/0 @int code.int //.int]
+                       [4 #0 rev/0 @rev code.rev //.rev]
+                       [5 #0 frac/0 @frac code.frac //.frac]
+                       [5 #1 text/0 @text code.text //.text]
+                       ))))
+
+        can_analyse_nullary!
+        (|> (do phase.monad
+              [.let [:either: (Or .Any :record:)]
+               it (|> (code.variant (list (code.nat 0) (code.bit #0)))
+                      (/.phase ..expander archive.empty)
+                      (//type.expecting :either:))]
+              (in (case it
+                    (^ (//.variant [0 #0 (//.unit)]))
+                    true
+
+                    _
+                    false)))
+            //scope.with
+            (//module.with 0 module/0)
+            (phase#each (|>> product.right product.right))
+            (phase.result state)
+            (try.else false))
+
+        can_analyse_multiary!
+        (|> (do phase.monad
+              [.let [:either: (Or .Any :record:)]
+               it (|> (code.variant (list (code.nat 0)
+                                          (code.bit #1)
+                                          (` [])
+                                          (code.bit bit/0)
+                                          (code.nat nat/0)
+                                          (code.int int/0)
+                                          (code.rev rev/0)
+                                          (code.frac frac/0)
+                                          (code.text text/0)))
+                      (/.phase ..expander archive.empty)
+                      (//type.expecting :either:))]
+              (in (case it
+                    (^ (//.variant [0 #1 (//.tuple (list (//.unit)
+                                                         (//.bit bit/?)
+                                                         (//.nat nat/?)
+                                                         (//.int int/?)
+                                                         (//.rev rev/?)
+                                                         (//.frac frac/?)
+                                                         (//.text text/?)))]))
+                    (and (same? bit/0 bit/?)
+                         (same? nat/0 nat/?)
+                         (same? int/0 int/?)
+                         (same? rev/0 rev/?)
+                         (same? frac/0 frac/?)
+                         (same? text/0 text/?))
+
+                    _
+                    false)))
+            //scope.with
+            (//module.with 0 module/0)
+            (phase#each (|>> product.right product.right))
+            (phase.result state)
+            (try.else false))]
+    (and can_analyse_unary!
+         can_analyse_nullary!
+         can_analyse_multiary!
+         )))
+
+(def: (can_analyse_variant! lux module/0 [@any @bit @nat @int @rev @frac @text] [bit/0 nat/0 int/0 rev/0 frac/0 text/0] [@left @right])
+  (-> Lux Text [.Text .Text .Text .Text .Text .Text .Text] [.Bit .Nat .Int .Rev .Frac .Text] [.Text .Text] Bit)
+  (let [state [extension.#bundle (extension/analysis.bundle ..eval)
+               extension.#state lux]
+        :record: {.#Named [module/0 @text]
+                          (type [.Any .Bit .Nat .Int .Rev .Frac .Text])}
+        slots/* (list @any @bit @nat @int @rev @frac @text)
+        :variant: {.#Named [module/0 @text]
+                           (type (Or .Any .Bit .Nat .Int .Rev .Frac .Text))}
+        tags/* (list @any @bit @nat @int @rev @frac @text)
+
+        can_analyse_unary!
+        (`` (and (|> (do phase.monad
+                       [_ (//module.declare_labels false tags/* false :variant:)
+                        [:it: it] (|> (code.variant (list (code.local_symbol @any) (` [])))
+                                      (/.phase ..expander archive.empty)
+                                      //type.inferring)]
+                       (in (and (type#= :variant:
+                                        :it:)
+                                (case it
+                                  (^ (//.variant [0 #0 (//.unit)]))
+                                  true
+
+                                  _
+                                  false))))
+                     //scope.with
+                     (//module.with 0 module/0)
+                     (phase#each (|>> product.right product.right))
+                     (phase.result state)
+                     (try.else false))
+                 (~~ (template [     ]
+                       [(|> (do phase.monad
+                              [_ (//module.declare_labels false tags/* false :variant:)
+                               [:it: it] (|> (code.variant (list (code.local_symbol ) ( )))
+                                             (/.phase ..expander archive.empty)
+                                             //type.inferring)]
+                              (in (and (type#= :variant:
+                                               :it:)
+                                       (case it
+                                         (^ (//.variant [  ( actual)]))
+                                         (same?  actual)
+
+                                         _
+                                         false))))
+                            //scope.with
+                            (//module.with 0 module/0)
+                            (phase#each (|>> product.right product.right))
+                            (phase.result state)
+                            (try.else false))]
+
+                       [1 #0 bit/0 @bit code.bit //.bit]
+                       [2 #0 nat/0 @nat code.nat //.nat]
+                       [3 #0 int/0 @int code.int //.int]
+                       [4 #0 rev/0 @rev code.rev //.rev]
+                       [5 #0 frac/0 @frac code.frac //.frac]
+                       [5 #1 text/0 @text code.text //.text]
+                       ))))
+
+        can_analyse_nullary!
+        (|> (do phase.monad
+              [_ (//module.declare_labels true slots/* false :record:)
+               .let [:either: {.#Named [module/0 module/0]
+                                       (type (Or .Any :record:))}]
+               _ (//module.declare_labels false (list @left @right) false :either:)
+               [:it: it] (|> (code.variant (list (code.local_symbol @left)))
+                             (/.phase ..expander archive.empty)
+                             //type.inferring)]
+              (in (and (type#= :either:
+                               :it:)
+                       (case it
+                         (^ (//.variant [0 #0 (//.unit)]))
+                         true
+
+                         _
+                         false))))
+            //scope.with
+            (//module.with 0 module/0)
+            (phase#each (|>> product.right product.right))
+            (phase.result state)
+            (try.else false))
+
+        can_analyse_multiary!
+        (|> (do phase.monad
+              [_ (//module.declare_labels true slots/* false :record:)
+               .let [:either: {.#Named [module/0 module/0]
+                                       (type (Or .Any :record:))}]
+               _ (//module.declare_labels false (list @left @right) false :either:)
+               [:it: it] (|> (code.variant (list (code.local_symbol @right)
+                                                 (` [])
+                                                 (code.bit bit/0)
+                                                 (code.nat nat/0)
+                                                 (code.int int/0)
+                                                 (code.rev rev/0)
+                                                 (code.frac frac/0)
+                                                 (code.text text/0)))
+                             (/.phase ..expander archive.empty)
+                             //type.inferring)]
+              (in (and (type#= :either:
+                               :it:)
+                       (case it
+                         (^ (//.variant [0 #1 (//.tuple (list (//.unit)
+                                                              (//.bit bit/?)
+                                                              (//.nat nat/?)
+                                                              (//.int int/?)
+                                                              (//.rev rev/?)
+                                                              (//.frac frac/?)
+                                                              (//.text text/?)))]))
+                         (and (same? bit/0 bit/?)
+                              (same? nat/0 nat/?)
+                              (same? int/0 int/?)
+                              (same? rev/0 rev/?)
+                              (same? frac/0 frac/?)
+                              (same? text/0 text/?))
+
+                         _
+                         false))))
+            //scope.with
+            (//module.with 0 module/0)
+            (phase#each (|>> product.right product.right))
+            (phase.result state)
+            (try.else false))]
+    (and can_analyse_unary!
+         can_analyse_nullary!
+         can_analyse_multiary!)))
+
+(def: (can_analyse_tuple! lux module/0 [bit/0 nat/0 int/0 rev/0 frac/0 text/0])
+  (-> Lux Text [.Bit .Nat .Int .Rev .Frac .Text] Bit)
+  (let [state [extension.#bundle (extension/analysis.bundle ..eval)
+               extension.#state lux]]
+    (|> (do phase.monad
+          [[:it: it] (|> (code.tuple (list (` [])
+                                           (code.bit bit/0)
+                                           (code.nat nat/0)
+                                           (code.int int/0)
+                                           (code.rev rev/0)
+                                           (code.frac frac/0)
+                                           (code.text text/0)))
+                         (/.phase ..expander archive.empty)
+                         //type.inferring)]
+          (in (and (type#= (type [.Any .Bit .Nat .Int .Rev .Frac .Text])
+                           :it:)
+                   (case it
+                     (^ (//.tuple (list (//.unit)
+                                        (//.bit bit/?)
+                                        (//.nat nat/?)
+                                        (//.int int/?)
+                                        (//.rev rev/?)
+                                        (//.frac frac/?)
+                                        (//.text text/?))))
+                     (and (same? bit/0 bit/?)
+                          (same? nat/0 nat/?)
+                          (same? int/0 int/?)
+                          (same? rev/0 rev/?)
+                          (same? frac/0 frac/?)
+                          (same? text/0 text/?))
+
+                     _
+                     false))))
+        //scope.with
+        (//module.with 0 module/0)
+        (phase#each (|>> product.right product.right))
+        (phase.result state)
+        (try.else false))))
+
+(def: (can_analyse_record! lux module/0 [@any @bit @nat @int @rev @frac @text] [bit/0 nat/0 int/0 rev/0 frac/0 text/0])
+  (-> Lux Text [.Text .Text .Text .Text .Text .Text .Text] [.Bit .Nat .Int .Rev .Frac .Text] Bit)
+  (let [state [extension.#bundle (extension/analysis.bundle ..eval)
+               extension.#state lux]
+        :record: {.#Named [module/0 @text]
+                          (type [.Any .Bit .Nat .Int .Rev .Frac .Text])}
+        slots/* (list @any @bit @nat @int @rev @frac @text)]
+    (|> (do phase.monad
+          [_ (//module.declare_labels true slots/* false :record:)
+           [:it: it] (|> (code.tuple (list (code.local_symbol @text) (code.text text/0)
+                                           (code.local_symbol @bit) (code.bit bit/0)
+                                           (code.local_symbol @rev) (code.rev rev/0)
+                                           (code.local_symbol @int) (code.int int/0)
+                                           (code.local_symbol @nat) (code.nat nat/0)
+                                           (code.local_symbol @frac) (code.frac frac/0)
+                                           (code.local_symbol @any) (` [])))
+                         (/.phase ..expander archive.empty)
+                         //type.inferring)]
+          (in (and (type#= :record:
+                           :it:)
+                   (case it
+                     (^ (//.tuple (list (//.unit)
+                                        (//.bit bit/?)
+                                        (//.nat nat/?)
+                                        (//.int int/?)
+                                        (//.rev rev/?)
+                                        (//.frac frac/?)
+                                        (//.text text/?))))
+                     (and (same? bit/0 bit/?)
+                          (same? nat/0 nat/?)
+                          (same? int/0 int/?)
+                          (same? rev/0 rev/?)
+                          (same? frac/0 frac/?)
+                          (same? text/0 text/?))
+
+                     _
+                     false))))
+        //scope.with
+        (//module.with 0 module/0)
+        (phase#each (|>> product.right product.right))
+        (phase.result state)
+        (try.else false))))
+
+(def: (can_analyse_function! lux module/0 nat/0 [$abstraction/0 $parameter/0 $abstraction/1 $parameter/1])
+  (-> Lux Text Nat [Code Code Code Code] Bit)
+  (let [state [extension.#bundle (extension/analysis.bundle ..eval)
+               extension.#state lux]
+
+        can_make_abstraction!
+        (|> (do phase.monad
+              [[:it: it] (|> (` ([(~ $abstraction/0) (~ $parameter/0)] (~ (code.nat nat/0))))
+                             (/.phase ..expander archive.empty)
+                             //type.inferring)]
+              (in (and (type#= (All (_ a) (-> a .Nat))
+                               :it:)
+                       (case it
+                         (^ {//.#Function (list) (//.nat nat/?)})
+                         (same? nat/0 nat/?)
+
+                         _
+                         false))))
+            //scope.with
+            (//module.with 0 module/0)
+            (phase#each (|>> product.right product.right))
+            (phase.result state)
+            (try.else false))
+
+        can_nest_abstraction!
+        (|> (do phase.monad
+              [[:it: it] (|> (` ([(~ $abstraction/0) (~ $parameter/0)]
+                                 ([(~ $abstraction/1) (~ $parameter/1)]
+                                  (~ (code.nat nat/0)))))
+                             (/.phase ..expander archive.empty)
+                             //type.inferring)]
+              (in (and (type#= (All (_ a) (-> a (All (_ b) (-> b .Nat))))
+                               :it:)
+                       (case it
+                         (^ {//.#Function (list) {//.#Function (list) (//.nat nat/?)}})
+                         (same? nat/0 nat/?)
+
+                         _
+                         false))))
+            //scope.with
+            (//module.with 0 module/0)
+            (phase#each (|>> product.right product.right))
+            (phase.result state)
+            (try.else false))
+
+        can_refer_to_parameter!
+        (|> (do phase.monad
+              [[:it: it] (|> (` ([(~ $abstraction/0) (~ $parameter/0)]
+                                 ([(~ $abstraction/1) (~ $parameter/1)]
+                                  (~ $parameter/1))))
+                             (/.phase ..expander archive.empty)
+                             //type.inferring)]
+              (in (and (type#= (All (_ a) (-> a (All (_ b) (-> b b))))
+                               :it:)
+                       (case it
+                         (^ {//.#Function (list) {//.#Function (list) (//.local 1)}})
+                         true
+
+                         _
+                         false))))
+            //scope.with
+            (//module.with 0 module/0)
+            (phase#each (|>> product.right product.right))
+            (phase.result state)
+            (try.else false))
+
+        can_refer_to_closure!
+        (|> (do phase.monad
+              [[:it: it] (|> (` ([(~ $abstraction/0) (~ $parameter/0)]
+                                 ([(~ $abstraction/1) (~ $parameter/1)]
+                                  (~ $parameter/0))))
+                             (/.phase ..expander archive.empty)
+                             //type.inferring)]
+              (in (and (case it
+                         (^ {//.#Function (list) {//.#Function (list (//.local 1)) (//.foreign 0)}})
+                         true
+
+                         _
+                         false)
+                       ... TODO: Un-comment
+                       ... (type#= (All (_ a) (-> a (All (_ b) (-> b a))))
+                       ...         :it:)
+                       )))
+            //scope.with
+            (//module.with 0 module/0)
+            (phase#each (|>> product.right product.right))
+            (phase.result state)
+            (try.else false))]
+    (and can_make_abstraction!
+         can_nest_abstraction!
+         can_refer_to_parameter!
+         can_refer_to_closure!
+         ... TODO: Un-comment
+         ... (|> (do phase.monad
+         ...       [[:it: it] (|> (` ([(~ $abstraction/0) (~ $parameter/0)]
+         ...                          ([(~ $abstraction/1) (~ $parameter/1)]
+         ...                           (~ $abstraction/1))))
+         ...                      (/.phase ..expander archive.empty)
+         ...                      //type.inferring)]
+         ...       (in (case it
+         ...             (^ {//.#Function (list) {//.#Function (list) (//.local 0)}})
+         ...             true
+
+         ...             _
+         ...             false)))
+         ...     //scope.with
+         ...     (//module.with 0 module/0)
+         ...     (phase#each (|>> product.right product.right))
+         ...     (phase.result state)
+         ...     (try.else false))
+         ... TODO: Un-comment
+         ... (|> (do phase.monad
+         ...       [[:it: it] (|> (` ([(~ $abstraction/0) (~ $parameter/0)]
+         ...                          ([(~ $abstraction/1) (~ $parameter/1)]
+         ...                           (~ $abstraction/0))))
+         ...                      (/.phase ..expander archive.empty)
+         ...                      //type.inferring)]
+         ...       (in (case it
+         ...             (^ {//.#Function (list) {//.#Function (list (//.local 0)) (//.foreign 0)}})
+         ...             true
+
+         ...             _
+         ...             false)))
+         ...     //scope.with
+         ...     (//module.with 0 module/0)
+         ...     (phase#each (|>> product.right product.right))
+         ...     (phase.result state)
+         ...     (try.else false))
+         )))
+
+(def: (can_analyse_apply! lux module/0 bit/0 nat/0 [$abstraction/0 $parameter/0 $abstraction/1 $parameter/1])
+  (-> Lux Text Bit Nat [Code Code Code Code] Bit)
+  (let [state [extension.#bundle (extension/analysis.bundle ..eval)
+               extension.#state lux]
+
+        constant!
+        (|> (do phase.monad
+              [[:it: it] (|> (` (([(~ $abstraction/0) (~ $parameter/0)] (~ (code.bit bit/0)))
+                                 (~ (code.nat nat/0))))
+                             (/.phase ..expander archive.empty)
+                             //type.inferring)]
+              (in (and (type#= .Bit :it:)
+                       (case it
+                         (^ {//.#Apply (//.nat nat/?)
+                                       {//.#Function (list) (//.bit bit/?)}})
+                         (and (same? bit/0 bit/?)
+                              (same? nat/0 nat/?))
+
+                         _
+                         false))))
+            //scope.with
+            (//module.with 0 module/0)
+            (phase#each (|>> product.right product.right))
+            (phase.result state)
+            (try.else false))
+
+        variable!
+        (|> (do phase.monad
+              [[:it: it] (|> (` (([(~ $abstraction/0) (~ $parameter/0)] (~ $parameter/0))
+                                 (~ (code.nat nat/0))))
+                             (/.phase ..expander archive.empty)
+                             //type.inferring)]
+              (in (and (type#= .Nat :it:)
+                       (case it
+                         (^ {//.#Apply (//.nat nat/?)
+                                       {//.#Function (list) (//.local 1)}})
+                         (same? nat/0 nat/?)
+
+                         _
+                         false))))
+            //scope.with
+            (//module.with 0 module/0)
+            (phase#each (|>> product.right product.right))
+            (phase.result state)
+            (try.else false))
+
+        partial!
+        (|> (do phase.monad
+              [[:it: it] (|> (` (([(~ $abstraction/0) (~ $parameter/0)]
+                                  ([(~ $abstraction/1) (~ $parameter/1)]
+                                   (~ (code.bit bit/0))))
+                                 (~ (code.nat nat/0))))
+                             (/.phase ..expander archive.empty)
+                             //type.inferring)]
+              (in (and (check.subsumes? (All (_ a) (-> a Bit)) :it:)
+                       (case it
+                         (^ {//.#Apply (//.nat nat/?)
+                                       {//.#Function (list)
+                                                     {//.#Function (list) (//.bit bit/?)}}})
+                         (and (same? bit/0 bit/?)
+                              (same? nat/0 nat/?))
+
+                         _
+                         false))))
+            //scope.with
+            (//module.with 0 module/0)
+            (phase#each (|>> product.right product.right))
+            (phase.result state)
+            (try.else false))]
+    (and constant!
+         variable!
+         partial!)))
+
+(def: (can_analyse_extension! lux module/0 text/0)
+  (-> Lux Text Text Bit)
+  (let [state [extension.#bundle (extension/analysis.bundle ..eval)
+               extension.#state lux]]
+    (|> (do phase.monad
+          [[:it: it] (|> (` ("lux text concat" (~ (code.text text/0)) (~ (code.text text/0))))
+                         (/.phase ..expander archive.empty)
+                         //type.inferring)]
+          (in (and (type#= .Text :it:)
+                   (case it
+                     (^ {//.#Extension "lux text concat" (list (//.text left) (//.text right))})
+                     (and (same? text/0 left)
+                          (same? text/0 right))
+
+                     _
+                     false))))
+        //scope.with
+        (//module.with 0 module/0)
+        (phase#each (|>> product.right product.right))
+        (phase.result state)
+        (try.else false))))
+
+(def: (can_analyse_pattern_matching! lux module/0 [@any @bit @nat @int @rev @frac @text] [bit/0 nat/0 int/0 rev/0 frac/0 text/0] $parameter/0)
+  (-> Lux Text [.Text .Text .Text .Text .Text .Text .Text] [.Bit .Nat .Int .Rev .Frac .Text] Code Bit)
+  (let [state [extension.#bundle (extension/analysis.bundle ..eval)
+               extension.#state lux]
+        
+        :variant: {.#Named [module/0 module/0]
+                           (type (Or .Any .Bit .Nat .Int .Rev .Frac .Text))}
+        tags/* (list @any @bit @nat @int @rev @frac @text)
+
+        :record: {.#Named [module/0 module/0]
+                          (type (And .Any .Bit .Nat .Int .Rev .Frac .Text))}
+        slots/* (list @any @bit @nat @int @rev @frac @text)
+
+        simple!
+        (`` (and (~~ (template [   ]
+                       [(|> (do phase.monad
+                              [[:it: it] (|> (` ({(~ $parameter/0) (~ (code.frac frac/0))} (~ ( ))))
+                                             (/.phase ..expander archive.empty)
+                                             //type.inferring)]
+                              (in (and (type#= .Frac :it:)
+                                       (case it
+                                         (^ {//.#Case ( input/?)
+                                                      [[//.#when (//pattern.bind 0)
+                                                        //.#then (//.frac frac/?)]
+                                                       (list)]})
+                                         (and (same?  input/?)
+                                              (same? frac/0 frac/?))
+
+                                         _
+                                         false))))
+                            //scope.with
+                            (//module.with 0 module/0)
+                            (phase#each (|>> product.right product.right))
+                            (phase.result state)
+                            (try.else false))
+                        (|> (do phase.monad
+                              [[:it: it] (|> (` ({(~ ( ))
+                                                  (~ (code.frac frac/0))
+
+                                                  (~ $parameter/0)
+                                                  (~ (code.frac frac/0))}
+                                                 (~ ( ))))
+                                             (/.phase ..expander archive.empty)
+                                             //type.inferring)]
+                              (in (and (type#= .Frac :it:)
+                                       (case it
+                                         (^ {//.#Case ( input/?)
+                                                      [[//.#when ( pattern/?)
+                                                        //.#then (//.frac frac/?)]
+                                                       (list [//.#when (//pattern.bind 0)
+                                                              //.#then (//.frac frac/?)])]})
+                                         (and (same?  input/?)
+                                              (same?  pattern/?)
+                                              (same? frac/0 frac/?))
+
+                                         _
+                                         false))))
+                            //scope.with
+                            (//module.with 0 module/0)
+                            (phase#each (|>> product.right product.right))
+                            (phase.result state)
+                            (try.else false))]
+
+                       [bit/0 code.bit //.bit //pattern.bit]
+                       [nat/0 code.nat //.nat //pattern.nat]
+                       [int/0 code.int //.int //pattern.int]
+                       [rev/0 code.rev //.rev //pattern.rev]
+                       [frac/0 code.frac //.frac //pattern.frac]
+                       [text/0 code.text //.text //pattern.text]
+                       ))))
+
+        bit!
+        (|> (do phase.monad
+              [[:it: it] (|> (` ({#0
+                                  (~ (code.frac frac/0))
+
+                                  #1
+                                  (~ (code.frac frac/0))}
+                                 (~ (code.bit bit/0))))
+                             (/.phase ..expander archive.empty)
+                             //type.inferring)]
+              (in (and (type#= .Frac :it:)
+                       (case it
+                         (^ {//.#Case (//.bit bit/?)
+                                      [[//.#when (//pattern.bit #0)
+                                        //.#then (//.frac false/?)]
+                                       (list [//.#when (//pattern.bit #1)
+                                              //.#then (//.frac true/?)])]})
+                         (and (same? bit/0 bit/?)
+                              (same? frac/0 false/?)
+                              (same? frac/0 true/?))
+
+                         _
+                         false))))
+            //scope.with
+            (//module.with 0 module/0)
+            (phase#each (|>> product.right product.right))
+            (phase.result state)
+            (try.else false))
+
+        variant!
+        (`` (and (~~ (template [      ]
+                       [(|> (do phase.monad
+                              [_ (//module.declare_labels false tags/* false :variant:)
+                               [:it: it] (|> (` ({{(~ (code.local_symbol )) (~ ( ))}
+                                                  (~ (code.frac frac/0))
+
+                                                  (~ $parameter/0)
+                                                  (~ (code.frac frac/0))}
+                                                 {(~ (code.local_symbol )) (~ ( ))}))
+                                             (/.phase ..expander archive.empty)
+                                             //type.inferring)]
+                              (in (and (type#= .Frac :it:)
+                                       (case it
+                                         (^ {//.#Case (//.variant [  ( analysis/?)])
+                                                      [[//.#when (//pattern.variant [  ( pattern/?)])
+                                                        //.#then (//.frac match/?)]
+                                                       (list [//.#when (//pattern.bind 0)
+                                                              //.#then (//.frac mismatch/?)])]})
+                                         (and (same?  analysis/?)
+                                              (same?  pattern/?)
+                                              (same? frac/0 match/?)
+                                              (same? frac/0 mismatch/?))
+
+                                         _
+                                         false))))
+                            //scope.with
+                            (//module.with 0 module/0)
+                            (phase#each (|>> product.right product.right))
+                            (phase.result state)
+                            (try.else false))]
+
+                       [1 #0 bit/0 @bit code.bit //.bit //pattern.bit]
+                       [2 #0 nat/0 @nat code.nat //.nat //pattern.nat]
+                       [3 #0 int/0 @int code.int //.int //pattern.int]
+                       [4 #0 rev/0 @rev code.rev //.rev //pattern.rev]
+                       [5 #0 frac/0 @frac code.frac //.frac //pattern.frac]
+                       [5 #1 text/0 @text code.text //.text //pattern.text]
+                       ))))
+
+        tuple!
+        (|> (do phase.monad
+              [[:it: it] (|> (` ({[#0 (~ $parameter/0)]
+                                  (~ (code.frac frac/0))
+
+                                  [#1 (~ $parameter/0)]
+                                  (~ (code.frac frac/0))}
+                                 [(~ (code.bit bit/0))
+                                  (~ (code.nat nat/0))]))
+                             (/.phase ..expander archive.empty)
+                             //type.inferring)]
+              (in (and (type#= .Frac :it:)
+                       (case it
+                         (^ {//.#Case (//.tuple (list (//.bit bit/?) (//.nat nat/?)))
+                                      [[//.#when (//pattern.tuple (list (//pattern.bit #0) (//pattern.bind 0)))
+                                        //.#then (//.frac false/?)]
+                                       (list [//.#when (//pattern.tuple (list (//pattern.bit #1) (//pattern.bind 0)))
+                                              //.#then (//.frac true/?)])]})
+                         (and (same? bit/0 bit/?)
+                              (same? nat/0 nat/?)
+                              (same? frac/0 false/?)
+                              (same? frac/0 true/?))
+
+                         _
+                         false))))
+            //scope.with
+            (//module.with 0 module/0)
+            (phase#each (|>> product.right product.right))
+            (phase.result state)
+            (try.else false))
+
+        record!
+        (|> (do phase.monad
+              [_ (//module.declare_labels true slots/* false :record:)
+               [:it: it] (|> (` ({[(~ (code.symbol [module/0 @any])) []
+                                   (~ (code.symbol [module/0 @bit])) (~ (code.bit bit/0))
+                                   (~ (code.symbol [module/0 @nat])) (~ (code.nat nat/0))
+                                   (~ (code.symbol [module/0 @int])) (~ (code.int int/0))
+                                   (~ (code.symbol [module/0 @rev])) (~ (code.rev rev/0))
+                                   (~ (code.symbol [module/0 @frac])) (~ (code.frac frac/0))
+                                   (~ (code.symbol [module/0 @text])) (~ (code.text text/0))]
+                                  (~ (code.frac frac/0))
+
+                                  (~ $parameter/0)
+                                  (~ (code.frac frac/0))}
+                                 [(~ (code.local_symbol @any)) []
+                                  (~ (code.local_symbol @bit)) (~ (code.bit bit/0))
+                                  (~ (code.local_symbol @nat)) (~ (code.nat nat/0))
+                                  (~ (code.local_symbol @int)) (~ (code.int int/0))
+                                  (~ (code.local_symbol @rev)) (~ (code.rev rev/0))
+                                  (~ (code.local_symbol @frac)) (~ (code.frac frac/0))
+                                  (~ (code.local_symbol @text)) (~ (code.text text/0))]))
+                             (/.phase ..expander archive.empty)
+                             //type.inferring)]
+              (in (and (type#= .Frac :it:)
+                       (case it
+                         (^ {//.#Case (//.tuple (list (//.unit)
+                                                      (//.bit bit/?)
+                                                      (//.nat nat/?)
+                                                      (//.int int/?)
+                                                      (//.rev rev/?)
+                                                      (//.frac frac/?)
+                                                      (//.text text/?)))
+                                      [[//.#when (//pattern.tuple (list (//pattern.unit)
+                                                                        (//pattern.bit bit/?')
+                                                                        (//pattern.nat nat/?')
+                                                                        (//pattern.int int/?')
+                                                                        (//pattern.rev rev/?')
+                                                                        (//pattern.frac frac/?')
+                                                                        (//pattern.text text/?')))
+                                        //.#then (//.frac match/?)]
+                                       (list [//.#when (//pattern.bind 0)
+                                              //.#then (//.frac mismatch/?)])]})
+                         (and (same? bit/0 bit/?) (same? bit/0 bit/?')
+                              (same? nat/0 nat/?) (same? nat/0 nat/?')
+                              (same? int/0 int/?) (same? int/0 int/?')
+                              (same? rev/0 rev/?) (same? rev/0 rev/?')
+                              (same? frac/0 frac/?) (same? frac/0 frac/?')
+                              (same? text/0 text/?) (same? text/0 text/?')
+                              (same? frac/0 match/?)
+                              (same? frac/0 mismatch/?))
+
+                         _
+                         false))))
+            //scope.with
+            (//module.with 0 module/0)
+            (phase#each (|>> product.right product.right))
+            (phase.result state)
+            (try.else false))]
+    (and simple!
+         bit!
+         variant!
+         tuple!
+         record!)))
 
 (def: .public test
   Test
-  ($_ _.and
-      /primitive.test
-      /structure.test
-      /reference.test
-      /case.test
-      /function.test
-      //lux.test
-      ))
+  (<| (_.covering /._)
+      (do [! random.monad]
+        [lux $//type.random_state
+         .let [state [extension.#bundle (extension/analysis.bundle ..eval)
+                      extension.#state lux]]
+
+         .let [[module/0 _] (symbol ._)]
+         
+         bit/0 random.bit
+         nat/0 random.nat
+         int/0 random.int
+         rev/0 random.rev
+         frac/0 random.frac
+         text/0 (random.ascii/lower 1)
+
+         @any (random.ascii/lower 2)
+         @bit (random.ascii/lower 3)
+         @nat (random.ascii/lower 4)
+         @int (random.ascii/lower 5)
+         @rev (random.ascii/lower 6)
+         @frac (random.ascii/lower 7)
+         @text (random.ascii/lower 8)
+
+         @left (random.ascii/lower 9)
+         @right (random.ascii/lower 10)
+
+         $abstraction/0 (# ! each code.local_symbol (random.ascii/lower 11))
+         $parameter/0 (# ! each code.local_symbol (random.ascii/lower 12))
+         $abstraction/1 (# ! each code.local_symbol (random.ascii/lower 13))
+         $parameter/1 (# ! each code.local_symbol (random.ascii/lower 14))])
+      ($_ _.and
+          (_.cover [/.phase]
+                   (and (..can_analyse_unit! lux module/0)
+                        (..can_analyse_simple_literal_or_singleton_tuple! lux module/0 [bit/0 nat/0 int/0 rev/0 frac/0 text/0])
+                        (..can_analyse_sum! lux module/0 [@any @bit @nat @int @rev @frac @text] [bit/0 nat/0 int/0 rev/0 frac/0 text/0] [@left @right])
+                        (..can_analyse_variant! lux module/0 [@any @bit @nat @int @rev @frac @text] [bit/0 nat/0 int/0 rev/0 frac/0 text/0] [@left @right])
+                        (..can_analyse_tuple! lux module/0 [bit/0 nat/0 int/0 rev/0 frac/0 text/0])
+                        (..can_analyse_record! lux module/0 [@any @bit @nat @int @rev @frac @text] [bit/0 nat/0 int/0 rev/0 frac/0 text/0])
+                        (..can_analyse_function! lux module/0 nat/0 [$abstraction/0 $parameter/0 $abstraction/1 $parameter/1])
+                        (..can_analyse_apply! lux module/0 bit/0 nat/0 [$abstraction/0 $parameter/0 $abstraction/1 $parameter/1])
+                        (..can_analyse_extension! lux module/0 text/0)
+                        (..can_analyse_pattern_matching! lux module/0 [@any @bit @nat @int @rev @frac @text] [bit/0 nat/0 int/0 rev/0 frac/0 text/0] $parameter/0)
+                        ))
+          (_.cover [/.invalid]
+                   (`` (and (~~ (template []
+                                  [(|> (do phase.monad
+                                         [_ (|> 
+                                                (/.phase ..expander archive.empty)
+                                                (//type.expecting .Any))]
+                                         (in false))
+                                       //scope.with
+                                       (//module.with 0 module/0)
+                                       (phase#each (|>> product.right product.right))
+                                       (phase.result state)
+                                       (exception.otherwise (text.contains? (value@ exception.#label /.invalid))))]
+
+                                  [(` ({#0} (~ (code.bit bit/0))))]
+                                  [(` ({#0 [] #1} (~ (code.bit bit/0))))]
+                                  [(` {(~ (code.bit bit/0)) (~ (code.nat nat/0)) (~ (code.int int/0)) (~ (code.rev rev/0)) (~ (code.frac frac/0)) (~ (code.text text/0))})]
+                                  [(` {(~ (code.nat nat/0)) (~ (code.int int/0)) (~ (code.rev rev/0)) (~ (code.frac frac/0)) (~ (code.text text/0)) (~ (code.bit bit/0))})]
+                                  [(` {(~ (code.int int/0)) (~ (code.rev rev/0)) (~ (code.frac frac/0)) (~ (code.text text/0)) (~ (code.bit bit/0)) (~ (code.nat nat/0))})]
+                                  [(` {(~ (code.rev rev/0)) (~ (code.frac frac/0)) (~ (code.text text/0)) (~ (code.bit bit/0)) (~ (code.nat nat/0)) (~ (code.int int/0))})]
+                                  [(` {(~ (code.frac frac/0)) (~ (code.text text/0)) (~ (code.bit bit/0)) (~ (code.nat nat/0)) (~ (code.int int/0)) (~ (code.rev rev/0))})]
+                                  [(` {(~ (code.text text/0)) (~ (code.bit bit/0)) (~ (code.nat nat/0)) (~ (code.int int/0)) (~ (code.rev rev/0)) (~ (code.frac frac/0))})]
+                                  ))
+                            )))
+          
+          /simple.test
+          /complex.test
+          /reference.test
+          /function.test
+          /case.test
+          )))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux
index 8f31cca51..358f35350 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux
@@ -10,11 +10,23 @@
  [\\library
   ["[0]" /]])
 
+(def: random_definition
+  (Random /.Definition)
+  ($_ random.and
+      (random.ascii/lower 1)
+      (random.maybe
+       ($_ random.and
+           random.nat
+           random.nat
+           random.nat
+           ))
+      ))
+
 (def: .public random
   (Random /.Category)
   ($_ random.or
       (random#in [])
-      (random.ascii/lower 1)
+      ..random_definition
       (random.ascii/lower 2)
       (random.ascii/lower 3)
       (random.ascii/lower 4)
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux
index f9499d442..893f1da72 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux
@@ -15,7 +15,7 @@
     [collection
      ["[0]" sequence {"+" Sequence}]
      ["[0]" set {"+" Set}]
-     ["[0]" list ("[1]#[0]" mix)]]
+     ["[0]" list ("[1]#[0]" mix functor)]]
     [format
      ["[0]" binary]]]
    [math
@@ -78,97 +78,103 @@
 
                              _
                              false)))
-                (~~ (template [   ]
+                (~~ (template [ '    ']
                       [(_.cover [ ]
-                                (and (let [[@it registry] ( expected_name mandatory? expected_dependencies /.empty)]
-                                       (and (case ( registry)
-                                              (^ (list actual_name))
-                                              (same? expected_name actual_name)
+                                (let [ '
+                                       ']
+                                  (and (let [[@it registry] (  mandatory? expected_dependencies /.empty)]
+                                         (and (case ( registry)
+                                                (^ (list actual_name))
+                                                (same?  actual_name)
 
-                                              _
-                                              false)
-                                            (case (sequence.list (/.artifacts registry))
-                                              (^ (list [artifact actual_dependencies]))
-                                              (and (same? @it (value@ artifact.#id artifact))
-                                                   (same? mandatory? (value@ artifact.#mandatory? artifact))
-                                                   (case (value@ artifact.#category artifact)
-                                                     { actual_name}
-                                                     (same? expected_name actual_name)
+                                                _
+                                                false)
+                                              (case (sequence.list (/.artifacts registry))
+                                                (^ (list [artifact actual_dependencies]))
+                                                (and (same? @it (value@ artifact.#id artifact))
+                                                     (same? mandatory? (value@ artifact.#mandatory? artifact))
+                                                     (case (value@ artifact.#category artifact)
+                                                       { actual_name}
+                                                       (same?  actual_name)
 
-                                                     _
-                                                     false)
-                                                   (same? expected_dependencies actual_dependencies))
+                                                       _
+                                                       false)
+                                                     (same? expected_dependencies actual_dependencies))
 
-                                              _
-                                              false)))
-                                     (let [[@it registry] ( expected_name mandatory? expected_dependencies /.empty)]
-                                       (case ( registry)
-                                         (^ (list))
-                                         true
+                                                _
+                                                false)))
+                                       (let [[@it registry] (  mandatory? expected_dependencies /.empty)]
+                                         (case ( registry)
+                                           (^ (list))
+                                           true
 
-                                         _
-                                         false))))]
+                                           _
+                                           false)))))]
 
-                      [/.definition /.definitions category.#Definition /.analyser]
-                      [/.analyser /.analysers category.#Analyser /.synthesizer]
-                      [/.synthesizer /.synthesizers category.#Synthesizer /.generator]
-                      [/.generator /.generators category.#Generator /.directive]
-                      [/.directive /.directives category.#Directive /.custom]
-                      [/.custom /.customs category.#Custom /.definition]
+                      [/.definition (: category.Definition [expected_name {.#None}]) /.definitions category.#Definition /.analyser expected_name]
+                      [/.analyser expected_name /.analysers category.#Analyser /.synthesizer expected_name]
+                      [/.synthesizer expected_name /.synthesizers category.#Synthesizer /.generator expected_name]
+                      [/.generator expected_name /.generators category.#Generator /.directive expected_name]
+                      [/.directive expected_name /.directives category.#Directive /.custom expected_name]
+                      [/.custom expected_name /.customs category.#Custom /.definition (: category.Definition [expected_name {.#None}])]
                       ))
                 (_.cover [/.id]
-                         (and (~~ (template []
-                                    [(let [[@expected registry] ( expected_name mandatory? expected_dependencies /.empty)]
-                                       (|> (/.id expected_name registry)
+                         (and (~~ (template [ ' ]
+                                    [(let [ '
+                                           [@expected registry] (  mandatory? expected_dependencies /.empty)]
+                                       (|> (/.id ( ) registry)
                                            (maybe#each (same? @expected))
                                            (maybe.else false)))]
 
-                                    [/.definition]
-                                    [/.analyser]
-                                    [/.synthesizer]
-                                    [/.generator]
-                                    [/.directive]
-                                    [/.custom]
+                                    [/.definition (: category.Definition [expected_name {.#None}]) product.left]
+                                    [/.analyser expected_name |>]
+                                    [/.synthesizer expected_name |>]
+                                    [/.generator expected_name |>]
+                                    [/.directive expected_name |>]
+                                    [/.custom expected_name |>]
                                     ))))
                 (_.cover [/.artifacts]
-                         (and (~~ (template [ ]
-                                    [(let [[ids registry] (: [(Sequence artifact.ID) /.Registry]
-                                                             (list#mix (function (_ name [ids registry])
-                                                                         (let [[@new registry] ( name mandatory? expected_dependencies registry)]
+                         (and (~~ (template [   <$>]
+                                    [(let [expected/* (list#each <$> expected_names)
+                                           [ids registry] (: [(Sequence artifact.ID) /.Registry]
+                                                             (list#mix (function (_ expected [ids registry])
+                                                                         (let [[@new registry] ( expected mandatory? expected_dependencies registry)]
                                                                            [(sequence.suffix @new ids) registry]))
                                                                        [sequence.empty /.empty]
-                                                                       expected_names))
+                                                                       expected/*))
                                            it (/.artifacts registry)]
                                        (and (n.= expected_amount (sequence.size it))
-                                            (n.= expected_amount (sequence.size it))
                                             (list.every? (function (_ [@it [it dependencies]])
                                                            (same? @it (value@ artifact.#id it)))
                                                          (list.zipped/2 (sequence.list ids) (sequence.list it)))
-                                            (# (list.equivalence text.equivalence) = expected_names ( registry))))]
+                                            (# (list.equivalence ) = expected/* ( registry))))]
 
-                                    [/.definition /.definitions]
-                                    [/.analyser /.analysers]
-                                    [/.synthesizer /.synthesizers]
-                                    [/.generator /.generators]
-                                    [/.directive /.directives]
-                                    [/.custom /.customs]
+                                    [/.definition /.definitions category.definition_equivalence (: (-> Text category.Definition)
+                                                                                                   (function (_ it)
+                                                                                                     [it {.#None}]))]
+                                    [/.analyser /.analysers text.equivalence (|>>)]
+                                    [/.synthesizer /.synthesizers text.equivalence (|>>)]
+                                    [/.generator /.generators text.equivalence (|>>)]
+                                    [/.directive /.directives text.equivalence (|>>)]
+                                    [/.custom /.customs text.equivalence (|>>)]
                                     ))))
                 (_.cover [/.writer /.parser]
-                         (and (~~ (template []
-                                    [(let [[@expected before] ( expected_name mandatory? expected_dependencies /.empty)]
+                         (and (~~ (template [ ' ]
+                                    [(let [ '
+                                           [@expected before] (  mandatory? expected_dependencies /.empty)]
                                        (|> before
                                            (binary.result /.writer)
                                            (.result /.parser)
-                                           (try#each (|>> (/.id expected_name)
+                                           (try#each (|>> (/.id ( ))
                                                           (maybe#each (same? @expected))
                                                           (maybe.else false)))
                                            (try.else false)))]
 
-                                    [/.definition]
-                                    [/.analyser]
-                                    [/.synthesizer]
-                                    [/.generator]
-                                    [/.directive]
-                                    [/.custom]
+                                    [/.definition (: category.Definition [expected_name {.#None}]) product.left]
+                                    [/.analyser expected_name |>]
+                                    [/.synthesizer expected_name |>]
+                                    [/.generator expected_name |>]
+                                    [/.directive expected_name |>]
+                                    [/.custom expected_name |>]
                                     ))))
                 )))))
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index ee313599f..5c05b5437 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -7,8 +7,9 @@
    [control
     ["[0]" io {"+" IO}]
     ["[0]" try {"+" Try}]
+    ["[0]" exception]
     [concurrency
-     [async {"+" Async}]
+     ["[0]" async {"+" Async}]
      ["[0]" atom {"+" Atom}]]]
    [data
     ["[0]" binary {"+" Binary} ("[1]#[0]" monoid)]
@@ -239,12 +240,46 @@
   Test
   (<| (_.covering /._)
       (do [! random.monad]
-        [/ (random.ascii/upper 1)]
+        [/ (random.ascii/upper 1)
+         file (random.ascii/lower 1)]
         ($_ _.and
             (_.for [/.mock]
                    ($/.spec (io.io (/.mock /))))
             (_.for [/.async]
                    ($/.spec (io.io (/.async (..fs /)))))
+
+            (in (do async.monad
+                  [.let [fs (/.mock /)]
+                   ? (# fs delete file)]
+                  (_.cover' [/.cannot_delete]
+                            (case ?
+                              {try.#Failure error}
+                              (exception.match? /.cannot_delete error)
+
+                              _
+                              false))))
+            (in (do async.monad
+                  [.let [fs (/.mock /)]
+                   ? (# fs read file)]
+                  (_.cover' [/.cannot_find_file]
+                            (case ?
+                              {try.#Failure error}
+                              (exception.match? /.cannot_find_file error)
+
+                              _
+                              false))))
+            (in (do async.monad
+                  [.let [fs (/.mock /)]
+                   ?/0 (# fs directory_files file)
+                   ?/1 (# fs sub_directories file)]
+                  (_.cover' [/.cannot_find_directory]
+                            (case [?/0 ?/1]
+                              [{try.#Failure error/0} {try.#Failure error/1}]
+                              (and (exception.match? /.cannot_find_directory error/0)
+                                   (exception.match? /.cannot_find_directory error/1))
+
+                              _
+                              false))))
             
             /watch.test
             ))))
diff --git a/stdlib/source/unsafe/lux/data/binary.lux b/stdlib/source/unsafe/lux/data/binary.lux
index ffc2b5e84..91726c57a 100644
--- a/stdlib/source/unsafe/lux/data/binary.lux
+++ b/stdlib/source/unsafe/lux/data/binary.lux
@@ -271,7 +271,8 @@
 
 (with_expansions [ (: ..Binary reference')
                    (: ..Binary sample')
-                   (java/util/Arrays::equals  )]
+                   (java/util/Arrays::equals  )
+                   (ffi.of_boolean )]
   (template: .public (= reference' sample')
     [(for [@.old 
            @.jvm ]
@@ -290,9 +291,9 @@
 ... TODO: Turn into a template ASAP.
 (inline: .public (copy! bytes source_offset source target_offset target)
   (-> Nat Nat ..Binary Nat ..Binary ..Binary)
-  (with_expansions [ (java/lang/System::arraycopy source (.int source_offset)
-                                                       target (.int target_offset)
-                                                       (.int bytes))
+  (with_expansions [ (java/lang/System::arraycopy source (ffi.as_int (.int source_offset))
+                                                       target (ffi.as_int (.int target_offset))
+                                                       (ffi.as_int (.int bytes)))
                      (exec
                             
                             target)]
@@ -311,8 +312,8 @@
 
 ... TODO: Turn into a template ASAP.
 (with_expansions [ (java/util/Arrays::copyOfRange binary
-                                                       (.int offset)
-                                                       (.int limit))
+                                                       (ffi.as_int (.int offset))
+                                                       (ffi.as_int (.int limit)))
                    (let [limit ("lux i64 +" size offset)]
                           )]
   (inline: .public (slice offset size binary)
-- 
cgit v1.2.3