jade-lang 0.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (326) hide show
  1. checksums.yaml +7 -0
  2. data/CHANGELOG.md +23 -0
  3. data/LICENSE +21 -0
  4. data/README.md +386 -0
  5. data/exe/jade +6 -0
  6. data/lib/jade/ast/node.rb +44 -0
  7. data/lib/jade/ast/nodes.rb +35 -0
  8. data/lib/jade/ast/pretty_printer.rb +50 -0
  9. data/lib/jade/ast.rb +723 -0
  10. data/lib/jade/calendar/runtime.rb +15 -0
  11. data/lib/jade/cli/fmt.rb +96 -0
  12. data/lib/jade/cli/lsp.rb +13 -0
  13. data/lib/jade/cli/q.rb +113 -0
  14. data/lib/jade/cli.rb +43 -0
  15. data/lib/jade/clock/runtime.rb +13 -0
  16. data/lib/jade/codegen/boundary/cache.rb +94 -0
  17. data/lib/jade/codegen/boundary/specialized/list.rb +65 -0
  18. data/lib/jade/codegen/boundary/specialized/maybe.rb +40 -0
  19. data/lib/jade/codegen/boundary/specialized/record.rb +165 -0
  20. data/lib/jade/codegen/boundary/specialized/scalar.rb +67 -0
  21. data/lib/jade/codegen/boundary/specialized.rb +106 -0
  22. data/lib/jade/codegen/boundary.rb +189 -0
  23. data/lib/jade/codegen/constructor_reference.rb +18 -0
  24. data/lib/jade/codegen/context.rb +96 -0
  25. data/lib/jade/codegen/emitter.rb +81 -0
  26. data/lib/jade/codegen/function_call.rb +367 -0
  27. data/lib/jade/codegen/function_declaration.rb +199 -0
  28. data/lib/jade/codegen/helpers.rb +103 -0
  29. data/lib/jade/codegen/implementation.rb +178 -0
  30. data/lib/jade/codegen/inline.rb +89 -0
  31. data/lib/jade/codegen/inlines.rb +326 -0
  32. data/lib/jade/codegen/method_names.rb +54 -0
  33. data/lib/jade/codegen/pattern/constructor.rb +57 -0
  34. data/lib/jade/codegen/port_decoder.rb +77 -0
  35. data/lib/jade/codegen/pretty.rb +53 -0
  36. data/lib/jade/codegen/transforms/fold_shape.rb +222 -0
  37. data/lib/jade/codegen/transforms/self_call.rb +80 -0
  38. data/lib/jade/codegen/transforms/tail_call.rb +120 -0
  39. data/lib/jade/codegen/variant_declaration.rb +41 -0
  40. data/lib/jade/codegen.rb +400 -0
  41. data/lib/jade/compiler.rb +69 -0
  42. data/lib/jade/decode.rb +320 -0
  43. data/lib/jade/diagnostics/renderer.rb +121 -0
  44. data/lib/jade/diagnostics.rb +77 -0
  45. data/lib/jade/did_you_mean.rb +16 -0
  46. data/lib/jade/entry.rb +177 -0
  47. data/lib/jade/error.rb +72 -0
  48. data/lib/jade/formatter/accesses.rb +37 -0
  49. data/lib/jade/formatter/bindings.rb +29 -0
  50. data/lib/jade/formatter/body.rb +50 -0
  51. data/lib/jade/formatter/calls.rb +51 -0
  52. data/lib/jade/formatter/case_of.rb +31 -0
  53. data/lib/jade/formatter/case_of_branch.rb +59 -0
  54. data/lib/jade/formatter/collections.rb +78 -0
  55. data/lib/jade/formatter/declarations.rb +178 -0
  56. data/lib/jade/formatter/exposing.rb +48 -0
  57. data/lib/jade/formatter/function_declaration.rb +72 -0
  58. data/lib/jade/formatter/helper.rb +122 -0
  59. data/lib/jade/formatter/if_then_else.rb +64 -0
  60. data/lib/jade/formatter/infix_application.rb +69 -0
  61. data/lib/jade/formatter/lambda.rb +50 -0
  62. data/lib/jade/formatter/leaves.rb +111 -0
  63. data/lib/jade/formatter/module_node.rb +26 -0
  64. data/lib/jade/formatter/pattern.rb +61 -0
  65. data/lib/jade/formatter/type.rb +67 -0
  66. data/lib/jade/formatter.rb +38 -0
  67. data/lib/jade/frontend/comment_attacher.rb +121 -0
  68. data/lib/jade/frontend/desugaring/placeholder.rb +39 -0
  69. data/lib/jade/frontend/desugaring/resolved.rb +63 -0
  70. data/lib/jade/frontend/desugaring.rb +217 -0
  71. data/lib/jade/frontend/fixity_fixer.rb +209 -0
  72. data/lib/jade/frontend/forward_declaration/body.rb +30 -0
  73. data/lib/jade/frontend/forward_declaration/error/bad_import.rb +19 -0
  74. data/lib/jade/frontend/forward_declaration/error/exposed_type_not_found.rb +18 -0
  75. data/lib/jade/frontend/forward_declaration/error/exposed_value_not_found.rb +18 -0
  76. data/lib/jade/frontend/forward_declaration/error/module_not_found.rb +18 -0
  77. data/lib/jade/frontend/forward_declaration/error/private_type_expansion.rb +19 -0
  78. data/lib/jade/frontend/forward_declaration/error/tuple_arity_overflow.rb +25 -0
  79. data/lib/jade/frontend/forward_declaration/error/type_not_found.rb +29 -0
  80. data/lib/jade/frontend/forward_declaration/error/type_not_lowerable.rb +16 -0
  81. data/lib/jade/frontend/forward_declaration/error/unknown_extends_interface.rb +18 -0
  82. data/lib/jade/frontend/forward_declaration/error.rb +11 -0
  83. data/lib/jade/frontend/forward_declaration/function_declaration.rb +32 -0
  84. data/lib/jade/frontend/forward_declaration/helper.rb +91 -0
  85. data/lib/jade/frontend/forward_declaration/implementation.rb +63 -0
  86. data/lib/jade/frontend/forward_declaration/implementation_function.rb +39 -0
  87. data/lib/jade/frontend/forward_declaration/import_declaration.rb +115 -0
  88. data/lib/jade/frontend/forward_declaration/interface_declaration.rb +66 -0
  89. data/lib/jade/frontend/forward_declaration/interop_import_declaration.rb +99 -0
  90. data/lib/jade/frontend/forward_declaration/module.rb +98 -0
  91. data/lib/jade/frontend/forward_declaration/struct_declaration.rb +42 -0
  92. data/lib/jade/frontend/forward_declaration/type_declaration.rb +42 -0
  93. data/lib/jade/frontend/forward_declaration.rb +71 -0
  94. data/lib/jade/frontend/pattern_analysis/exhaustiveness.rb +65 -0
  95. data/lib/jade/frontend/pattern_analysis/matrix.rb +235 -0
  96. data/lib/jade/frontend/pattern_analysis.rb +40 -0
  97. data/lib/jade/frontend/semantic_analysis/assign.rb +20 -0
  98. data/lib/jade/frontend/semantic_analysis/body.rb +33 -0
  99. data/lib/jade/frontend/semantic_analysis/case_of.rb +19 -0
  100. data/lib/jade/frontend/semantic_analysis/case_of_branch.rb +20 -0
  101. data/lib/jade/frontend/semantic_analysis/char_literal.rb +14 -0
  102. data/lib/jade/frontend/semantic_analysis/constructor_reference.rb +64 -0
  103. data/lib/jade/frontend/semantic_analysis/error/circular_extends.rb +19 -0
  104. data/lib/jade/frontend/semantic_analysis/error/constant_not_callable.rb +24 -0
  105. data/lib/jade/frontend/semantic_analysis/error/constructor_not_found.rb +34 -0
  106. data/lib/jade/frontend/semantic_analysis/error/constructor_pattern_arity_mismatch.rb +24 -0
  107. data/lib/jade/frontend/semantic_analysis/error/duplicate_field.rb +18 -0
  108. data/lib/jade/frontend/semantic_analysis/error/duplicate_function_declaration.rb +25 -0
  109. data/lib/jade/frontend/semantic_analysis/error/duplicate_record_field.rb +19 -0
  110. data/lib/jade/frontend/semantic_analysis/error/invalid_list_rest_pattern.rb +21 -0
  111. data/lib/jade/frontend/semantic_analysis/error/kwargs_on_non_constructor.rb +17 -0
  112. data/lib/jade/frontend/semantic_analysis/error/missing_exposing_clause.rb +17 -0
  113. data/lib/jade/frontend/semantic_analysis/error/missing_extends_implementation.rb +21 -0
  114. data/lib/jade/frontend/semantic_analysis/error/missing_field.rb +20 -0
  115. data/lib/jade/frontend/semantic_analysis/error/missing_implementation_function.rb +19 -0
  116. data/lib/jade/frontend/semantic_analysis/error/module_not_found.rb +22 -0
  117. data/lib/jade/frontend/semantic_analysis/error/nested_task_port.rb +19 -0
  118. data/lib/jade/frontend/semantic_analysis/error/non_task_port.rb +22 -0
  119. data/lib/jade/frontend/semantic_analysis/error/orphan_implementation.rb +20 -0
  120. data/lib/jade/frontend/semantic_analysis/error/predicate_must_return_bool.rb +22 -0
  121. data/lib/jade/frontend/semantic_analysis/error/predicate_name_not_allowed.rb +25 -0
  122. data/lib/jade/frontend/semantic_analysis/error/shadowing_error.rb +22 -0
  123. data/lib/jade/frontend/semantic_analysis/error/type_args_mismatch.rb +25 -0
  124. data/lib/jade/frontend/semantic_analysis/error/type_param_required.rb +19 -0
  125. data/lib/jade/frontend/semantic_analysis/error/unbound_type_variable.rb +22 -0
  126. data/lib/jade/frontend/semantic_analysis/error/undefined_variable.rb +29 -0
  127. data/lib/jade/frontend/semantic_analysis/error/unknown_field.rb +20 -0
  128. data/lib/jade/frontend/semantic_analysis/error/unknown_implementation_function.rb +19 -0
  129. data/lib/jade/frontend/semantic_analysis/error/unused_interface_type_param.rb +24 -0
  130. data/lib/jade/frontend/semantic_analysis/error/value_not_exposed.rb +23 -0
  131. data/lib/jade/frontend/semantic_analysis/error/variable_not_found.rb +25 -0
  132. data/lib/jade/frontend/semantic_analysis/error.rb +40 -0
  133. data/lib/jade/frontend/semantic_analysis/function_call.rb +60 -0
  134. data/lib/jade/frontend/semantic_analysis/function_declaration.rb +58 -0
  135. data/lib/jade/frontend/semantic_analysis/grouping.rb +17 -0
  136. data/lib/jade/frontend/semantic_analysis/helper.rb +152 -0
  137. data/lib/jade/frontend/semantic_analysis/if_then_else.rb +20 -0
  138. data/lib/jade/frontend/semantic_analysis/implementation.rb +143 -0
  139. data/lib/jade/frontend/semantic_analysis/implementation_function.rb +16 -0
  140. data/lib/jade/frontend/semantic_analysis/import_declaration.rb +14 -0
  141. data/lib/jade/frontend/semantic_analysis/interface_declaration.rb +45 -0
  142. data/lib/jade/frontend/semantic_analysis/interop_import_declaration.rb +69 -0
  143. data/lib/jade/frontend/semantic_analysis/keyed_call/validation.rb +109 -0
  144. data/lib/jade/frontend/semantic_analysis/keyed_call.rb +88 -0
  145. data/lib/jade/frontend/semantic_analysis/lambda.rb +23 -0
  146. data/lib/jade/frontend/semantic_analysis/list.rb +17 -0
  147. data/lib/jade/frontend/semantic_analysis/literal.rb +23 -0
  148. data/lib/jade/frontend/semantic_analysis/member_access.rb +87 -0
  149. data/lib/jade/frontend/semantic_analysis/module_node.rb +27 -0
  150. data/lib/jade/frontend/semantic_analysis/pattern_binding.rb +27 -0
  151. data/lib/jade/frontend/semantic_analysis/pattern_constructor.rb +47 -0
  152. data/lib/jade/frontend/semantic_analysis/pattern_list.rb +33 -0
  153. data/lib/jade/frontend/semantic_analysis/pattern_literal.rb +17 -0
  154. data/lib/jade/frontend/semantic_analysis/pattern_record.rb +25 -0
  155. data/lib/jade/frontend/semantic_analysis/pattern_wildcard.rb +14 -0
  156. data/lib/jade/frontend/semantic_analysis/qualified_access.rb +14 -0
  157. data/lib/jade/frontend/semantic_analysis/record_access.rb +14 -0
  158. data/lib/jade/frontend/semantic_analysis/record_field.rb +17 -0
  159. data/lib/jade/frontend/semantic_analysis/record_literal.rb +21 -0
  160. data/lib/jade/frontend/semantic_analysis/record_update.rb +21 -0
  161. data/lib/jade/frontend/semantic_analysis/struct_declaration.rb +44 -0
  162. data/lib/jade/frontend/semantic_analysis/tuple.rb +17 -0
  163. data/lib/jade/frontend/semantic_analysis/type_declaration.rb +69 -0
  164. data/lib/jade/frontend/semantic_analysis/variable_reference.rb +27 -0
  165. data/lib/jade/frontend/semantic_analysis/variant_declaration.rb +18 -0
  166. data/lib/jade/frontend/semantic_analysis.rb +161 -0
  167. data/lib/jade/frontend/type_checking/canonicalize.rb +97 -0
  168. data/lib/jade/frontend/type_checking/constraints/deriving/decodable.rb +144 -0
  169. data/lib/jade/frontend/type_checking/constraints/deriving/encodable.rb +144 -0
  170. data/lib/jade/frontend/type_checking/constraints/deriving/eq.rb +265 -0
  171. data/lib/jade/frontend/type_checking/constraints/deriving/helpers.rb +59 -0
  172. data/lib/jade/frontend/type_checking/constraints/deriving.rb +28 -0
  173. data/lib/jade/frontend/type_checking/constraints.rb +101 -0
  174. data/lib/jade/frontend/type_checking/definition.rb +71 -0
  175. data/lib/jade/frontend/type_checking/env.rb +79 -0
  176. data/lib/jade/frontend/type_checking/error/case_of_branches_type_mismatch.rb +19 -0
  177. data/lib/jade/frontend/type_checking/error/derivation_failed.rb +21 -0
  178. data/lib/jade/frontend/type_checking/error/function_body_type_mismatch.rb +23 -0
  179. data/lib/jade/frontend/type_checking/error/function_call_type_mismatch.rb +37 -0
  180. data/lib/jade/frontend/type_checking/error/if_branch_type_mismatch.rb +19 -0
  181. data/lib/jade/frontend/type_checking/error/if_branches_type_mismatch.rb +18 -0
  182. data/lib/jade/frontend/type_checking/error/if_condition_type_mismatch.rb +17 -0
  183. data/lib/jade/frontend/type_checking/error/implementation_type_mismatch.rb +20 -0
  184. data/lib/jade/frontend/type_checking/error/list_item_type_mismatch.rb +19 -0
  185. data/lib/jade/frontend/type_checking/error/missing_implementation.rb +20 -0
  186. data/lib/jade/frontend/type_checking/error/missing_patterns.rb +26 -0
  187. data/lib/jade/frontend/type_checking/error/pattern_type_mismatch.rb +13 -0
  188. data/lib/jade/frontend/type_checking/error/port_not_decodable.rb +38 -0
  189. data/lib/jade/frontend/type_checking/error/record_access_type_mismatch.rb +14 -0
  190. data/lib/jade/frontend/type_checking/error/type_mismatch.rb +23 -0
  191. data/lib/jade/frontend/type_checking/error/unresolved_constraint.rb +20 -0
  192. data/lib/jade/frontend/type_checking/error.rb +18 -0
  193. data/lib/jade/frontend/type_checking/expected.rb +23 -0
  194. data/lib/jade/frontend/type_checking/generalization.rb +17 -0
  195. data/lib/jade/frontend/type_checking/generalizer.rb +38 -0
  196. data/lib/jade/frontend/type_checking/inference/assign.rb +58 -0
  197. data/lib/jade/frontend/type_checking/inference/body.rb +45 -0
  198. data/lib/jade/frontend/type_checking/inference/case_of.rb +102 -0
  199. data/lib/jade/frontend/type_checking/inference/constructor_reference.rb +21 -0
  200. data/lib/jade/frontend/type_checking/inference/function_call.rb +132 -0
  201. data/lib/jade/frontend/type_checking/inference/function_declaration.rb +70 -0
  202. data/lib/jade/frontend/type_checking/inference/grouping.rb +18 -0
  203. data/lib/jade/frontend/type_checking/inference/helpers.rb +34 -0
  204. data/lib/jade/frontend/type_checking/inference/if_then_else.rb +46 -0
  205. data/lib/jade/frontend/type_checking/inference/implementation.rb +150 -0
  206. data/lib/jade/frontend/type_checking/inference/import_declaration.rb +19 -0
  207. data/lib/jade/frontend/type_checking/inference/interface_declaration.rb +18 -0
  208. data/lib/jade/frontend/type_checking/inference/interop_import_declaration.rb +18 -0
  209. data/lib/jade/frontend/type_checking/inference/lambda.rb +87 -0
  210. data/lib/jade/frontend/type_checking/inference/list.rb +52 -0
  211. data/lib/jade/frontend/type_checking/inference/literal.rb +24 -0
  212. data/lib/jade/frontend/type_checking/inference/module.rb +18 -0
  213. data/lib/jade/frontend/type_checking/inference/pattern.rb +135 -0
  214. data/lib/jade/frontend/type_checking/inference/qualified_access.rb +23 -0
  215. data/lib/jade/frontend/type_checking/inference/record_access.rb +35 -0
  216. data/lib/jade/frontend/type_checking/inference/record_field.rb +19 -0
  217. data/lib/jade/frontend/type_checking/inference/record_literal.rb +24 -0
  218. data/lib/jade/frontend/type_checking/inference/record_update.rb +37 -0
  219. data/lib/jade/frontend/type_checking/inference/struct_declaration.rb +18 -0
  220. data/lib/jade/frontend/type_checking/inference/type_declaration.rb +18 -0
  221. data/lib/jade/frontend/type_checking/inference/variable_reference.rb +27 -0
  222. data/lib/jade/frontend/type_checking/inference.rb +27 -0
  223. data/lib/jade/frontend/type_checking/instantiation.rb +24 -0
  224. data/lib/jade/frontend/type_checking/loader.rb +80 -0
  225. data/lib/jade/frontend/type_checking/placeholder.rb +12 -0
  226. data/lib/jade/frontend/type_checking/port_resolution.rb +123 -0
  227. data/lib/jade/frontend/type_checking/result.rb +41 -0
  228. data/lib/jade/frontend/type_checking/scheme.rb +20 -0
  229. data/lib/jade/frontend/type_checking/state.rb +52 -0
  230. data/lib/jade/frontend/type_checking/substitution.rb +93 -0
  231. data/lib/jade/frontend/type_checking/unification.rb +282 -0
  232. data/lib/jade/frontend/type_checking/var_gen.rb +33 -0
  233. data/lib/jade/frontend/type_checking.rb +129 -0
  234. data/lib/jade/frontend/unused_analysis.rb +41 -0
  235. data/lib/jade/frontend/usage_analysis/reference_index.rb +53 -0
  236. data/lib/jade/frontend/usage_analysis.rb +195 -0
  237. data/lib/jade/frontend.rb +101 -0
  238. data/lib/jade/interop/boundary.rb +68 -0
  239. data/lib/jade/interop/error.rb +84 -0
  240. data/lib/jade/interop/lowering/error.rb +32 -0
  241. data/lib/jade/interop/lowering.rb +53 -0
  242. data/lib/jade/interop/runtime.rb +24 -0
  243. data/lib/jade/interop.rb +1 -0
  244. data/lib/jade/lexer.rb +189 -0
  245. data/lib/jade/lsp/converters.rb +542 -0
  246. data/lib/jade/lsp/handlers.rb +340 -0
  247. data/lib/jade/lsp/server.rb +63 -0
  248. data/lib/jade/lsp/snippets.rb +100 -0
  249. data/lib/jade/lsp/state.rb +25 -0
  250. data/lib/jade/lsp.rb +16 -0
  251. data/lib/jade/module_loader/cache.rb +56 -0
  252. data/lib/jade/module_loader/dependency_graph.rb +23 -0
  253. data/lib/jade/module_loader/dependency_resolver.rb +48 -0
  254. data/lib/jade/module_loader/normalize.rb +34 -0
  255. data/lib/jade/module_loader/topological_sort.rb +41 -0
  256. data/lib/jade/module_loader.rb +127 -0
  257. data/lib/jade/parsing/combinators.rb +291 -0
  258. data/lib/jade/parsing/error.rb +154 -0
  259. data/lib/jade/parsing/token.rb +12 -0
  260. data/lib/jade/parsing/type.rb +92 -0
  261. data/lib/jade/parsing.rb +674 -0
  262. data/lib/jade/port.rb +1 -0
  263. data/lib/jade/registry.rb +79 -0
  264. data/lib/jade/result.rb +121 -0
  265. data/lib/jade/runtime.rb +127 -0
  266. data/lib/jade/source.rb +62 -0
  267. data/lib/jade/stdlib/basics.rb +214 -0
  268. data/lib/jade/stdlib/bytes.rb +70 -0
  269. data/lib/jade/stdlib/calendar.rb +405 -0
  270. data/lib/jade/stdlib/char.rb +27 -0
  271. data/lib/jade/stdlib/clock.rb +342 -0
  272. data/lib/jade/stdlib/compiled.rb +48 -0
  273. data/lib/jade/stdlib/decode/params.rb +154 -0
  274. data/lib/jade/stdlib/decode.rb +315 -0
  275. data/lib/jade/stdlib/dict.rb +134 -0
  276. data/lib/jade/stdlib/encode.rb +143 -0
  277. data/lib/jade/stdlib/intrinsics.rb +280 -0
  278. data/lib/jade/stdlib/list.rb +214 -0
  279. data/lib/jade/stdlib/maybe.rb +73 -0
  280. data/lib/jade/stdlib/result.rb +131 -0
  281. data/lib/jade/stdlib/set.rb +123 -0
  282. data/lib/jade/stdlib/string.rb +65 -0
  283. data/lib/jade/stdlib/task.rb +55 -0
  284. data/lib/jade/stdlib/tuple.rb +21 -0
  285. data/lib/jade/stdlib.rb +112 -0
  286. data/lib/jade/symbol/anonymous_record.rb +7 -0
  287. data/lib/jade/symbol/base.rb +15 -0
  288. data/lib/jade/symbol/constructor.rb +11 -0
  289. data/lib/jade/symbol/derived_function.rb +5 -0
  290. data/lib/jade/symbol/function.rb +15 -0
  291. data/lib/jade/symbol/function_type.rb +7 -0
  292. data/lib/jade/symbol/implementation.rb +17 -0
  293. data/lib/jade/symbol/implementation_template.rb +13 -0
  294. data/lib/jade/symbol/interface.rb +11 -0
  295. data/lib/jade/symbol/interface_function.rb +18 -0
  296. data/lib/jade/symbol/interop_function.rb +22 -0
  297. data/lib/jade/symbol/lambda.rb +7 -0
  298. data/lib/jade/symbol/parser.rb +79 -0
  299. data/lib/jade/symbol/partial_application.rb +7 -0
  300. data/lib/jade/symbol/record_type.rb +8 -0
  301. data/lib/jade/symbol/stdlib_function.rb +15 -0
  302. data/lib/jade/symbol/stdlib_implementation.rb +7 -0
  303. data/lib/jade/symbol/struct.rb +15 -0
  304. data/lib/jade/symbol/type_application.rb +8 -0
  305. data/lib/jade/symbol/type_ref.rb +11 -0
  306. data/lib/jade/symbol/union.rb +15 -0
  307. data/lib/jade/symbol/value_ref.rb +15 -0
  308. data/lib/jade/symbol/variable.rb +7 -0
  309. data/lib/jade/symbol/variant.rb +11 -0
  310. data/lib/jade/symbol.rb +162 -0
  311. data/lib/jade/task.rb +103 -0
  312. data/lib/jade/tasks/rspec.rb +266 -0
  313. data/lib/jade/tasks.rb +70 -0
  314. data/lib/jade/type/anonymous_record.rb +33 -0
  315. data/lib/jade/type/application.rb +21 -0
  316. data/lib/jade/type/base.rb +9 -0
  317. data/lib/jade/type/constraint.rb +17 -0
  318. data/lib/jade/type/constructor.rb +19 -0
  319. data/lib/jade/type/function.rb +18 -0
  320. data/lib/jade/type/partial_application.rb +17 -0
  321. data/lib/jade/type/unit.rb +15 -0
  322. data/lib/jade/type/var.rb +21 -0
  323. data/lib/jade/type.rb +259 -0
  324. data/lib/jade/version.rb +3 -0
  325. data/lib/jade.rb +55 -0
  326. metadata +387 -0
@@ -0,0 +1,400 @@
1
+ require 'jade/codegen/context'
2
+ require 'jade/codegen/helpers'
3
+ require 'jade/codegen/pretty'
4
+ require 'jade/codegen/method_names'
5
+ require 'jade/codegen/inlines'
6
+ require 'jade/codegen/inline'
7
+ require 'jade/codegen/boundary'
8
+ require 'jade/codegen/boundary/cache'
9
+ require 'jade/codegen/boundary/specialized'
10
+
11
+ require 'jade/codegen/emitter'
12
+
13
+ require 'jade/codegen/constructor_reference'
14
+ require 'jade/codegen/variant_declaration'
15
+ require 'jade/codegen/pattern/constructor'
16
+ require 'jade/codegen/transforms/self_call'
17
+ require 'jade/codegen/transforms/tail_call'
18
+ require 'jade/codegen/transforms/fold_shape'
19
+ require 'jade/codegen/function_declaration'
20
+ require 'jade/codegen/function_call'
21
+ require 'jade/codegen/implementation'
22
+ require 'jade/codegen/port_decoder'
23
+
24
+ module Jade
25
+ module Codegen
26
+ extend self
27
+ extend Emitter
28
+ extend Helpers
29
+ extend Context
30
+
31
+ def record_shape_constant(keys)
32
+ "Record_#{keys.join('_')}"
33
+ end
34
+
35
+ def collect_record_shapes(node, shapes = ::Set.new)
36
+ shapes << node.fields.map(&:key).sort if node.is_a?(AST::RecordLiteral)
37
+
38
+ if node.is_a?(AST::Node)
39
+ node.members.each do |m|
40
+ [*node.public_send(m)].each { collect_record_shapes(it, shapes) if it.is_a?(AST::Node) }
41
+ end
42
+ end
43
+
44
+ shapes
45
+ end
46
+
47
+ def collect_dispatched_methods(body, registry)
48
+ body.expressions
49
+ .filter { it.is_a?(AST::Implementation) }
50
+ .filter { MethodNames.operator_interface?(it.symbol.interface.qualified_name) }
51
+ .flat_map do |node|
52
+ methods = Implementation.method_bodies_for(node, registry)
53
+ ruby_classes_for_type(node.symbol.type, registry).map { [it, methods] }
54
+ end
55
+ .group_by(&:first)
56
+ .transform_values { |pairs| pairs.flat_map(&:last) }
57
+ end
58
+
59
+ def data_define_with_methods(name, fields, ruby_class)
60
+ methods = dispatched_methods[ruby_class] || []
61
+ base = data_define(fields)
62
+
63
+ if methods.empty?
64
+ "#{name} = #{base}"
65
+ else
66
+ methods
67
+ .join(Pretty.newline(2))
68
+ .then { Pretty.block("#{name} = #{base} do", it) }
69
+ end
70
+ end
71
+
72
+ def generate_entry(entry, registry)
73
+ generate(entry.ast, registry)
74
+ .then { entry.entry ? "#{load_path}\n#{it}" : it }
75
+ .then { entry.with(generated: it) }
76
+ end
77
+
78
+ def reference_emission(resolved, dictionaries, registry, &fallback)
79
+ FunctionCall.reference_with_dictionaries(resolved, dictionaries, registry) || fallback.call
80
+ end
81
+
82
+ def generate(node, registry, depth: 0)
83
+ case node
84
+ in AST::Module(name:, body:)
85
+ preamble = [
86
+ "require 'jade/runtime'",
87
+ *Stdlib.requires(name),
88
+ *namespace_setup_lines(name),
89
+ ].reject(&:empty?).join(Pretty.newline)
90
+
91
+ shape_consts = collect_record_shapes(body)
92
+ .sort
93
+ .map { |keys|
94
+ "#{record_shape_constant(keys)} = Data.define(#{keys.map { ":#{it}" }.join(', ')})"
95
+ }
96
+
97
+ boundary_cache = Boundary::Cache.collect(body, registry)
98
+ boundary_consts = Boundary::Cache.constants(boundary_cache, registry)
99
+ boundary_helpers = Boundary::Specialized.collect_helpers(body, registry)
100
+ .then { Boundary::Specialized.emit_helpers(it, registry) }
101
+
102
+ outer, inner, wrappers =
103
+ with_boundary_cache(boundary_cache) do
104
+ with_dispatched_methods(collect_dispatched_methods(body, registry)) do
105
+ with_hoisted_records do
106
+ partition_module_body(body.expressions, registry, name.count('.'))
107
+ end
108
+ end
109
+ end
110
+
111
+ inner_module = ["extend self", *inner]
112
+ .join(Pretty.newline(2))
113
+ .then { Pretty.block("module Internal", it) }
114
+
115
+ [
116
+ "extend self",
117
+ *shape_consts,
118
+ *outer,
119
+ inner_module,
120
+ *boundary_consts,
121
+ *boundary_helpers,
122
+ *wrappers,
123
+ ]
124
+ .reject(&:empty?)
125
+ .join(Pretty.newline(2))
126
+ .then { Pretty.block("module #{to_qualified(name)}", it) }
127
+ .then { [preamble, it].reject(&:empty?).join(Pretty.newline(2)) }
128
+
129
+ in AST::ImportDeclaration(module_name:)
130
+ entry = registry.get(module_name)
131
+ if Stdlib.is_stdlib?(entry)
132
+ ""
133
+ else
134
+ entry.path
135
+ .then { relative_require(it, depth) }
136
+ .then { "require_relative '#{it}'" }
137
+ end
138
+
139
+ in AST::InteropImportDeclaration(module: mod)
140
+ Pretty.block("begin", "require '#{mod.name.gsub('::', '/').downcase}'\nrescue LoadError")
141
+
142
+ in AST::Implementation
143
+ Implementation.generate(node, registry)
144
+
145
+ in AST::Body(expressions:)
146
+ expressions
147
+ .map { generate(it, registry, depth:) }
148
+ .reject(&:empty?)
149
+ .join("\n")
150
+
151
+ in AST::VariableReference(name:) if name == self_var_name
152
+ 'self'
153
+
154
+ in AST::VariableReference(symbol: ref, name:, dictionaries:)
155
+ resolved = ref.is_a?(Symbol::ValueRef) ? registry.lookup(ref) : ref
156
+
157
+ reference_emission(resolved, dictionaries, registry) do
158
+ case resolved
159
+ in Symbol::InteropFunction => sym
160
+ registry
161
+ .lookup(sym.to_ref)
162
+ .then { PortDecoder.task_call(it, registry) }
163
+
164
+ in Symbol::StdlibFunction(codegen:)
165
+ codegen
166
+
167
+ in Symbol::Function => fn
168
+ "#{to_qualified(fn.module_name)}::Internal.method(:#{fn.name})"
169
+
170
+ else
171
+ name
172
+ end
173
+ end
174
+
175
+ in AST::Assign(pattern:, expression:)
176
+ case pattern
177
+ in AST::Pattern::Binding(name:)
178
+ "#{name} = #{generate(expression, registry)}"
179
+ in AST::Pattern::Wildcard
180
+ generate(expression, registry)
181
+ else
182
+ "#{generate(expression, registry)} => #{generate(pattern, registry)}"
183
+ end
184
+
185
+ in AST::Literal(value:)
186
+ emit(value)
187
+
188
+ in AST::CharLiteral(value:)
189
+ emit(value)
190
+
191
+ in AST::FunctionDeclaration
192
+ FunctionDeclaration.generate(node, registry)
193
+
194
+ in AST::FunctionDeclarationParam(name:)
195
+ name
196
+
197
+ in AST::FunctionCall
198
+ FunctionCall.generate(node, registry)
199
+
200
+ in AST::ConstructorReference
201
+ ConstructorReference.generate(node, registry)
202
+
203
+ in AST::TypeDeclaration(variants:)
204
+ variants
205
+ .map { VariantDeclaration.generate(it, variants.map(&:name)) }
206
+ .join(Pretty.newline(2))
207
+
208
+ in AST::StructDeclaration(name:, record_type:, symbol:)
209
+ data_define_with_methods(name, record_type.fields.keys, "::#{to_qualified(symbol.qualified_name)}")
210
+
211
+ in AST::InterfaceDeclaration
212
+ ""
213
+
214
+ in AST::QualifiedAccess(symbol:, dictionaries:)
215
+ resolved = registry.lookup(symbol)
216
+
217
+ reference_emission(resolved, dictionaries, registry) do
218
+ case resolved
219
+ in Symbol::StdlibFunction(codegen:)
220
+ codegen
221
+
222
+ in Symbol::Function => fn
223
+ "#{to_qualified(fn.module_name)}::Internal.method(:#{fn.name})"
224
+
225
+ in Symbol::Constructor => sym
226
+ ConstructorReference.from_symbol(sym)
227
+ end
228
+ end
229
+
230
+ in AST::IfThenElse(condition:, if_branch:, else_branch:)
231
+ [
232
+ "if (#{generate(condition, registry)})",
233
+ Pretty.indent(generate(if_branch, registry)),
234
+ "else",
235
+ Pretty.indent(generate(else_branch, registry)),
236
+ "end",
237
+ ].join(Pretty.newline)
238
+
239
+ in AST::CaseOf(expression:, branches:)
240
+ branches
241
+ .map { generate(it, registry) }
242
+ .join("\n")
243
+ .then { "case #{generate(expression, registry)}\n#{it}\nend" }
244
+
245
+ in AST::CaseOfBranch(pattern:, body:)
246
+ pat = generate(pattern, registry)
247
+ body = generate(body, registry)
248
+
249
+ Pretty.multiline?(body) \
250
+ ? "in #{pat} then\n#{Pretty.indent(body)}"
251
+ : "in #{pat} then #{body}"
252
+
253
+ in AST::Pattern::Literal(literal:)
254
+ generate(literal, registry)
255
+
256
+ in AST::Pattern::Wildcard
257
+ "_"
258
+
259
+ in AST::Pattern::Binding(name:)
260
+ name
261
+
262
+ in AST::Pattern::Record(fields:)
263
+ generate_many(fields, registry)
264
+ .then { "{ #{it} }"}
265
+
266
+ in AST::Pattern::RecordField(name:, pattern:)
267
+ "#{name}: #{generate(pattern, registry)}"
268
+
269
+ in AST::Pattern::List(patterns:, rest:)
270
+ rest_part =
271
+ case rest
272
+ in AST::Pattern::Binding(name:) then ["*#{name}"]
273
+ in AST::Pattern::Wildcard then ["*"]
274
+ in nil then []
275
+ end
276
+
277
+ Pretty.array(patterns.map { generate(it, registry) } + rest_part)
278
+
279
+ in AST::Pattern::Constructor
280
+ Pattern::Constructor.generate(node, registry)
281
+
282
+ in AST::Lambda(params:, body:)
283
+ param_strs = params.zip(0..).map { |p, i| param_name(p, i) }
284
+
285
+ params
286
+ .zip(0..)
287
+ .filter_map { |p, i| "#{param_synthetic_name(i)} => #{generate(p, registry)}" unless simple_pattern?(p) }
288
+ .then { (it + [generate(body, registry)]).join("\n") }
289
+ .then { Pretty.lambda(param_strs.join(', '), it) }
290
+
291
+ in AST::Grouping(expression:)
292
+ "(#{generate(expression, registry)})"
293
+
294
+ in AST::List(items:)
295
+ Pretty.array(items.map { generate(it, registry) })
296
+
297
+ in AST::RecordLiteral(fields:)
298
+ fields.sort_by(&:key).then do |sorted|
299
+ keys = sorted.map(&:key)
300
+ values = generate_many(sorted.map(&:value), registry)
301
+
302
+ hoist_records? \
303
+ ? "#{record_shape_constant(keys)}[#{values}]"
304
+ : "Jade::Runtime.record(#{keys.map { ":#{it}" }.join(', ')})[#{values}]"
305
+ end
306
+
307
+ in AST::RecordField(key:, value:)
308
+ "#{key}: #{generate(value, registry)}"
309
+
310
+ in AST::RecordAccess(target:, name:)
311
+ if self_var_name && target.is_a?(AST::VariableReference) && target.name == self_var_name
312
+ name.name
313
+ else
314
+ "#{generate(target, registry)}.#{name.name}"
315
+ end
316
+
317
+ in AST::RecordUpdate(base:, fields:)
318
+ generate_many(fields, registry)
319
+ .then { "#{generate(base, registry)}.with(#{it})" }
320
+ end
321
+ end
322
+
323
+ private
324
+
325
+ def param_name(pattern, index = 0)
326
+ case pattern
327
+ in AST::Pattern::Binding(name:) then name
328
+ in AST::Pattern::Wildcard then '_'
329
+ else
330
+ param_synthetic_name(index)
331
+ end
332
+ end
333
+
334
+ def simple_pattern?(pattern)
335
+ pattern.is_a?(AST::Pattern::Binding) || pattern.is_a?(AST::Pattern::Wildcard)
336
+ end
337
+
338
+ def relative_require(import_path, current_depth)
339
+ "#{'../' * current_depth}#{import_path}"
340
+ end
341
+
342
+ def namespace_setup_lines(name)
343
+ parts = name.split('.')
344
+ (0...parts.length - 1)
345
+ .map { parts[0..it].join('::') }
346
+ .then { |prefixes| Stdlib.stdlib_name?(name) ? ['Jade'] + prefixes.map { "Jade::#{it}" } : prefixes }
347
+ .map { "module #{it}; end" }
348
+ end
349
+
350
+ # Returns [outer, inner, wrappers]: outer goes before `module Internal`,
351
+ # inner lives inside it, wrappers come after the singleton-method
352
+ # fallthrough loop so they override the proxies.
353
+ def partition_module_body(expressions, registry, depth)
354
+ expressions
355
+ .chunk_while { |a, b| import?(a) && import?(b) }
356
+ .flat_map { group_chunks(it, registry, depth) }
357
+ .then { it.empty? ? [[], [], []] : it.transpose.map { |b| b.compact.reject(&:empty?) } }
358
+ end
359
+
360
+ def group_chunks(group, registry, depth)
361
+ if group.all? { import?(it) }
362
+ group
363
+ .map { generate(it, registry, depth:) }
364
+ .reject(&:empty?)
365
+ .join("\n")
366
+ .then { [[it, nil, nil]] }
367
+ else
368
+ group.map { generate_for_partition(it, registry, depth) }
369
+ end
370
+ end
371
+
372
+ def generate_for_partition(node, registry, depth)
373
+ case node
374
+ in AST::Implementation
375
+ registrations = Implementation.generate_registrations_for(node, registry)
376
+ defs = Implementation.generate_defs(node, registry)
377
+
378
+ [registrations, defs, nil]
379
+
380
+ in AST::FunctionDeclaration
381
+ [
382
+ nil,
383
+ generate(node, registry, depth:),
384
+ FunctionDeclaration.generate_boundary_wrapper(node, registry),
385
+ ]
386
+
387
+ else
388
+ [generate(node, registry, depth:), nil, nil]
389
+ end
390
+ end
391
+
392
+ def import?(node)
393
+ node.is_a?(AST::ImportDeclaration) || node.is_a?(AST::InteropImportDeclaration)
394
+ end
395
+
396
+ def load_path
397
+ '$LOAD_PATH.unshift(File.expand_path("lib"))'
398
+ end
399
+ end
400
+ end
@@ -0,0 +1,69 @@
1
+ module Jade
2
+ class Compiler
3
+ attr_reader :config
4
+
5
+ def initialize
6
+ yield(config) if block_given?
7
+ end
8
+
9
+ def require(path)
10
+ target = File.expand_path("#{build_root}/#{path}.rb", config.project_root)
11
+
12
+ if needs_rebuild?(target)
13
+ ModuleLoader
14
+ .load(config.source_root.first, path + '.jd', cache_dir: cache_root)
15
+ .tap { render_diagnostics(it) }
16
+ .then { ModuleLoader.emit(it, path: build_root) }
17
+ end
18
+
19
+ Kernel.require(File.realpath(target))
20
+ end
21
+
22
+ private
23
+
24
+ def render_diagnostics(registry)
25
+ registry
26
+ .modules
27
+ .each_value
28
+ .reject { Stdlib.is_stdlib?(it) }
29
+ .reject { it.diagnostics.items.empty? }
30
+ .each { $stderr.puts Diagnostics::Renderer.new.render_all(it.diagnostics) }
31
+ end
32
+
33
+ def config
34
+ @config ||= Config.new
35
+ end
36
+
37
+ def build_root
38
+ File.expand_path(config.build_dir, config.project_root)
39
+ end
40
+
41
+ def cache_root
42
+ File.expand_path(config.cache_dir, config.project_root)
43
+ end
44
+
45
+ def needs_rebuild?(target)
46
+ return true unless File.exist?(target)
47
+
48
+ target_mtime = File.mtime(target)
49
+ Dir
50
+ .glob(File.join(config.source_root.first, '**/*.jd'))
51
+ .any? { |src| File.mtime(src) > target_mtime }
52
+ end
53
+
54
+ class Config
55
+ attr_accessor :project_root, :source_root, :build_dir, :cache_dir
56
+
57
+ def initialize
58
+ @project_root = Dir.pwd
59
+ @source_root = []
60
+ @build_dir = ".jade/build"
61
+ @cache_dir = ".jade/cache"
62
+ end
63
+
64
+ def source_root=(root)
65
+ @source_root = Array(root)
66
+ end
67
+ end
68
+ end
69
+ end