I don't know much about the MLFE project, beyond that it exists

Zach
ᐧ

On Wed, Sep 14, 2016 at 5:03 PM, OvermindDL1 <overmind...@gmail.com> wrote:

> There is an mlfe (ML on the BEAM) project too, could much more easily have
> elm build to that as a more easily done intermediate step?
>
>
> On Wednesday, September 14, 2016 at 5:08:00 AM UTC-6, Zachary Kessin wrote:
>>
>> If you want something way out there on the beam there is also "erlog"
>> which is a prolog that runs in an erlang process. It is by Robert Virding
>> who also wrote lfe and erllua as well as was one of the creators of erlang
>>
>> If we ever want to do an elm -> beam compiler I would say we would want
>> him on the project
>>
>> Zach
>> ᐧ
>>
>> On Mon, Sep 12, 2016 at 6:57 PM, OvermindDL1 <overm...@gmail.com> wrote:
>>
>>> I'm using Elixir as well currently, and no, its type system kind of
>>> sucks, however you can enforce both types and even values within on
>>> function calls via matchspecs and 'when' clauses (which are very simple and
>>> succinct).
>>>
>>> However, Elixir is an immutable functional language and its matchspecs
>>> (and dialyzer with typespecs) do make up for a lot of its type issues.
>>>
>>> Another however, Elixir is just a normal BEAM language and
>>> inter-operates with any other BEAM language, of which there are others:
>>> * Erlang:  The original BEAM language, very prolog'y, untyped too
>>> * lfe:  Lisp-Flavoured Erlang, basically just Lisp, macro's and all, but
>>> immutably on the BEAM.
>>> * mlfe:  A brand new BEAM language, basically ML, but on the BEAM, very
>>> strongly typed like OCaml is and such.  Due to the way the BEAM operates it
>>> is hard to tell what types messages should be but they are still working on
>>> it.  I have hope for this.
>>> * And a few minor others like Erlang2 and such
>>>
>>> So Elixir for now, but I expect to likely be using mlfe in the future
>>> (with Elixir).
>>>
>>> BEAM/EVM is just too nice to not use, regardless of the language (I've
>>> used Erlang for almost ten years, prolog syntax is... interesting, but
>>> understandable).
>>>
>>> Elixir just makes the BEAM/EVM significantly nicer to use
>>> (python'ish/ruby'ish in its ease of use, but without ruby's warts, or speed
>>> hit).
>>>
>>>
>>> On Saturday, September 10, 2016 at 1:41:22 AM UTC-6, Mario Sangiorgio
>>> wrote:
>>>>
>>>> Hello,
>>>>
>>>> I was wondering what programming language you use to implement the
>>>> back-end for your Elm single page web app.
>>>>
>>>> Reading around I see that the Elm/Elixir combo is popular but for how
>>>> much I think BEAM is an awesome VM I'm a bit sceptical due to Elixir being
>>>> a dynamic language. How much do you miss the compiler when you write Elixir
>>>> code?
>>>>
>>>> If you're not using Elixir, to what do you use? I played a bit with F#
>>>> (using Suave.io) and I think it's quite nice.
>>>>
>>>> Now I'm in the mood of learning something new so I'd like to know what
>>>> you use and maybe get an idea of what to look at next.
>>>>
>>>> Mario
>>>>
>>> --
>>> You received this message because you are subscribed to the Google
>>> Groups "Elm Discuss" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to elm-discuss...@googlegroups.com.
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>>
>>
>>
>> --
>> Zach Kessin
>> SquareTarget <http://squaretarget.rocks?utm_source=email-sig>
>> Twitter: @zkessin <https://twitter.com/zkessin>
>> Skype: zachkessin
>>
> --
> You received this message because you are subscribed to the Google Groups
> "Elm Discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to elm-discuss+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>



-- 
Zach Kessin
SquareTarget <http://squaretarget.rocks?utm_source=email-sig>
Twitter: @zkessin <https://twitter.com/zkessin>
Skype: zachkessin

-- 
You received this message because you are subscribed to the Google Groups "Elm 
Discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to elm-discuss+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to