ProductPromotion
Logo

Elixir

made by https://0x3d.site

GitHub - wende/elchemy: Write Elixir code using statically-typed Elm-like syntax (compatible with Elm tooling)
Write Elixir code using statically-typed Elm-like syntax (compatible with Elm tooling) - wende/elchemy
Visit Site

GitHub - wende/elchemy: Write Elixir code using statically-typed Elm-like syntax (compatible with Elm tooling)

GitHub - wende/elchemy: Write Elixir code using statically-typed Elm-like syntax (compatible with Elm tooling)

Quick install

npm install -g elchemy

What is it?

Elchemy lets you write simple, fast and quality type safe code while leveraging both the Elm's safety and Elixir's ecosystem

In case of any questions about the project feel free to submit them in Issues with Q&A label

Features

  • Type inference: Powerful type inference means you rarely have to annotate types. Everything gets checked for you by the compiler
  • Easy and type-safe interop: You can call Elixir/Erlang without any extra boiler-plate. All the calls you make are checked in terms of type-safety as thoroughly as possible based on Elixir's typespecs.
  • All the best of Elm and Elixir: Elchemy inherits what's best in Elm - type safety, inference and extreme expressiveness, but also what's best in Elixir - Doc-tests, tooling and obviously the entire BEAM platform.
  • Nearly no runtime errors - Elchemy's type system eliminates almost all runtime errors. With a shrinking set of edge cases, your entire Elchemy codebase is safe. Elixir parts of the codebase are the only ones to be a suspect in cases of runtime errors happening.
  • Beautiful and fully readable output - The produced code is idiomatic, performant and can be easily read and analyzed without taking a single look at the original source.

Maturity of the project

  • Parser - 99% of Elm's syntax (see elm-ast)
  • Compiler - 90% (Sophisticated incremental compilation. No support for Windows yet though (#287) and also big reliance on unix tools (#288)
  • Elchemy-core - 95% ( Everything covered except side effects and JSON Decoders)
  • Interop with Elixir - 90% - Purity tests (#162) and handling of macro-heavy libraries (#276) to go
  • Ideology - 70% - We've got a pretty solid idea of where Elchemy is going
  • Documentation - 80% - There are two tutorials and a complete Gitbook documentation. Few entrance level tutorials though, this project tries to change it.
  • Elchemy-effects - 20% - You can't and shouldn't write anything with side-effects in Elchemy yet. We're working on finding the best solution for effects that would fit both Elm's and Elixir's community (see #297 for more info)
  • Elchemy-core for Erlang VM - 5% - Everything for os related tasks like filesystem, OTP goodies etc are yet to be done
  • Elchemy type checker - 20% - Self-hosted elchemy type inference algorithm, written by @wende and inspired by @Bogdanp.

Usage

Prerequisites

Installation in an existing Elixir project

Install elchemy globally with:

npm install -g elchemy

Then, in the root directory of your project do:

elchemy init

And follow the instructions.

elchemy will find all *.elm files specified in elchemy_path and compile it into corresponding *.ex files in lib directory.

You can override output directory specifying elixirc_paths.

Installation as a standalone

npm install -g elchemy

Usage

elchemy compile source_dir output_dir

Recommended editors setup

Build from source

git clone https://github.com/wende/elchemy.git
cd elchemy
make compile
./elchemy compile source_dir output_dir

and

make dev

In order to launch and test the web demo.

Troubleshooting

If something doesn't work, try

npm install -g elchemy
elchemy clean
elchemy init
mix test

first

FAQ

Why would I want to use that?

  • You like types
  • But even more you prefer compile-time errors over run-time error
  • You prefer add b c = b + c over defp add(a, b), do: b + c
  • You like curry
  • You think failing fast is cool, but not as cool as not failing at all

Why wouldn't I want to use that?

  • Your project relies on die-hard battle tested libraries, and you despise any versions starting with 0
  • You're afraid that when you learn what Monad is your mustache will grow, and eyesight weaken

Can I use it in already existing Elixir project?

You can, but nice and dandy compile tools are still on their way

Will my employer notice I'm having an affair with Elchemy?

The output files of Elchemy treat the code readability as a first class citizen. The code is meant to be properly indented, the comments aren't omitted, and the code is optimized as hard as it can ( f.i case clauses reduce to function overloads)

When will Elchemy become 1.0.0?

Once it's done, so as it is supposed to be in the so called semantic versioning. :innocent:

Can I contribute?

Definitely. Yes. Please do. :two_hearts:

How are types represented?

You're a nosy one, aren't you? :smile: Elchemy represents all type constructors as snake cased atoms, and all type applications as tuples. Which means that MyType 42 "Forty two" Error in Elchemy equals to {:my_type, 42, "Forty Two", :error} in Elixir.

Can I use already existing Elm libraries with Elchemy?

As long as they don't use any Native modules, Ports or Elm runtime they can be safely imported and used

Can I use already existing Elixir libraries with Elchemy?

Yes. You can do an ffi call to any function in any module. Whether it's Elixir module, Erlang module, or even a macro you can include it in your code. Ffi calls are a treated specially in Elchemy, and they get generated test to analyze the types based on @specs, so that you don't compromise type safety for using Elixir code. In order to increase readability it's advised not to use ffi calls if not necessary and always document and doctest them.

But what about out of function macros? Like tests and use Module?

Unfortunately you can't write any macros with do..end blocks yet. You can write any out of function code using an elixir inline code with:

{- ex
  *code_here*
-}

But it is a last resort solution and shouldn't ever be abused.

Can I define an Elixir macro in Elchemy?

So you want to write an Elm-like code, that will manipulate Elixir code, which generates an Elixir code that manipulates Elixir code? How about no?

Do I need to have Elm installed to compile my .elm files with Elchemy?

Elchemy uses Elm to typecheck your program. It is possible to use it without Elm on your machine, while it's not advised.

Contributor credits:

Inspiration:

Contributing Guide

Targeted values:

  • Fully readable and indented elixir code generated from compilation
  • Seamless and stress less interop with existing Elixir code, preferably with magically working type safety
  • Full integration with entire elm syntax for editors and compilers magic

Articles
to learn more about the elixir concepts.

Resources
which are currently available to browse on.

mail [email protected] to add your project or resources here 🔥.

FAQ's
to know more about the topic.

mail [email protected] to add your project or resources here 🔥.

Queries
or most google FAQ's about Elixir.

mail [email protected] to add more queries here 🔍.

More Sites
to check out once you're finished browsing here.

0x3d
https://www.0x3d.site/
0x3d is designed for aggregating information.
NodeJS
https://nodejs.0x3d.site/
NodeJS Online Directory
Cross Platform
https://cross-platform.0x3d.site/
Cross Platform Online Directory
Open Source
https://open-source.0x3d.site/
Open Source Online Directory
Analytics
https://analytics.0x3d.site/
Analytics Online Directory
JavaScript
https://javascript.0x3d.site/
JavaScript Online Directory
GoLang
https://golang.0x3d.site/
GoLang Online Directory
Python
https://python.0x3d.site/
Python Online Directory
Swift
https://swift.0x3d.site/
Swift Online Directory
Rust
https://rust.0x3d.site/
Rust Online Directory
Scala
https://scala.0x3d.site/
Scala Online Directory
Ruby
https://ruby.0x3d.site/
Ruby Online Directory
Clojure
https://clojure.0x3d.site/
Clojure Online Directory
Elixir
https://elixir.0x3d.site/
Elixir Online Directory
Elm
https://elm.0x3d.site/
Elm Online Directory
Lua
https://lua.0x3d.site/
Lua Online Directory
C Programming
https://c-programming.0x3d.site/
C Programming Online Directory
C++ Programming
https://cpp-programming.0x3d.site/
C++ Programming Online Directory
R Programming
https://r-programming.0x3d.site/
R Programming Online Directory
Perl
https://perl.0x3d.site/
Perl Online Directory
Java
https://java.0x3d.site/
Java Online Directory
Kotlin
https://kotlin.0x3d.site/
Kotlin Online Directory
PHP
https://php.0x3d.site/
PHP Online Directory
React JS
https://react.0x3d.site/
React JS Online Directory
Angular
https://angular.0x3d.site/
Angular JS Online Directory