├── .gitignore ├── .readthedocs.yaml ├── BUGS.md ├── CHANGELOG.md ├── LICENSE ├── README.md ├── docs ├── Makefile ├── _config.yml ├── conf.py ├── explain │ ├── actor.rst │ ├── demand.rst │ ├── details.rst │ ├── foreign.rst │ ├── future.rst │ ├── goals.rst │ ├── index.rst │ ├── past.rst │ ├── reasons.rst │ └── string.rst ├── future │ ├── game2.rst │ ├── index.rst │ ├── lifting.rst │ ├── nonlocal.rst │ └── roles.rst ├── howto │ ├── contributing.rst │ ├── index.rst │ └── quick_start.rst ├── index.rst ├── make.bat ├── ref │ ├── ffi.rst │ ├── index.rst │ ├── list.rst │ ├── modules.rst │ ├── semantics.rst │ ├── stdlib.rst │ ├── string.rst │ ├── syntax.rst │ └── types.rst ├── requirements.txt ├── syntax highlight.png ├── tech │ ├── actor.rst │ ├── ast.rst │ ├── errors.rst │ ├── except.rst │ ├── gc.rst │ ├── generational.rst │ ├── graphics.rst │ ├── imports.rst │ ├── index.rst │ ├── lazy.rst │ ├── nanbox.rst │ ├── queue.rst │ ├── run_actor.rst │ ├── strict.rst │ ├── tree_walk.rst │ ├── type_checking.rst │ └── vm.rst └── tutorial │ ├── color_spiral.png │ ├── congrats.rst │ ├── first.rst │ ├── func.rst │ ├── game1.rst │ ├── if.rst │ ├── index.rst │ ├── list.rst │ ├── module.rst │ ├── seven.rst │ ├── sugar.rst │ ├── turtle.rst │ ├── type_safety.rst │ └── wiifm.rst ├── examples ├── Advent of Code │ ├── 2015 Day 01 Puzzle 1.sg │ ├── 2015 Day 01 Puzzle 2.sg │ ├── 2023 Day 01 Puzzle 1.sg │ ├── 2023 Day 01 Puzzle 2.sg │ ├── 2023 Day 02 Puzzle 1.sg │ ├── 2023 Day 02 Puzzle 2.sg │ ├── 2023 Day 02 common.sg │ ├── 2023 Day 03 Puzzle 1.sg │ ├── 2023 Day 03 Puzzle 2.sg │ ├── 2023 Day 03 common.sg │ ├── 2023 Day 04 Puzzle 1.sg │ ├── 2023 Day 04 Puzzle 2.sg │ ├── 2023 Day 04 common.sg │ ├── 2023 Day 05 Puzzle 1.sg │ ├── 2023 Day 05 Puzzle 2.sg │ ├── 2023 Day 05 common.sg │ ├── 2023 Day 06.sg │ ├── 2023 Day 07 Puzzle 1.sg │ ├── 2023 Day 07 Puzzle 2.sg │ ├── 2023 Day 07 common.sg │ ├── 2023 Day 08 Puzzle 1 alternate.sg │ ├── 2023 Day 08 Puzzle 1.sg │ ├── 2023 Day 08 Puzzle 2.sg │ ├── 2023 Day 08 common.sg │ ├── 2023 Day 09 Puzzle 1.sg │ ├── 2023 Day 09 Puzzle 2.sg │ ├── ReadMe.md │ ├── check_all.bat │ ├── common.sg │ └── run_all.bat ├── algorithm.sg ├── games │ ├── 99 bottles.sg │ ├── guess_the_number.sg │ ├── mouse.sg │ ├── mouse_print.sg │ └── nqp.sg ├── hello_actors.sg ├── hello_world.sg ├── laziness.sg ├── mathematics │ ├── Fibonacci.sg │ ├── Mandelbrot-graphical.sg │ ├── Mandelbrot.sg │ ├── Newton.sg │ ├── Newton_2.sg │ ├── Newton_3.sg │ ├── factors.sg │ └── primes.sg ├── speculative │ ├── bouncing_ball.sg │ └── readme.md ├── turtle │ ├── color_spiral.sg │ ├── simple_designs.sg │ └── turtle.sg └── tutorial │ ├── alias.sg │ ├── case_when.sg │ ├── define_functions.sg │ ├── explicit_list_construction.sg │ ├── generic_parameter.sg │ ├── library.sg │ ├── patron.sg │ ├── simple_calculations.sg │ └── some_arithmetic.sg ├── ide-ext └── vscode │ └── sophie-lang │ ├── .vscodeignore │ ├── README.md │ ├── language-configuration.json │ ├── package.json │ └── syntaxes │ └── sophie.tmLanguage.json ├── setup.py ├── sophie ├── Sophie.md ├── __init__.py ├── __main__.py ├── adapters │ ├── __init__.py │ ├── for_test_purposes.py │ ├── fs_adapter.py │ ├── game_adapter.py │ ├── teletype_adapter.py │ ├── turtle_adapter.py │ └── yarn.py ├── cmdline.py ├── demand.py ├── diagnostics.py ├── front_end.py ├── intermediate.py ├── location.py ├── modularity.py ├── ontology.py ├── primitive.py ├── resolution.py ├── space.py ├── stacking.py ├── static │ ├── __init__.py │ ├── binding.py │ ├── check.py │ ├── domain.py │ ├── manifest.py │ ├── promotion.py │ └── readme.md ├── syntax.py ├── sys │ ├── 2d.sg │ ├── complex.sg │ ├── game.sg │ ├── preamble.sg │ ├── tree.sg │ └── turtle.sg └── tree_walker │ ├── __init__.py │ ├── evaluator.py │ ├── executive.py │ ├── readme.md │ ├── runtime.py │ ├── scheduler.py │ ├── types.py │ └── values.py ├── tests ├── test_smoke.py └── test_zoo_of_fail.py ├── vm ├── CMakeLists.txt ├── CMakePresets.json ├── Source │ ├── actor.c │ ├── assembler.c │ ├── chacha.c │ ├── chacha.h │ ├── chunk.c │ ├── common.h │ ├── debug.c │ ├── debug.h │ ├── dispatch.c │ ├── ffi.c │ ├── function.c │ ├── game.c │ ├── gc.c │ ├── isa.c │ ├── main.c │ ├── memory.c │ ├── native.c │ ├── opcodes.h │ ├── parser.c │ ├── platform_specific.c │ ├── platform_specific.h │ ├── prep.h │ ├── record.c │ ├── scanner.c │ ├── string.c │ ├── table.c │ ├── value.c │ └── vm.c └── Thank You.txt └── zoo ├── README.md ├── fail ├── alias │ ├── alias_as_nominal_parameter.sg │ ├── alias_as_structural_component.sg │ ├── alias_circular_mutually.sg │ └── alias_circular_trivially.sg ├── import │ ├── circular_import.sg │ └── missing_import.sg ├── parse │ ├── mismatched_where.sg │ └── syntax_error.sg ├── readme.md ├── resolve │ ├── alias_subtype.sg │ ├── alias_switcheroo.sg │ ├── bad_else.sg │ ├── bad_type_alias.sg │ ├── bad_typecase_name.sg │ ├── bogus_type_alias.sg │ ├── confused.sg │ ├── construct_variant.sg │ ├── defined_twice.sg │ ├── duplicate_case.sg │ ├── function_as_manifest_type.sg │ ├── generic_opaque.sg │ ├── instantiate_opaque.sg │ ├── instantiate_variant.sg │ ├── instantiate_variant_indirect.sg │ ├── not_exhaustive.sg │ ├── parameter_as_generic.sg │ ├── parameter_to_opaque.sg │ └── undefined_symbol.sg ├── strictness │ └── circular_function_indirectly.sg └── type_check │ ├── assume_incorrectly.sg │ ├── bad_message.sg │ ├── circular_function_mutually.sg │ ├── circular_function_trivially.sg │ ├── do_number.sg │ ├── has_no_fields.sg │ ├── lacks_field.sg │ ├── mismatched_case_when.sg │ ├── mismatched_type_case.sg │ ├── num_plus_string.sg │ ├── omega.sg │ ├── signature_violation_1.sg │ ├── undefined_comparison.sg │ └── wrong_arity.sg └── ok ├── arrows.sg ├── bipartite_list.sg ├── compose.sg ├── divzero.sg ├── fib.sg ├── instantiate_alias.sg ├── readme.md ├── recur.sg ├── sequence.sg └── strange.sg /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/.gitignore -------------------------------------------------------------------------------- /.readthedocs.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/.readthedocs.yaml -------------------------------------------------------------------------------- /BUGS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/BUGS.md -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/README.md -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/_config.yml -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/explain/actor.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/explain/actor.rst -------------------------------------------------------------------------------- /docs/explain/demand.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/explain/demand.rst -------------------------------------------------------------------------------- /docs/explain/details.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/explain/details.rst -------------------------------------------------------------------------------- /docs/explain/foreign.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/explain/foreign.rst -------------------------------------------------------------------------------- /docs/explain/future.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/explain/future.rst -------------------------------------------------------------------------------- /docs/explain/goals.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/explain/goals.rst -------------------------------------------------------------------------------- /docs/explain/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/explain/index.rst -------------------------------------------------------------------------------- /docs/explain/past.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/explain/past.rst -------------------------------------------------------------------------------- /docs/explain/reasons.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/explain/reasons.rst -------------------------------------------------------------------------------- /docs/explain/string.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/explain/string.rst -------------------------------------------------------------------------------- /docs/future/game2.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/future/game2.rst -------------------------------------------------------------------------------- /docs/future/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/future/index.rst -------------------------------------------------------------------------------- /docs/future/lifting.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/future/lifting.rst -------------------------------------------------------------------------------- /docs/future/nonlocal.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/future/nonlocal.rst -------------------------------------------------------------------------------- /docs/future/roles.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/future/roles.rst -------------------------------------------------------------------------------- /docs/howto/contributing.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/howto/contributing.rst -------------------------------------------------------------------------------- /docs/howto/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/howto/index.rst -------------------------------------------------------------------------------- /docs/howto/quick_start.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/howto/quick_start.rst -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/index.rst -------------------------------------------------------------------------------- /docs/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/make.bat -------------------------------------------------------------------------------- /docs/ref/ffi.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/ref/ffi.rst -------------------------------------------------------------------------------- /docs/ref/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/ref/index.rst -------------------------------------------------------------------------------- /docs/ref/list.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/ref/list.rst -------------------------------------------------------------------------------- /docs/ref/modules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/ref/modules.rst -------------------------------------------------------------------------------- /docs/ref/semantics.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/ref/semantics.rst -------------------------------------------------------------------------------- /docs/ref/stdlib.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/ref/stdlib.rst -------------------------------------------------------------------------------- /docs/ref/string.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/ref/string.rst -------------------------------------------------------------------------------- /docs/ref/syntax.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/ref/syntax.rst -------------------------------------------------------------------------------- /docs/ref/types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/ref/types.rst -------------------------------------------------------------------------------- /docs/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/requirements.txt -------------------------------------------------------------------------------- /docs/syntax highlight.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/syntax highlight.png -------------------------------------------------------------------------------- /docs/tech/actor.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/actor.rst -------------------------------------------------------------------------------- /docs/tech/ast.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/ast.rst -------------------------------------------------------------------------------- /docs/tech/errors.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/errors.rst -------------------------------------------------------------------------------- /docs/tech/except.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/except.rst -------------------------------------------------------------------------------- /docs/tech/gc.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/gc.rst -------------------------------------------------------------------------------- /docs/tech/generational.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/generational.rst -------------------------------------------------------------------------------- /docs/tech/graphics.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/graphics.rst -------------------------------------------------------------------------------- /docs/tech/imports.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/imports.rst -------------------------------------------------------------------------------- /docs/tech/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/index.rst -------------------------------------------------------------------------------- /docs/tech/lazy.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/lazy.rst -------------------------------------------------------------------------------- /docs/tech/nanbox.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/nanbox.rst -------------------------------------------------------------------------------- /docs/tech/queue.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/queue.rst -------------------------------------------------------------------------------- /docs/tech/run_actor.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/run_actor.rst -------------------------------------------------------------------------------- /docs/tech/strict.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/strict.rst -------------------------------------------------------------------------------- /docs/tech/tree_walk.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/tree_walk.rst -------------------------------------------------------------------------------- /docs/tech/type_checking.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/type_checking.rst -------------------------------------------------------------------------------- /docs/tech/vm.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tech/vm.rst -------------------------------------------------------------------------------- /docs/tutorial/color_spiral.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tutorial/color_spiral.png -------------------------------------------------------------------------------- /docs/tutorial/congrats.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tutorial/congrats.rst -------------------------------------------------------------------------------- /docs/tutorial/first.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tutorial/first.rst -------------------------------------------------------------------------------- /docs/tutorial/func.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tutorial/func.rst -------------------------------------------------------------------------------- /docs/tutorial/game1.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tutorial/game1.rst -------------------------------------------------------------------------------- /docs/tutorial/if.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tutorial/if.rst -------------------------------------------------------------------------------- /docs/tutorial/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tutorial/index.rst -------------------------------------------------------------------------------- /docs/tutorial/list.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tutorial/list.rst -------------------------------------------------------------------------------- /docs/tutorial/module.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tutorial/module.rst -------------------------------------------------------------------------------- /docs/tutorial/seven.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tutorial/seven.rst -------------------------------------------------------------------------------- /docs/tutorial/sugar.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tutorial/sugar.rst -------------------------------------------------------------------------------- /docs/tutorial/turtle.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tutorial/turtle.rst -------------------------------------------------------------------------------- /docs/tutorial/type_safety.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tutorial/type_safety.rst -------------------------------------------------------------------------------- /docs/tutorial/wiifm.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/docs/tutorial/wiifm.rst -------------------------------------------------------------------------------- /examples/Advent of Code/2015 Day 01 Puzzle 1.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2015 Day 01 Puzzle 1.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2015 Day 01 Puzzle 2.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2015 Day 01 Puzzle 2.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 01 Puzzle 1.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 01 Puzzle 1.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 01 Puzzle 2.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 01 Puzzle 2.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 02 Puzzle 1.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 02 Puzzle 1.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 02 Puzzle 2.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 02 Puzzle 2.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 02 common.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 02 common.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 03 Puzzle 1.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 03 Puzzle 1.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 03 Puzzle 2.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 03 Puzzle 2.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 03 common.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 03 common.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 04 Puzzle 1.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 04 Puzzle 1.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 04 Puzzle 2.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 04 Puzzle 2.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 04 common.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 04 common.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 05 Puzzle 1.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 05 Puzzle 1.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 05 Puzzle 2.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 05 Puzzle 2.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 05 common.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 05 common.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 06.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 06.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 07 Puzzle 1.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 07 Puzzle 1.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 07 Puzzle 2.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 07 Puzzle 2.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 07 common.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 07 common.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 08 Puzzle 1 alternate.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 08 Puzzle 1 alternate.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 08 Puzzle 1.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 08 Puzzle 1.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 08 Puzzle 2.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 08 Puzzle 2.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 08 common.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 08 common.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 09 Puzzle 1.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 09 Puzzle 1.sg -------------------------------------------------------------------------------- /examples/Advent of Code/2023 Day 09 Puzzle 2.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/2023 Day 09 Puzzle 2.sg -------------------------------------------------------------------------------- /examples/Advent of Code/ReadMe.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/ReadMe.md -------------------------------------------------------------------------------- /examples/Advent of Code/check_all.bat: -------------------------------------------------------------------------------- 1 | for %%x in (*.sg) do sophie -c "%%x" 2 | -------------------------------------------------------------------------------- /examples/Advent of Code/common.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/Advent of Code/common.sg -------------------------------------------------------------------------------- /examples/Advent of Code/run_all.bat: -------------------------------------------------------------------------------- 1 | for %%x in (*Puzzle*.sg) do sophie "%%x" 2 | -------------------------------------------------------------------------------- /examples/algorithm.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/algorithm.sg -------------------------------------------------------------------------------- /examples/games/99 bottles.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/games/99 bottles.sg -------------------------------------------------------------------------------- /examples/games/guess_the_number.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/games/guess_the_number.sg -------------------------------------------------------------------------------- /examples/games/mouse.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/games/mouse.sg -------------------------------------------------------------------------------- /examples/games/mouse_print.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/games/mouse_print.sg -------------------------------------------------------------------------------- /examples/games/nqp.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/games/nqp.sg -------------------------------------------------------------------------------- /examples/hello_actors.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/hello_actors.sg -------------------------------------------------------------------------------- /examples/hello_world.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/hello_world.sg -------------------------------------------------------------------------------- /examples/laziness.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/laziness.sg -------------------------------------------------------------------------------- /examples/mathematics/Fibonacci.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/mathematics/Fibonacci.sg -------------------------------------------------------------------------------- /examples/mathematics/Mandelbrot-graphical.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/mathematics/Mandelbrot-graphical.sg -------------------------------------------------------------------------------- /examples/mathematics/Mandelbrot.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/mathematics/Mandelbrot.sg -------------------------------------------------------------------------------- /examples/mathematics/Newton.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/mathematics/Newton.sg -------------------------------------------------------------------------------- /examples/mathematics/Newton_2.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/mathematics/Newton_2.sg -------------------------------------------------------------------------------- /examples/mathematics/Newton_3.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/mathematics/Newton_3.sg -------------------------------------------------------------------------------- /examples/mathematics/factors.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/mathematics/factors.sg -------------------------------------------------------------------------------- /examples/mathematics/primes.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/mathematics/primes.sg -------------------------------------------------------------------------------- /examples/speculative/bouncing_ball.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/speculative/bouncing_ball.sg -------------------------------------------------------------------------------- /examples/speculative/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/speculative/readme.md -------------------------------------------------------------------------------- /examples/turtle/color_spiral.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/turtle/color_spiral.sg -------------------------------------------------------------------------------- /examples/turtle/simple_designs.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/turtle/simple_designs.sg -------------------------------------------------------------------------------- /examples/turtle/turtle.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/turtle/turtle.sg -------------------------------------------------------------------------------- /examples/tutorial/alias.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/tutorial/alias.sg -------------------------------------------------------------------------------- /examples/tutorial/case_when.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/tutorial/case_when.sg -------------------------------------------------------------------------------- /examples/tutorial/define_functions.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/tutorial/define_functions.sg -------------------------------------------------------------------------------- /examples/tutorial/explicit_list_construction.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/tutorial/explicit_list_construction.sg -------------------------------------------------------------------------------- /examples/tutorial/generic_parameter.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/tutorial/generic_parameter.sg -------------------------------------------------------------------------------- /examples/tutorial/library.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/tutorial/library.sg -------------------------------------------------------------------------------- /examples/tutorial/patron.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/tutorial/patron.sg -------------------------------------------------------------------------------- /examples/tutorial/simple_calculations.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/tutorial/simple_calculations.sg -------------------------------------------------------------------------------- /examples/tutorial/some_arithmetic.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/examples/tutorial/some_arithmetic.sg -------------------------------------------------------------------------------- /ide-ext/vscode/sophie-lang/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/ide-ext/vscode/sophie-lang/.vscodeignore -------------------------------------------------------------------------------- /ide-ext/vscode/sophie-lang/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/ide-ext/vscode/sophie-lang/README.md -------------------------------------------------------------------------------- /ide-ext/vscode/sophie-lang/language-configuration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/ide-ext/vscode/sophie-lang/language-configuration.json -------------------------------------------------------------------------------- /ide-ext/vscode/sophie-lang/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/ide-ext/vscode/sophie-lang/package.json -------------------------------------------------------------------------------- /ide-ext/vscode/sophie-lang/syntaxes/sophie.tmLanguage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/ide-ext/vscode/sophie-lang/syntaxes/sophie.tmLanguage.json -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/setup.py -------------------------------------------------------------------------------- /sophie/Sophie.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/Sophie.md -------------------------------------------------------------------------------- /sophie/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sophie/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/__main__.py -------------------------------------------------------------------------------- /sophie/adapters/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sophie/adapters/for_test_purposes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/adapters/for_test_purposes.py -------------------------------------------------------------------------------- /sophie/adapters/fs_adapter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/adapters/fs_adapter.py -------------------------------------------------------------------------------- /sophie/adapters/game_adapter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/adapters/game_adapter.py -------------------------------------------------------------------------------- /sophie/adapters/teletype_adapter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/adapters/teletype_adapter.py -------------------------------------------------------------------------------- /sophie/adapters/turtle_adapter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/adapters/turtle_adapter.py -------------------------------------------------------------------------------- /sophie/adapters/yarn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/adapters/yarn.py -------------------------------------------------------------------------------- /sophie/cmdline.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/cmdline.py -------------------------------------------------------------------------------- /sophie/demand.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/demand.py -------------------------------------------------------------------------------- /sophie/diagnostics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/diagnostics.py -------------------------------------------------------------------------------- /sophie/front_end.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/front_end.py -------------------------------------------------------------------------------- /sophie/intermediate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/intermediate.py -------------------------------------------------------------------------------- /sophie/location.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/location.py -------------------------------------------------------------------------------- /sophie/modularity.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/modularity.py -------------------------------------------------------------------------------- /sophie/ontology.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/ontology.py -------------------------------------------------------------------------------- /sophie/primitive.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/primitive.py -------------------------------------------------------------------------------- /sophie/resolution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/resolution.py -------------------------------------------------------------------------------- /sophie/space.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/space.py -------------------------------------------------------------------------------- /sophie/stacking.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/stacking.py -------------------------------------------------------------------------------- /sophie/static/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sophie/static/binding.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/static/binding.py -------------------------------------------------------------------------------- /sophie/static/check.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/static/check.py -------------------------------------------------------------------------------- /sophie/static/domain.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/static/domain.py -------------------------------------------------------------------------------- /sophie/static/manifest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/static/manifest.py -------------------------------------------------------------------------------- /sophie/static/promotion.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/static/promotion.py -------------------------------------------------------------------------------- /sophie/static/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/static/readme.md -------------------------------------------------------------------------------- /sophie/syntax.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/syntax.py -------------------------------------------------------------------------------- /sophie/sys/2d.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/sys/2d.sg -------------------------------------------------------------------------------- /sophie/sys/complex.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/sys/complex.sg -------------------------------------------------------------------------------- /sophie/sys/game.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/sys/game.sg -------------------------------------------------------------------------------- /sophie/sys/preamble.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/sys/preamble.sg -------------------------------------------------------------------------------- /sophie/sys/tree.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/sys/tree.sg -------------------------------------------------------------------------------- /sophie/sys/turtle.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/sys/turtle.sg -------------------------------------------------------------------------------- /sophie/tree_walker/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sophie/tree_walker/evaluator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/tree_walker/evaluator.py -------------------------------------------------------------------------------- /sophie/tree_walker/executive.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/tree_walker/executive.py -------------------------------------------------------------------------------- /sophie/tree_walker/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/tree_walker/readme.md -------------------------------------------------------------------------------- /sophie/tree_walker/runtime.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/tree_walker/runtime.py -------------------------------------------------------------------------------- /sophie/tree_walker/scheduler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/tree_walker/scheduler.py -------------------------------------------------------------------------------- /sophie/tree_walker/types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/tree_walker/types.py -------------------------------------------------------------------------------- /sophie/tree_walker/values.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/sophie/tree_walker/values.py -------------------------------------------------------------------------------- /tests/test_smoke.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/tests/test_smoke.py -------------------------------------------------------------------------------- /tests/test_zoo_of_fail.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/tests/test_zoo_of_fail.py -------------------------------------------------------------------------------- /vm/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/CMakeLists.txt -------------------------------------------------------------------------------- /vm/CMakePresets.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/CMakePresets.json -------------------------------------------------------------------------------- /vm/Source/actor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/actor.c -------------------------------------------------------------------------------- /vm/Source/assembler.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/assembler.c -------------------------------------------------------------------------------- /vm/Source/chacha.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/chacha.c -------------------------------------------------------------------------------- /vm/Source/chacha.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/chacha.h -------------------------------------------------------------------------------- /vm/Source/chunk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/chunk.c -------------------------------------------------------------------------------- /vm/Source/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/common.h -------------------------------------------------------------------------------- /vm/Source/debug.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/debug.c -------------------------------------------------------------------------------- /vm/Source/debug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/debug.h -------------------------------------------------------------------------------- /vm/Source/dispatch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/dispatch.c -------------------------------------------------------------------------------- /vm/Source/ffi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/ffi.c -------------------------------------------------------------------------------- /vm/Source/function.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/function.c -------------------------------------------------------------------------------- /vm/Source/game.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/game.c -------------------------------------------------------------------------------- /vm/Source/gc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/gc.c -------------------------------------------------------------------------------- /vm/Source/isa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/isa.c -------------------------------------------------------------------------------- /vm/Source/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/main.c -------------------------------------------------------------------------------- /vm/Source/memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/memory.c -------------------------------------------------------------------------------- /vm/Source/native.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/native.c -------------------------------------------------------------------------------- /vm/Source/opcodes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/opcodes.h -------------------------------------------------------------------------------- /vm/Source/parser.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/parser.c -------------------------------------------------------------------------------- /vm/Source/platform_specific.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/platform_specific.c -------------------------------------------------------------------------------- /vm/Source/platform_specific.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/platform_specific.h -------------------------------------------------------------------------------- /vm/Source/prep.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/prep.h -------------------------------------------------------------------------------- /vm/Source/record.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/record.c -------------------------------------------------------------------------------- /vm/Source/scanner.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/scanner.c -------------------------------------------------------------------------------- /vm/Source/string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/string.c -------------------------------------------------------------------------------- /vm/Source/table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/table.c -------------------------------------------------------------------------------- /vm/Source/value.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/value.c -------------------------------------------------------------------------------- /vm/Source/vm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Source/vm.c -------------------------------------------------------------------------------- /vm/Thank You.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/vm/Thank You.txt -------------------------------------------------------------------------------- /zoo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/README.md -------------------------------------------------------------------------------- /zoo/fail/alias/alias_as_nominal_parameter.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/alias/alias_as_nominal_parameter.sg -------------------------------------------------------------------------------- /zoo/fail/alias/alias_as_structural_component.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/alias/alias_as_structural_component.sg -------------------------------------------------------------------------------- /zoo/fail/alias/alias_circular_mutually.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/alias/alias_circular_mutually.sg -------------------------------------------------------------------------------- /zoo/fail/alias/alias_circular_trivially.sg: -------------------------------------------------------------------------------- 1 | type: a is a; end. 2 | -------------------------------------------------------------------------------- /zoo/fail/import/circular_import.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/import/circular_import.sg -------------------------------------------------------------------------------- /zoo/fail/import/missing_import.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/import/missing_import.sg -------------------------------------------------------------------------------- /zoo/fail/parse/mismatched_where.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/parse/mismatched_where.sg -------------------------------------------------------------------------------- /zoo/fail/parse/syntax_error.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/parse/syntax_error.sg -------------------------------------------------------------------------------- /zoo/fail/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/readme.md -------------------------------------------------------------------------------- /zoo/fail/resolve/alias_subtype.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/resolve/alias_subtype.sg -------------------------------------------------------------------------------- /zoo/fail/resolve/alias_switcheroo.sg: -------------------------------------------------------------------------------- 1 | type: a[x] is x[a]; end. -------------------------------------------------------------------------------- /zoo/fail/resolve/bad_else.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/resolve/bad_else.sg -------------------------------------------------------------------------------- /zoo/fail/resolve/bad_type_alias.sg: -------------------------------------------------------------------------------- 1 | type: 2 | foo is bar; 3 | -------------------------------------------------------------------------------- /zoo/fail/resolve/bad_typecase_name.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/resolve/bad_typecase_name.sg -------------------------------------------------------------------------------- /zoo/fail/resolve/bogus_type_alias.sg: -------------------------------------------------------------------------------- 1 | type: L is foo[number]; 2 | -------------------------------------------------------------------------------- /zoo/fail/resolve/confused.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/resolve/confused.sg -------------------------------------------------------------------------------- /zoo/fail/resolve/construct_variant.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/resolve/construct_variant.sg -------------------------------------------------------------------------------- /zoo/fail/resolve/defined_twice.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/resolve/defined_twice.sg -------------------------------------------------------------------------------- /zoo/fail/resolve/duplicate_case.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/resolve/duplicate_case.sg -------------------------------------------------------------------------------- /zoo/fail/resolve/function_as_manifest_type.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/resolve/function_as_manifest_type.sg -------------------------------------------------------------------------------- /zoo/fail/resolve/generic_opaque.sg: -------------------------------------------------------------------------------- 1 | type: 2 | foo[x,y] is opaque; 3 | -------------------------------------------------------------------------------- /zoo/fail/resolve/instantiate_opaque.sg: -------------------------------------------------------------------------------- 1 | begin: number; end. -------------------------------------------------------------------------------- /zoo/fail/resolve/instantiate_variant.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/resolve/instantiate_variant.sg -------------------------------------------------------------------------------- /zoo/fail/resolve/instantiate_variant_indirect.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/resolve/instantiate_variant_indirect.sg -------------------------------------------------------------------------------- /zoo/fail/resolve/not_exhaustive.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/resolve/not_exhaustive.sg -------------------------------------------------------------------------------- /zoo/fail/resolve/parameter_as_generic.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/resolve/parameter_as_generic.sg -------------------------------------------------------------------------------- /zoo/fail/resolve/parameter_to_opaque.sg: -------------------------------------------------------------------------------- 1 | type: foo is number[flag]; 2 | -------------------------------------------------------------------------------- /zoo/fail/resolve/undefined_symbol.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/resolve/undefined_symbol.sg -------------------------------------------------------------------------------- /zoo/fail/strictness/circular_function_indirectly.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/strictness/circular_function_indirectly.sg -------------------------------------------------------------------------------- /zoo/fail/type_check/assume_incorrectly.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/type_check/assume_incorrectly.sg -------------------------------------------------------------------------------- /zoo/fail/type_check/bad_message.sg: -------------------------------------------------------------------------------- 1 | begin: 2 | console ! no_such_message; 3 | -------------------------------------------------------------------------------- /zoo/fail/type_check/circular_function_mutually.sg: -------------------------------------------------------------------------------- 1 | define: i = j; j=k; k=i; 2 | begin: i; 3 | end. 4 | -------------------------------------------------------------------------------- /zoo/fail/type_check/circular_function_trivially.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/type_check/circular_function_trivially.sg -------------------------------------------------------------------------------- /zoo/fail/type_check/do_number.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/type_check/do_number.sg -------------------------------------------------------------------------------- /zoo/fail/type_check/has_no_fields.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/type_check/has_no_fields.sg -------------------------------------------------------------------------------- /zoo/fail/type_check/lacks_field.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/type_check/lacks_field.sg -------------------------------------------------------------------------------- /zoo/fail/type_check/mismatched_case_when.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/type_check/mismatched_case_when.sg -------------------------------------------------------------------------------- /zoo/fail/type_check/mismatched_type_case.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/type_check/mismatched_type_case.sg -------------------------------------------------------------------------------- /zoo/fail/type_check/num_plus_string.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/type_check/num_plus_string.sg -------------------------------------------------------------------------------- /zoo/fail/type_check/omega.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/type_check/omega.sg -------------------------------------------------------------------------------- /zoo/fail/type_check/signature_violation_1.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/type_check/signature_violation_1.sg -------------------------------------------------------------------------------- /zoo/fail/type_check/undefined_comparison.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/fail/type_check/undefined_comparison.sg -------------------------------------------------------------------------------- /zoo/fail/type_check/wrong_arity.sg: -------------------------------------------------------------------------------- 1 | begin: 2 | tan(18, 24, 36); 3 | end. 4 | -------------------------------------------------------------------------------- /zoo/ok/arrows.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/ok/arrows.sg -------------------------------------------------------------------------------- /zoo/ok/bipartite_list.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/ok/bipartite_list.sg -------------------------------------------------------------------------------- /zoo/ok/compose.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/ok/compose.sg -------------------------------------------------------------------------------- /zoo/ok/divzero.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/ok/divzero.sg -------------------------------------------------------------------------------- /zoo/ok/fib.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/ok/fib.sg -------------------------------------------------------------------------------- /zoo/ok/instantiate_alias.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/ok/instantiate_alias.sg -------------------------------------------------------------------------------- /zoo/ok/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/ok/readme.md -------------------------------------------------------------------------------- /zoo/ok/recur.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/ok/recur.sg -------------------------------------------------------------------------------- /zoo/ok/sequence.sg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kjosib/sophie/HEAD/zoo/ok/sequence.sg -------------------------------------------------------------------------------- /zoo/ok/strange.sg: -------------------------------------------------------------------------------- 1 | type: 2 | a[x] is x; # Strange, but not strictly erroneous. 3 | end. 4 | --------------------------------------------------------------------------------