BLUE - Minimalist lisp abusing Elixir block syntax

vic · February 28, 2018, 7:00pm

Another day, another lisp is born.

This one is just a toy, abusing elixir syntax, it has no reader, it’s just valid elixir ast.

<3

OvermindDL1 · February 28, 2018, 9:10pm

Lol, glad to see I’m not the only one that likes subverting the Elixir AST. ^.^

A couple (though not near all) of some of my fun tests: ^.^

github.com

OvermindDL1/typed_elixir/blob/master/test/ml_elixir/ml_module_test.exs



import MLElixir
defmlmodule MLModuleTest do

  type type_declaration

  type type_definition = integer

  type record_emb_0 = %{a: %{b: %{c: type_definition}}}

  type testering_enum
  | none
  | one
  | integer integer
  | two
  | float float
  | float2 float

  def test_int_untyped = 42

This file has been truncated. show original

github.com

OvermindDL1/typed_elixir/blob/master/test/ml_elixir_test.exs

defmodule MLElixirTest do
  @moduledoc false

  use ExUnit.Case
  # import CompileTimeAssertions

  doctest MLElixir
  import MLElixir

  defmlmodule MLModuleTest_Specific, debug: [:_resolving, :module_pretty_output] do
    type t = MLModuleTest.type_definition
    type Specific = MLModuleTest_Generalized.(t: float)
    type st = Specific.t
    type a(t) = t
    type b(c) = c
    type ra = a(integer)
    type rb = b(integer)

    type testering_enum
    | none

This file has been truncated. show original

github.com

OvermindDL1/typed_elixir/blob/master/test/typed_elixir_test.exs

defmodule TypedElixirTest do
  @moduledoc false

  use ExUnit.Case
  import CompileTimeAssertions

  doctest TypedElixir
  use TypedElixir


  test "Empty" do
    defmodulet TypedTest_Empty do
    end
  end

  test "Typed - 0-arg" do
    defmodulet TypedTest_Typed_Simple do
      @spec simple() :: nil
      def simple(), do: nil
    end

This file has been truncated. show original

And not AST subverting, but a lisp’y thing in Elixir via sigils and/or functions with read-macro’s and normal macro’s:

github.com

OvermindDL1/llixer/blob/master/test/llixer/simple/stdlib/read_macros_test.exs

defmodule Llixer.Simple.Stdlib.ReadMacrosTest do
  use ExUnit.Case
  doctest Llixer.Simple.Stdlib.ReadMacros

  alias Llixer.Simple.Env
  alias Llixer.Simple.Parser
  alias Llixer.Simple.SpecialForms
  alias Llixer.Simple.Stdlib.ReadMacros

  setup_all do
    env =
      Env.new()
      |> Env.push_scope(:special_forms, SpecialForms.scope())
      |> Env.push_scope(:read_macros)
      |> ReadMacros.add_read_macros()
      |> Env.push_scope(:testing)
    {:ok, %{env: env}}
  end

  test "string - doublequotes", %{env: env} do

This file has been truncated. show original

I always love doing this stuff. ^.^

vic · March 1, 2018, 3:29am

Haha, yeah, I already knew some of your experiments, like them a lot because you also enjoy playing with langs in elixir. I’m liking your parser library a lot, will probably use it for another experiment in the following days.

Just updated blue to support calling operators and pipes. I guess I wont be adding more features to it, I want to keep it minimal but functional.

OvermindDL1 · March 1, 2018, 5:15pm

I love the style parsing that ExSpirit does, been using that style in a variety of languages for going on 20 years now.

If any questions about it, just ask, and yes putting the rules in different modules compiles faster at a slight runtime cost if that matters to you.

Heh, yeah I tried to keep my Llixer.Simple library very simple, I should finish it someday.