jade-lang 0.8.0 → 0.10.0

data/lib/jade/task.rb

@@ -1,102 +1,120 @@
-require 'jade/tasks'
-
 module Jade
   module Task
-    Literal = Data.define(:result) do
-      include Task
-
-      def run
-        result
-      end
-    end
-
-    Dispatch = Data.define(:task_def, :args) do
-      include Task
-
-      def run
-        Jade::Tasks.dispatch(task_def, *args)
-      end
-    end
-
-    Map = Data.define(:task, :fn) do
-      include Task
-
-      def run
-        case task.run
-        in Jade::Result::Ok[value]  then Jade::Result::Ok[fn.call(value)]
-        in Jade::Result::Err => err then err
+    # Every node is a value describing work, and `run` drives them from one
+    # loop with an explicit stack of continuations. Composing tasks therefore
+    # costs heap, not Ruby stack, so a chain built by recursion (a batch loop,
+    # a retry) is bounded by memory rather than by SystemStackError.
+    def run
+      task = self
+      pending = []
+
+      loop do
+        case task
+        in AndThen[inner, fn]
+          task = inner
+          pending << [:ok, fn]
+
+        in OnError[inner, fn]
+          task = inner
+          pending << [:err, fn]
+
+        in Map[inner, fn]
+          task = inner
+          pending << [:map, fn]
+
+        in MapError[inner, fn]
+          task = inner
+          pending << [:map_err, fn]
+
+        in Decoded[inner, ok_decoder, err_decoder]
+          task = inner
+          pending << [:decode, [ok_decoder, err_decoder]]
+
+        else
+          result = task.step
+          return result if pending.empty?
+
+          task = resume(result, pending)
+          return task if task.is_a?(Jade::Result::Ok) || task.is_a?(Jade::Result::Err)
         end
       end
     end
 
-    AndThen = Data.define(:task, :fn) do
-      include Task
-
-      def run
-        case task.run
-        in Jade::Result::Ok[value]  then fn.call(value).run
-        in Jade::Result::Err => err then err
-        end
+    private
+
+    # Applies continuations to a settled result until one of them produces a
+    # fresh task to run, or the stack empties.
+    def resume(result, pending)
+      until pending.empty?
+        kind, fn = pending.pop
+
+        result =
+          case [kind, result]
+          in [:decode, _] then Decoded.decode_result(result, *fn)
+          in [:ok, Jade::Result::Ok[value]] then return fn.call(value)
+          in [:err, Jade::Result::Err[error]] then return fn.call(error)
+          in [:map, Jade::Result::Ok[value]] then Jade::Result::Ok[fn.call(value)]
+          in [:map_err, Jade::Result::Err[error]] then Jade::Result::Err[fn.call(error)]
+          else result
+          end
       end
+
+      result
     end
 
-    OnError = Data.define(:task, :fn) do
+    Literal = Data.define(:result) do
       include Task
 
-      def run
-        case task.run
-        in Jade::Result::Ok => ok    then ok
-        in Jade::Result::Err[error]  then fn.call(error).run
-        end
+      def step
+        result
       end
     end
 
-    MapError = Data.define(:task, :fn) do
+    Dispatch = Data.define(:task_def, :args) do
       include Task
 
-      def run
-        case task.run
-        in Jade::Result::Ok => ok    then ok
-        in Jade::Result::Err[error]  then Jade::Result::Err[fn.call(error)]
-        end
+      def step
+        Jade::Tasks.dispatch(task_def, *args)
       end
     end
 
     Sequence = Data.define(:tasks) do
       include Task
 
-      def run
+      def step
         values = []
+
         tasks.each do |task|
           case task.run
           in Jade::Result::Ok[value] then values << value
           in Jade::Result::Err => err then return err
           end
         end
+
         Jade::Result::Ok[values]
       end
     end
 
+    Map = Data.define(:task, :fn) { include Task }
+    AndThen = Data.define(:task, :fn) { include Task }
+    OnError = Data.define(:task, :fn) { include Task }
+    MapError = Data.define(:task, :fn) { include Task }
+
     Decoded = Data.define(:task, :ok_decoder, :err_decoder) do
       include Task
 
-      def run
-        case task.run
-        in Jade::Result::Ok[value]
-          Jade::Result::Ok[decode(ok_decoder, value)]
-        in Jade::Result::Err[error]
-          Jade::Result::Err[decode(err_decoder, error)]
+      def self.decode_result(result, ok_decoder, err_decoder)
+        case result
+        in Jade::Result::Ok[value]  then Jade::Result::Ok[decode(ok_decoder, value)]
+        in Jade::Result::Err[error] then Jade::Result::Err[decode(err_decoder, error)]
         end
       end
 
-      private
-
-      def decode(decoder, value)
+      def self.decode(decoder, value)
         Jade::Decode::Runner.run!(decoder, value) do |error|
           fail Jade::Interop::DecodeError.new(error, value, source: :port_return)
         end
       end
     end
-
   end
 end

data/lib/jade/type/anonymous_record.rb

@@ -1,9 +1,18 @@
 module Jade
   module Type
-    AnonymousRecord = Data.define(:fields, :row_var) do
+    AnonymousRecord = Data.define(:fields, :row_var, :display) do
       include Base
+      include Displayable
 
-      def to_s
+      def initialize(fields:, row_var:, display: nil)
+        super
+      end
+
+      def identity
+        [fields, row_var]
+      end
+
+      def render
         row = row_var ? "#{row_var} | " : ""
 
         fields

data/lib/jade/type/application.rb

@@ -1,9 +1,18 @@
 module Jade
   module Type
-    Application = Data.define(:constructor, :args) do
+    Application = Data.define(:constructor, :args, :display) do
       include Base
+      include Displayable
 
-      def to_s
+      def initialize(constructor:, args:, display: nil)
+        super
+      end
+
+      def identity
+        [constructor, args]
+      end
+
+      def render
         return constructor.to_s if args.empty?
 
         if constructor.name.start_with?('Tuple.Tuple')

data/lib/jade/type/base.rb

@@ -5,5 +5,31 @@ module Jade
         fail NotImplementedError
       end
     end
+
+    module Displayable
+      def display_as(name)
+        with(display: name)
+      end
+
+      def to_s
+        display || render
+      end
+
+      def annotated
+        display ? "#{display} (= #{with(display: nil)})" : render
+      end
+
+      # `display` is deliberately out of `identity`: two spellings of one type
+      # must still unify, hash alike and compare equal.
+      def ==(other)
+        other.is_a?(self.class) && identity == other.identity
+      end
+
+      alias eql? ==
+
+      def hash
+        [self.class, *identity].hash
+      end
+    end
   end
 end

data/lib/jade/type/function.rb

@@ -1,9 +1,18 @@
 module Jade
   module Type
-    Function = Data.define(:args, :return_type) do
+    Function = Data.define(:args, :return_type, :display) do
       include Base
+      include Displayable
 
-      def to_s
+      def initialize(args:, return_type:, display: nil)
+        super
+      end
+
+      def identity
+        [args, return_type]
+      end
+
+      def render
         args
           .map(&:to_s).join(', ')
           .then { "(#{it})"} + " -> " + return_type.to_s

data/lib/jade/type.rb

@@ -60,8 +60,8 @@ module Jade
       [args, return_type]
     end
 
-    def anonymous_record(fields, row_var)
-      AnonymousRecord[fields, row_var]
+    def anonymous_record(fields, row_var, display = nil)
+      AnonymousRecord[fields, row_var, display]
     end
 
     def constraint(interface_id, type, origin, index: :unindex)
@@ -246,17 +246,43 @@ module Jade
         [Type::Application[constructor_type, arg_types], union_cs + args_cs, args_map]
 
       in Symbol::TypeApplication(constructor:, args:)
-        constructor_type, union_cs, union_vars =
-          from_symbol_r(constructor, registry, var_gen, var_map)
+        resolved_head = constructor.is_a?(Symbol::TypeRef) ? registry.lookup(constructor) : constructor
+
+        if resolved_head.is_a?(Symbol::Alias)
+          arg_types, args_cs, args_map = args
+            .reduce([[], [], var_map]) do |(types, cs, local_map), sym|
+              from_symbol_r(sym, registry, var_gen, local_map)
+                .then { |(t, c, new_map)| [types + [t], cs + c, new_map] }
+            end
+
+          alias_var_map = resolved_head.type_params.map(&:name).zip(arg_types).to_h
+
+          body_type, body_cs, _ = from_symbol_r(resolved_head.body, registry, var_gen, alias_var_map)
+          display = arg_types.empty? ?
+            resolved_head.name :
+            "#{resolved_head.name}(#{arg_types.join(', ')})"
+          [display_as(body_type, display), args_cs + body_cs, args_map]
+        else
+          constructor_type, union_cs, union_vars =
+            from_symbol_r(constructor, registry, var_gen, var_map)
 
-        arg_types, args_cs, args_map = args
-          .reduce([[], [], union_vars]) do |(types, cs, local_map), sym|
-            from_symbol_r(sym, registry, var_gen, local_map)
-              .then { |(t, c, new_map)| [types + [t], cs + c, new_map] }
-          end
+          arg_types, args_cs, args_map = args
+            .reduce([[], [], union_vars]) do |(types, cs, local_map), sym|
+              from_symbol_r(sym, registry, var_gen, local_map)
+                .then { |(t, c, new_map)| [types + [t], cs + c, new_map] }
+            end
+
+          [Type.constructor(constructor.qualified_name).apply(arg_types), union_cs + args_cs, args_map]
+        end
 
-        [Type.constructor(constructor.qualified_name).apply(arg_types), union_cs + args_cs, args_map]
+      in Symbol::Alias(body:)
+        from_symbol_r(body, registry, var_gen, var_map)
+          .then { |(type, cs, map)| [display_as(type, symbol.name), cs, map] }
       end
     end
+
+    def display_as(type, name)
+      type.is_a?(Displayable) ? type.display_as(name) : type
+    end
   end
 end

data/lib/jade/version.rb

@@ -1,3 +1,3 @@
 module Jade
-  VERSION = '0.8.0'
+  VERSION = '0.10.0'
 end

data/lib/jade.rb

@@ -1,4 +1,5 @@
 require 'jade/version'
+require 'jade/extensions'
 require 'jade/project'
 require 'jade/did_you_mean'
 require 'jade/symbol'

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification
 name: jade-lang
 version: !ruby/object:Gem::Version
-  version: 0.8.0
+  version: 0.10.0
 platform: ruby
 authors:
 - Agustin Cornu
 bindir: exe
 cert_chain: []
-date: 2026-08-19 00:00:00.000000000 Z
+date: 2026-09-03 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: base64
@@ -55,6 +55,7 @@ files:
 - lib/jade/calendar/runtime.rb
 - lib/jade/cli.rb
 - lib/jade/cli/check.rb
+- lib/jade/cli/eject.rb
 - lib/jade/cli/fmt.rb
 - lib/jade/cli/lsp.rb
 - lib/jade/cli/q.rb
@@ -78,6 +79,7 @@ files:
 - lib/jade/codegen/inline.rb
 - lib/jade/codegen/inlines.rb
 - lib/jade/codegen/method_names.rb
+- lib/jade/codegen/names.rb
 - lib/jade/codegen/pattern/constructor.rb
 - lib/jade/codegen/port_codec.rb
 - lib/jade/codegen/pretty.rb
@@ -93,6 +95,7 @@ files:
 - lib/jade/did_you_mean.rb
 - lib/jade/entry.rb
 - lib/jade/error.rb
+- lib/jade/extensions.rb
 - lib/jade/formatter.rb
 - lib/jade/formatter/accesses.rb
 - lib/jade/formatter/bindings.rb
@@ -121,7 +124,10 @@ files:
 - 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/alias_expansion.rb
 - lib/jade/frontend/forward_declaration/error/bad_import.rb
+- lib/jade/frontend/forward_declaration/error/duplicate_constructor_name.rb
+- lib/jade/frontend/forward_declaration/error/duplicate_type_name.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
@@ -139,10 +145,16 @@ files:
 - 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_alias_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/pattern_analysis/pattern.rb
+- lib/jade/frontend/pattern_analysis/redundancy.rb
+- lib/jade/frontend/pattern_analysis/signature.rb
+- lib/jade/frontend/pattern_analysis/usefulness.rb
+- lib/jade/frontend/pattern_analysis/witnesses.rb
 - lib/jade/frontend/semantic_analysis.rb
 - lib/jade/frontend/semantic_analysis/assign.rb
 - lib/jade/frontend/semantic_analysis/body.rb
@@ -157,7 +169,9 @@ files:
 - 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_implementation.rb
 - lib/jade/frontend/semantic_analysis/error/duplicate_record_field.rb
+- lib/jade/frontend/semantic_analysis/error/implementation_on_alias.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
@@ -166,11 +180,13 @@ files:
 - 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/no_base_case.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/placeholder_not_allowed.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/recursive_type_alias.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
@@ -189,6 +205,7 @@ files:
 - 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/inhabitedness.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
@@ -202,6 +219,7 @@ files:
 - 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_range.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
@@ -211,14 +229,16 @@ files:
 - 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_alias_declaration.rb
+- lib/jade/frontend/semantic_analysis/type_alias_declaration/cycle_detection.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/cascade.rb
 - lib/jade/frontend/type_checking/constraints.rb
 - lib/jade/frontend/type_checking/constraints/deriving.rb
-- lib/jade/frontend/type_checking/constraints/deriving/assignable.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
@@ -229,6 +249,9 @@ files:
 - 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/display.rb
+- lib/jade/frontend/type_checking/error/division_by_zero.rb
+- lib/jade/frontend/type_checking/error/empty_range_pattern.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
@@ -241,8 +264,11 @@ files:
 - 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/port_not_encodable.rb
+- lib/jade/frontend/type_checking/error/range_pattern_type.rb
 - lib/jade/frontend/type_checking/error/record_access_type_mismatch.rb
+- lib/jade/frontend/type_checking/error/recursive_derivation.rb
 - lib/jade/frontend/type_checking/error/type_mismatch.rb
+- lib/jade/frontend/type_checking/error/unreachable_branch.rb
 - lib/jade/frontend/type_checking/error/unresolved_constraint.rb
 - lib/jade/frontend/type_checking/expected.rb
 - lib/jade/frontend/type_checking/generalization.rb
@@ -252,6 +278,7 @@ files:
 - 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/division.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
@@ -272,6 +299,7 @@ files:
 - 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_alias_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
@@ -301,6 +329,7 @@ files:
 - lib/jade/lsp/snippets.rb
 - lib/jade/lsp/state.rb
 - lib/jade/module_loader.rb
+- lib/jade/module_loader/build.rb
 - lib/jade/module_loader/cache.rb
 - lib/jade/module_loader/dependency_graph.rb
 - lib/jade/module_loader/dependency_resolver.rb
@@ -335,6 +364,8 @@ files:
 - lib/jade/stdlib/intrinsics.rb
 - lib/jade/stdlib/list.rb
 - lib/jade/stdlib/maybe.rb
+- lib/jade/stdlib/number.rb
+- lib/jade/stdlib/range.rb
 - lib/jade/stdlib/result.rb
 - lib/jade/stdlib/set.rb
 - lib/jade/stdlib/show.rb
@@ -343,6 +374,7 @@ files:
 - lib/jade/stdlib/text.rb
 - lib/jade/stdlib/tuple.rb
 - lib/jade/symbol.rb
+- lib/jade/symbol/alias.rb
 - lib/jade/symbol/anonymous_record.rb
 - lib/jade/symbol/base.rb
 - lib/jade/symbol/constructor.rb