├── .github └── workflows │ └── main.yml ├── .gitignore ├── .rspec ├── .rubocop.yml ├── CHANGELOG.md ├── CODE_OF_CONDUCT.md ├── Gemfile ├── Gemfile.lock ├── LICENSE.txt ├── README.md ├── Rakefile ├── bin ├── console └── setup ├── exe └── ruby_type_system ├── lib ├── ruby_type_system.rb └── ruby_type_system │ ├── ast.rb │ ├── compiler.rb │ ├── compressor.rb │ ├── expressions │ ├── expression.rb │ ├── identifier.rb │ └── method_literal.rb │ ├── lexer.rb │ ├── parser.rb │ ├── token.rb │ └── version.rb ├── ruby_type_system.gemspec ├── sig └── ruby_type_system.rbs └── spec ├── examples ├── acquira_dead.rb ├── bunny_client.rb ├── cp_host.rb ├── default.rb ├── extended_array.rb ├── extended_hash.rb ├── extended_string.rb ├── glutton.rb ├── http-request.rb ├── input_data_error.rb ├── janitor.rb ├── main.rb ├── multi_io.rb ├── spec_helper.rb ├── telegram.rb ├── test1 ├── test2 ├── test3 ├── test4 ├── test5 ├── test6 ├── test7 ├── test8 ├── test9 ├── testA └── vtb.rb ├── lexer └── results │ ├── test1.json │ ├── test2.json │ ├── test3.json │ ├── test4.json │ ├── test5.json │ ├── test6.json │ ├── test7.json │ ├── test8.json │ └── test9.json ├── ruby_type_system_spec.rb └── spec_helper.rb /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/.gitignore -------------------------------------------------------------------------------- /.rspec: -------------------------------------------------------------------------------- 1 | --format documentation 2 | --color 3 | --require spec_helper 4 | -------------------------------------------------------------------------------- /.rubocop.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/.rubocop.yml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /Gemfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/Gemfile -------------------------------------------------------------------------------- /Gemfile.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/Gemfile.lock -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/README.md -------------------------------------------------------------------------------- /Rakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/Rakefile -------------------------------------------------------------------------------- /bin/console: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/bin/console -------------------------------------------------------------------------------- /bin/setup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/bin/setup -------------------------------------------------------------------------------- /exe/ruby_type_system: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/exe/ruby_type_system -------------------------------------------------------------------------------- /lib/ruby_type_system.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/lib/ruby_type_system.rb -------------------------------------------------------------------------------- /lib/ruby_type_system/ast.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/lib/ruby_type_system/ast.rb -------------------------------------------------------------------------------- /lib/ruby_type_system/compiler.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/lib/ruby_type_system/compiler.rb -------------------------------------------------------------------------------- /lib/ruby_type_system/compressor.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/lib/ruby_type_system/compressor.rb -------------------------------------------------------------------------------- /lib/ruby_type_system/expressions/expression.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/lib/ruby_type_system/expressions/expression.rb -------------------------------------------------------------------------------- /lib/ruby_type_system/expressions/identifier.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/lib/ruby_type_system/expressions/identifier.rb -------------------------------------------------------------------------------- /lib/ruby_type_system/expressions/method_literal.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/lib/ruby_type_system/expressions/method_literal.rb -------------------------------------------------------------------------------- /lib/ruby_type_system/lexer.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/lib/ruby_type_system/lexer.rb -------------------------------------------------------------------------------- /lib/ruby_type_system/parser.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/lib/ruby_type_system/parser.rb -------------------------------------------------------------------------------- /lib/ruby_type_system/token.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/lib/ruby_type_system/token.rb -------------------------------------------------------------------------------- /lib/ruby_type_system/version.rb: -------------------------------------------------------------------------------- 1 | # frozen_string_literal: true 2 | 3 | module RubyTypeSystem 4 | VERSION = "0.1.0" 5 | end 6 | -------------------------------------------------------------------------------- /ruby_type_system.gemspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/ruby_type_system.gemspec -------------------------------------------------------------------------------- /sig/ruby_type_system.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/sig/ruby_type_system.rbs -------------------------------------------------------------------------------- /spec/examples/acquira_dead.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/acquira_dead.rb -------------------------------------------------------------------------------- /spec/examples/bunny_client.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/bunny_client.rb -------------------------------------------------------------------------------- /spec/examples/cp_host.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/cp_host.rb -------------------------------------------------------------------------------- /spec/examples/default.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/default.rb -------------------------------------------------------------------------------- /spec/examples/extended_array.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/extended_array.rb -------------------------------------------------------------------------------- /spec/examples/extended_hash.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/extended_hash.rb -------------------------------------------------------------------------------- /spec/examples/extended_string.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/extended_string.rb -------------------------------------------------------------------------------- /spec/examples/glutton.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/glutton.rb -------------------------------------------------------------------------------- /spec/examples/http-request.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/http-request.rb -------------------------------------------------------------------------------- /spec/examples/input_data_error.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/input_data_error.rb -------------------------------------------------------------------------------- /spec/examples/janitor.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/janitor.rb -------------------------------------------------------------------------------- /spec/examples/main.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/main.rb -------------------------------------------------------------------------------- /spec/examples/multi_io.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/multi_io.rb -------------------------------------------------------------------------------- /spec/examples/spec_helper.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/spec_helper.rb -------------------------------------------------------------------------------- /spec/examples/telegram.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/telegram.rb -------------------------------------------------------------------------------- /spec/examples/test1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/test1 -------------------------------------------------------------------------------- /spec/examples/test2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/test2 -------------------------------------------------------------------------------- /spec/examples/test3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/test3 -------------------------------------------------------------------------------- /spec/examples/test4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/test4 -------------------------------------------------------------------------------- /spec/examples/test5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/test5 -------------------------------------------------------------------------------- /spec/examples/test6: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/test6 -------------------------------------------------------------------------------- /spec/examples/test7: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/test7 -------------------------------------------------------------------------------- /spec/examples/test8: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/test8 -------------------------------------------------------------------------------- /spec/examples/test9: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/test9 -------------------------------------------------------------------------------- /spec/examples/testA: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/testA -------------------------------------------------------------------------------- /spec/examples/vtb.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/examples/vtb.rb -------------------------------------------------------------------------------- /spec/lexer/results/test1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/lexer/results/test1.json -------------------------------------------------------------------------------- /spec/lexer/results/test2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/lexer/results/test2.json -------------------------------------------------------------------------------- /spec/lexer/results/test3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/lexer/results/test3.json -------------------------------------------------------------------------------- /spec/lexer/results/test4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/lexer/results/test4.json -------------------------------------------------------------------------------- /spec/lexer/results/test5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/lexer/results/test5.json -------------------------------------------------------------------------------- /spec/lexer/results/test6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/lexer/results/test6.json -------------------------------------------------------------------------------- /spec/lexer/results/test7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/lexer/results/test7.json -------------------------------------------------------------------------------- /spec/lexer/results/test8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/lexer/results/test8.json -------------------------------------------------------------------------------- /spec/lexer/results/test9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/lexer/results/test9.json -------------------------------------------------------------------------------- /spec/ruby_type_system_spec.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/ruby_type_system_spec.rb -------------------------------------------------------------------------------- /spec/spec_helper.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svck-dev/ruby_type_system/HEAD/spec/spec_helper.rb --------------------------------------------------------------------------------