jade-lang 0.1.0

metadata

@@ -0,0 +1,387 @@
+--- !ruby/object:Gem::Specification
+name: jade-lang
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Agustin Cornu
+bindir: exe
+cert_chain: []
+date: 2026-06-14 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: base64
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.2'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.2'
+description: |
+  Jade is a statically typed functional language, inspired by Elm, that
+  compiles to readable Ruby. It brings Hindley-Milner type inference, union
+  types, records, exhaustive pattern matching, and typed boundaries to the
+  Ruby ecosystem, while staying interoperable with existing Ruby code.
+email:
+- agustincornu@fastmail.com
+executables:
+- jade
+extensions: []
+extra_rdoc_files: []
+files:
+- CHANGELOG.md
+- LICENSE
+- README.md
+- exe/jade
+- lib/jade.rb
+- lib/jade/ast.rb
+- lib/jade/ast/node.rb
+- lib/jade/ast/nodes.rb
+- lib/jade/ast/pretty_printer.rb
+- lib/jade/calendar/runtime.rb
+- lib/jade/cli.rb
+- lib/jade/cli/fmt.rb
+- lib/jade/cli/lsp.rb
+- lib/jade/cli/q.rb
+- lib/jade/clock/runtime.rb
+- lib/jade/codegen.rb
+- lib/jade/codegen/boundary.rb
+- lib/jade/codegen/boundary/cache.rb
+- lib/jade/codegen/boundary/specialized.rb
+- lib/jade/codegen/boundary/specialized/list.rb
+- lib/jade/codegen/boundary/specialized/maybe.rb
+- lib/jade/codegen/boundary/specialized/record.rb
+- lib/jade/codegen/boundary/specialized/scalar.rb
+- lib/jade/codegen/constructor_reference.rb
+- lib/jade/codegen/context.rb
+- lib/jade/codegen/emitter.rb
+- lib/jade/codegen/function_call.rb
+- lib/jade/codegen/function_declaration.rb
+- lib/jade/codegen/helpers.rb
+- lib/jade/codegen/implementation.rb
+- lib/jade/codegen/inline.rb
+- lib/jade/codegen/inlines.rb
+- lib/jade/codegen/method_names.rb
+- lib/jade/codegen/pattern/constructor.rb
+- lib/jade/codegen/port_decoder.rb
+- lib/jade/codegen/pretty.rb
+- lib/jade/codegen/transforms/fold_shape.rb
+- lib/jade/codegen/transforms/self_call.rb
+- lib/jade/codegen/transforms/tail_call.rb
+- lib/jade/codegen/variant_declaration.rb
+- lib/jade/compiler.rb
+- lib/jade/decode.rb
+- lib/jade/diagnostics.rb
+- lib/jade/diagnostics/renderer.rb
+- lib/jade/did_you_mean.rb
+- lib/jade/entry.rb
+- lib/jade/error.rb
+- lib/jade/formatter.rb
+- lib/jade/formatter/accesses.rb
+- lib/jade/formatter/bindings.rb
+- lib/jade/formatter/body.rb
+- lib/jade/formatter/calls.rb
+- lib/jade/formatter/case_of.rb
+- lib/jade/formatter/case_of_branch.rb
+- lib/jade/formatter/collections.rb
+- lib/jade/formatter/declarations.rb
+- lib/jade/formatter/exposing.rb
+- lib/jade/formatter/function_declaration.rb
+- lib/jade/formatter/helper.rb
+- lib/jade/formatter/if_then_else.rb
+- lib/jade/formatter/infix_application.rb
+- lib/jade/formatter/lambda.rb
+- lib/jade/formatter/leaves.rb
+- lib/jade/formatter/module_node.rb
+- lib/jade/formatter/pattern.rb
+- lib/jade/formatter/type.rb
+- lib/jade/frontend.rb
+- lib/jade/frontend/comment_attacher.rb
+- lib/jade/frontend/desugaring.rb
+- lib/jade/frontend/desugaring/placeholder.rb
+- lib/jade/frontend/desugaring/resolved.rb
+- lib/jade/frontend/fixity_fixer.rb
+- lib/jade/frontend/forward_declaration.rb
+- lib/jade/frontend/forward_declaration/body.rb
+- lib/jade/frontend/forward_declaration/error.rb
+- lib/jade/frontend/forward_declaration/error/bad_import.rb
+- lib/jade/frontend/forward_declaration/error/exposed_type_not_found.rb
+- lib/jade/frontend/forward_declaration/error/exposed_value_not_found.rb
+- lib/jade/frontend/forward_declaration/error/module_not_found.rb
+- lib/jade/frontend/forward_declaration/error/private_type_expansion.rb
+- lib/jade/frontend/forward_declaration/error/tuple_arity_overflow.rb
+- lib/jade/frontend/forward_declaration/error/type_not_found.rb
+- lib/jade/frontend/forward_declaration/error/type_not_lowerable.rb
+- lib/jade/frontend/forward_declaration/error/unknown_extends_interface.rb
+- lib/jade/frontend/forward_declaration/function_declaration.rb
+- lib/jade/frontend/forward_declaration/helper.rb
+- lib/jade/frontend/forward_declaration/implementation.rb
+- lib/jade/frontend/forward_declaration/implementation_function.rb
+- lib/jade/frontend/forward_declaration/import_declaration.rb
+- lib/jade/frontend/forward_declaration/interface_declaration.rb
+- lib/jade/frontend/forward_declaration/interop_import_declaration.rb
+- lib/jade/frontend/forward_declaration/module.rb
+- lib/jade/frontend/forward_declaration/struct_declaration.rb
+- lib/jade/frontend/forward_declaration/type_declaration.rb
+- lib/jade/frontend/pattern_analysis.rb
+- lib/jade/frontend/pattern_analysis/exhaustiveness.rb
+- lib/jade/frontend/pattern_analysis/matrix.rb
+- lib/jade/frontend/semantic_analysis.rb
+- lib/jade/frontend/semantic_analysis/assign.rb
+- lib/jade/frontend/semantic_analysis/body.rb
+- lib/jade/frontend/semantic_analysis/case_of.rb
+- lib/jade/frontend/semantic_analysis/case_of_branch.rb
+- lib/jade/frontend/semantic_analysis/char_literal.rb
+- lib/jade/frontend/semantic_analysis/constructor_reference.rb
+- lib/jade/frontend/semantic_analysis/error.rb
+- lib/jade/frontend/semantic_analysis/error/circular_extends.rb
+- lib/jade/frontend/semantic_analysis/error/constant_not_callable.rb
+- lib/jade/frontend/semantic_analysis/error/constructor_not_found.rb
+- lib/jade/frontend/semantic_analysis/error/constructor_pattern_arity_mismatch.rb
+- lib/jade/frontend/semantic_analysis/error/duplicate_field.rb
+- lib/jade/frontend/semantic_analysis/error/duplicate_function_declaration.rb
+- lib/jade/frontend/semantic_analysis/error/duplicate_record_field.rb
+- lib/jade/frontend/semantic_analysis/error/invalid_list_rest_pattern.rb
+- lib/jade/frontend/semantic_analysis/error/kwargs_on_non_constructor.rb
+- lib/jade/frontend/semantic_analysis/error/missing_exposing_clause.rb
+- lib/jade/frontend/semantic_analysis/error/missing_extends_implementation.rb
+- lib/jade/frontend/semantic_analysis/error/missing_field.rb
+- lib/jade/frontend/semantic_analysis/error/missing_implementation_function.rb
+- lib/jade/frontend/semantic_analysis/error/module_not_found.rb
+- lib/jade/frontend/semantic_analysis/error/nested_task_port.rb
+- lib/jade/frontend/semantic_analysis/error/non_task_port.rb
+- lib/jade/frontend/semantic_analysis/error/orphan_implementation.rb
+- lib/jade/frontend/semantic_analysis/error/predicate_must_return_bool.rb
+- lib/jade/frontend/semantic_analysis/error/predicate_name_not_allowed.rb
+- lib/jade/frontend/semantic_analysis/error/shadowing_error.rb
+- lib/jade/frontend/semantic_analysis/error/type_args_mismatch.rb
+- lib/jade/frontend/semantic_analysis/error/type_param_required.rb
+- lib/jade/frontend/semantic_analysis/error/unbound_type_variable.rb
+- lib/jade/frontend/semantic_analysis/error/undefined_variable.rb
+- lib/jade/frontend/semantic_analysis/error/unknown_field.rb
+- lib/jade/frontend/semantic_analysis/error/unknown_implementation_function.rb
+- lib/jade/frontend/semantic_analysis/error/unused_interface_type_param.rb
+- lib/jade/frontend/semantic_analysis/error/value_not_exposed.rb
+- lib/jade/frontend/semantic_analysis/error/variable_not_found.rb
+- lib/jade/frontend/semantic_analysis/function_call.rb
+- lib/jade/frontend/semantic_analysis/function_declaration.rb
+- lib/jade/frontend/semantic_analysis/grouping.rb
+- lib/jade/frontend/semantic_analysis/helper.rb
+- lib/jade/frontend/semantic_analysis/if_then_else.rb
+- lib/jade/frontend/semantic_analysis/implementation.rb
+- lib/jade/frontend/semantic_analysis/implementation_function.rb
+- lib/jade/frontend/semantic_analysis/import_declaration.rb
+- lib/jade/frontend/semantic_analysis/interface_declaration.rb
+- lib/jade/frontend/semantic_analysis/interop_import_declaration.rb
+- lib/jade/frontend/semantic_analysis/keyed_call.rb
+- lib/jade/frontend/semantic_analysis/keyed_call/validation.rb
+- lib/jade/frontend/semantic_analysis/lambda.rb
+- lib/jade/frontend/semantic_analysis/list.rb
+- lib/jade/frontend/semantic_analysis/literal.rb
+- lib/jade/frontend/semantic_analysis/member_access.rb
+- lib/jade/frontend/semantic_analysis/module_node.rb
+- lib/jade/frontend/semantic_analysis/pattern_binding.rb
+- lib/jade/frontend/semantic_analysis/pattern_constructor.rb
+- lib/jade/frontend/semantic_analysis/pattern_list.rb
+- lib/jade/frontend/semantic_analysis/pattern_literal.rb
+- lib/jade/frontend/semantic_analysis/pattern_record.rb
+- lib/jade/frontend/semantic_analysis/pattern_wildcard.rb
+- lib/jade/frontend/semantic_analysis/qualified_access.rb
+- lib/jade/frontend/semantic_analysis/record_access.rb
+- lib/jade/frontend/semantic_analysis/record_field.rb
+- lib/jade/frontend/semantic_analysis/record_literal.rb
+- lib/jade/frontend/semantic_analysis/record_update.rb
+- lib/jade/frontend/semantic_analysis/struct_declaration.rb
+- lib/jade/frontend/semantic_analysis/tuple.rb
+- lib/jade/frontend/semantic_analysis/type_declaration.rb
+- lib/jade/frontend/semantic_analysis/variable_reference.rb
+- lib/jade/frontend/semantic_analysis/variant_declaration.rb
+- lib/jade/frontend/type_checking.rb
+- lib/jade/frontend/type_checking/canonicalize.rb
+- lib/jade/frontend/type_checking/constraints.rb
+- lib/jade/frontend/type_checking/constraints/deriving.rb
+- lib/jade/frontend/type_checking/constraints/deriving/decodable.rb
+- lib/jade/frontend/type_checking/constraints/deriving/encodable.rb
+- lib/jade/frontend/type_checking/constraints/deriving/eq.rb
+- lib/jade/frontend/type_checking/constraints/deriving/helpers.rb
+- lib/jade/frontend/type_checking/definition.rb
+- lib/jade/frontend/type_checking/env.rb
+- lib/jade/frontend/type_checking/error.rb
+- lib/jade/frontend/type_checking/error/case_of_branches_type_mismatch.rb
+- lib/jade/frontend/type_checking/error/derivation_failed.rb
+- lib/jade/frontend/type_checking/error/function_body_type_mismatch.rb
+- lib/jade/frontend/type_checking/error/function_call_type_mismatch.rb
+- lib/jade/frontend/type_checking/error/if_branch_type_mismatch.rb
+- lib/jade/frontend/type_checking/error/if_branches_type_mismatch.rb
+- lib/jade/frontend/type_checking/error/if_condition_type_mismatch.rb
+- lib/jade/frontend/type_checking/error/implementation_type_mismatch.rb
+- lib/jade/frontend/type_checking/error/list_item_type_mismatch.rb
+- lib/jade/frontend/type_checking/error/missing_implementation.rb
+- lib/jade/frontend/type_checking/error/missing_patterns.rb
+- lib/jade/frontend/type_checking/error/pattern_type_mismatch.rb
+- lib/jade/frontend/type_checking/error/port_not_decodable.rb
+- lib/jade/frontend/type_checking/error/record_access_type_mismatch.rb
+- lib/jade/frontend/type_checking/error/type_mismatch.rb
+- lib/jade/frontend/type_checking/error/unresolved_constraint.rb
+- lib/jade/frontend/type_checking/expected.rb
+- lib/jade/frontend/type_checking/generalization.rb
+- lib/jade/frontend/type_checking/generalizer.rb
+- lib/jade/frontend/type_checking/inference.rb
+- lib/jade/frontend/type_checking/inference/assign.rb
+- lib/jade/frontend/type_checking/inference/body.rb
+- lib/jade/frontend/type_checking/inference/case_of.rb
+- lib/jade/frontend/type_checking/inference/constructor_reference.rb
+- lib/jade/frontend/type_checking/inference/function_call.rb
+- lib/jade/frontend/type_checking/inference/function_declaration.rb
+- lib/jade/frontend/type_checking/inference/grouping.rb
+- lib/jade/frontend/type_checking/inference/helpers.rb
+- lib/jade/frontend/type_checking/inference/if_then_else.rb
+- lib/jade/frontend/type_checking/inference/implementation.rb
+- lib/jade/frontend/type_checking/inference/import_declaration.rb
+- lib/jade/frontend/type_checking/inference/interface_declaration.rb
+- lib/jade/frontend/type_checking/inference/interop_import_declaration.rb
+- lib/jade/frontend/type_checking/inference/lambda.rb
+- lib/jade/frontend/type_checking/inference/list.rb
+- lib/jade/frontend/type_checking/inference/literal.rb
+- lib/jade/frontend/type_checking/inference/module.rb
+- lib/jade/frontend/type_checking/inference/pattern.rb
+- lib/jade/frontend/type_checking/inference/qualified_access.rb
+- lib/jade/frontend/type_checking/inference/record_access.rb
+- lib/jade/frontend/type_checking/inference/record_field.rb
+- lib/jade/frontend/type_checking/inference/record_literal.rb
+- lib/jade/frontend/type_checking/inference/record_update.rb
+- lib/jade/frontend/type_checking/inference/struct_declaration.rb
+- lib/jade/frontend/type_checking/inference/type_declaration.rb
+- lib/jade/frontend/type_checking/inference/variable_reference.rb
+- lib/jade/frontend/type_checking/instantiation.rb
+- lib/jade/frontend/type_checking/loader.rb
+- lib/jade/frontend/type_checking/placeholder.rb
+- lib/jade/frontend/type_checking/port_resolution.rb
+- lib/jade/frontend/type_checking/result.rb
+- lib/jade/frontend/type_checking/scheme.rb
+- lib/jade/frontend/type_checking/state.rb
+- lib/jade/frontend/type_checking/substitution.rb
+- lib/jade/frontend/type_checking/unification.rb
+- lib/jade/frontend/type_checking/var_gen.rb
+- lib/jade/frontend/unused_analysis.rb
+- lib/jade/frontend/usage_analysis.rb
+- lib/jade/frontend/usage_analysis/reference_index.rb
+- lib/jade/interop.rb
+- lib/jade/interop/boundary.rb
+- lib/jade/interop/error.rb
+- lib/jade/interop/lowering.rb
+- lib/jade/interop/lowering/error.rb
+- lib/jade/interop/runtime.rb
+- lib/jade/lexer.rb
+- lib/jade/lsp.rb
+- lib/jade/lsp/converters.rb
+- lib/jade/lsp/handlers.rb
+- lib/jade/lsp/server.rb
+- lib/jade/lsp/snippets.rb
+- lib/jade/lsp/state.rb
+- lib/jade/module_loader.rb
+- lib/jade/module_loader/cache.rb
+- lib/jade/module_loader/dependency_graph.rb
+- lib/jade/module_loader/dependency_resolver.rb
+- lib/jade/module_loader/normalize.rb
+- lib/jade/module_loader/topological_sort.rb
+- lib/jade/parsing.rb
+- lib/jade/parsing/combinators.rb
+- lib/jade/parsing/error.rb
+- lib/jade/parsing/token.rb
+- lib/jade/parsing/type.rb
+- lib/jade/port.rb
+- lib/jade/registry.rb
+- lib/jade/result.rb
+- lib/jade/runtime.rb
+- lib/jade/source.rb
+- lib/jade/stdlib.rb
+- lib/jade/stdlib/basics.rb
+- lib/jade/stdlib/bytes.rb
+- lib/jade/stdlib/calendar.rb
+- lib/jade/stdlib/char.rb
+- lib/jade/stdlib/clock.rb
+- lib/jade/stdlib/compiled.rb
+- lib/jade/stdlib/decode.rb
+- lib/jade/stdlib/decode/params.rb
+- lib/jade/stdlib/dict.rb
+- lib/jade/stdlib/encode.rb
+- lib/jade/stdlib/intrinsics.rb
+- lib/jade/stdlib/list.rb
+- lib/jade/stdlib/maybe.rb
+- lib/jade/stdlib/result.rb
+- lib/jade/stdlib/set.rb
+- lib/jade/stdlib/string.rb
+- lib/jade/stdlib/task.rb
+- lib/jade/stdlib/tuple.rb
+- lib/jade/symbol.rb
+- lib/jade/symbol/anonymous_record.rb
+- lib/jade/symbol/base.rb
+- lib/jade/symbol/constructor.rb
+- lib/jade/symbol/derived_function.rb
+- lib/jade/symbol/function.rb
+- lib/jade/symbol/function_type.rb
+- lib/jade/symbol/implementation.rb
+- lib/jade/symbol/implementation_template.rb
+- lib/jade/symbol/interface.rb
+- lib/jade/symbol/interface_function.rb
+- lib/jade/symbol/interop_function.rb
+- lib/jade/symbol/lambda.rb
+- lib/jade/symbol/parser.rb
+- lib/jade/symbol/partial_application.rb
+- lib/jade/symbol/record_type.rb
+- lib/jade/symbol/stdlib_function.rb
+- lib/jade/symbol/stdlib_implementation.rb
+- lib/jade/symbol/struct.rb
+- lib/jade/symbol/type_application.rb
+- lib/jade/symbol/type_ref.rb
+- lib/jade/symbol/union.rb
+- lib/jade/symbol/value_ref.rb
+- lib/jade/symbol/variable.rb
+- lib/jade/symbol/variant.rb
+- lib/jade/task.rb
+- lib/jade/tasks.rb
+- lib/jade/tasks/rspec.rb
+- lib/jade/type.rb
+- lib/jade/type/anonymous_record.rb
+- lib/jade/type/application.rb
+- lib/jade/type/base.rb
+- lib/jade/type/constraint.rb
+- lib/jade/type/constructor.rb
+- lib/jade/type/function.rb
+- lib/jade/type/partial_application.rb
+- lib/jade/type/unit.rb
+- lib/jade/type/var.rb
+- lib/jade/version.rb
+homepage: https://github.com/agustinrhcp/jade
+licenses:
+- MIT
+metadata:
+  source_code_uri: https://github.com/agustinrhcp/jade
+  changelog_uri: https://github.com/agustinrhcp/jade/blob/master/CHANGELOG.md
+  bug_tracker_uri: https://github.com/agustinrhcp/jade/issues
+  rubygems_mfa_required: 'true'
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '3.4'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.6.2
+specification_version: 4
+summary: A functional, type-safe language that compiles to readable Ruby.
+test_files: []