• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    迪恩网络公众号

hamler-lang/hamler: Haskell-style functional programming language running on Erl ...

原作者: [db:作者] 来自: 网络 收藏 邀请

开源软件名称(OpenSource Name):

hamler-lang/hamler

开源软件地址(OpenSource Url):

https://github.com/hamler-lang/hamler

开源编程语言(OpenSource Language):

Erlang 62.1%

开源软件介绍(OpenSource Introduction):

The Hamler Programming Language

GitHub Release Docker Pulls Slack Twitter Community

Hamler - Haskell-style functional programming language running on Erlang VM.

Hamler is a strongly-typed language with compile-time type-checking and built-in support for concurrency and distribution.

Hamler empowers industries to build the next generation of scalable, reliable, real-time applications, especially for 5G, IoT, and edge computing.

Why Hamler?

For almost a decade, we have been developing software systems based on Erlang/OTP, especially our main product EMQ X - the scalable open-source MQTT broker. So, we have always believed that Erlang is a masterpiece of engineering. With amazing concurrency, distribution, and fault tolerance, it is one of the few general-purpose language platforms able to properly handle concurrency and soft realtime.

However, from all the experience writing Erlang, we believe that the following features can help Erlang programmers better adapt to the coming wave of 5G, IoT, and edge-programming and attract more people to using BEAM.

  • Compile-time type checking and type reference
  • ADTs, Function Composition, Type Classes
  • More friendly syntax for prosperous communities
  • Functor, Applicative, and Monad...:)

Now all the features are available in the Hamler programming language.

Features

  • Functional programming
  • Haskell and ML style
  • Compile-time type Checking/Inference
  • Algebraic data type (ADT)
  • Functions, higher-order functions
  • Currying and partial application
  • Pattern matching, and Guards
  • List comprehension
  • Applicative and Monad
  • Advanced module system
  • Built-in concurrency

Design

The Hamler compiler architecture is shown as below:

hamler-compiler

The Hamler 0.1 compiler was forked from PureScript 0.13.6. The Hamler source code is parsed to generate CST, then CoreErlang's IR is generated after CST -> AST -> CoreFn's syntax tree transformation, syntax analysis and type checking. The code is then used by the Erlang compiler to generate the final Beam bytecode.

Installation

Get the installation package through Github Release

packages for windows will be coming soon...

Linux

$ tar zxvf hamler-$version.tgz -C /usr/lib/
$ ln -s /usr/lib/hamler/bin/hamler /usr/bin/hamler

Centos 7

$ rpm -ivh hamler-$version-1.el7.x86_64.rpm

Debian 8 / Debian 9 / Debian 10 / Ubuntu 16.04 / Ubuntu 18.04 / Ubuntu 20.04

$ dpkg -i hamler_$version_amd64.deb

Homebrew(macOS)

$ brew tap hamler-lang/hamler
$ brew install hamler

Project Layout

├── .github/workflows     # ci
├── app                   # hamler commands, such as `compile`, `repl`, ...
├── deploy
├── doc                   # link to hamler documents
├── lib                   # hamler standard libraries
∣   ├── Control           # common control structures, concurrent Process, and OTP behaviours. 
∣   ├── Data              # commonly used data structures and functions
∣   ├── Database          # common databases in erlang, such as ETS, DETS, and Mnesia
∣   ├── Foreign           
∣   ├── Network           # hamler network libraries.
∣   ├── System            # system libraries including IO, VM, OS, Env, File, Random, Timer, and Logger. 
∣   ├── Test              # hamler QuickCheck test framework
∣   ├── Foreign.hm        # hamler FFI functions
∣   └── Prelude.hm        # functions exported by default
├── repl
∣   └── replsrv           # hamler REPL server
├── src/Language          # hamler compiler source
∣   ├── Hamler
∣   ∣   ├── CodeGen.hs    # convert CoreFn to CoreErlang
∣   ∣   ├── Make
∣   ∣   ├── Make.hs
∣   ∣   └── Util.hs
∣   └── Hamler.hs
├── tests                 
∣   ├── Test              # test cases for hamler libraries
∣   ∣   ├── Control
∣   ∣   ├── Data          
∣   ∣   ├── Database
∣   ∣   ├── Network
∣   ∣   └── System 
∣   ├── Test.hm           # entrance to execute test cases
∣   └── Main.hs
├── .gitignore
├── LICENSE
├── Makefile
├── README.md
├── Setup.hs
├── hamler.cabal
├── package.yaml         
└── stack.yaml

Build from source code

Required

Building

  1. Clone hamler from the git repo

    $ git clone https://github.com/hamler-lang/hamler.git
    $ cd hamler
  2. Configuring

    $ export LC_ALL=en_US.UTF-8
  3. Building

    $ make
  4. Testing

    $ make test
  5. Install hamler

    $ sudo make install

Create a project

$ mkdir demo-project
$ cd demo-project
$ hamler init
$ make
$ make run

Try the interpreter

$ hamler repl

> -- List, range and enums
> [1,2,3]
> [1..10]
> ['a'..'z']

> -- erlang style maps
> import Data.Map as Map
> -- New map
> m = #{"foo" => "bar", "bar" => "foo"}
> -- Match Map
> #{"foo" := a, "bar" := b} = m
> -- get, put
> Map.get "foo" m -- a = "bar"
> Map.get "bar" m -- b = "foo"
> m1 = Map.put "key" "val" m
> -- keys, values
> keys = Map.keys m
> values = Map.values m

Documentation

Community, discussion, and supports

You can reach the Hamler community and core team via the following channels:

Contributing

To contribute to Hamler project:

  • Report issues : submit any bugs, issues to hamler/issues
  • Contribute code: Reference roadmap as a guidance for new features. Fork the project, and submit feature requests to hamler-lang/hamler
  • Submit a proposal: Fork the hamler-wiki project and submit a pull request

Core Team

The Hamler core team comes from EMQ Technologies Co., Ltd. now:

License & Credits

We would like to express our great appreciation to the PureScript team and community for all years of efforts making its amazing compiler, especially CoreFn and its incredible adaptability.

The hamler language project is licensed under BSD3, see LICENSE.

About EMQ

EMQ is an open-source software company providing highly-scalable, real-time messaging and streaming platforms for IoT applications in the 5G Era.




鲜花

握手

雷人

路过

鸡蛋
该文章已有0人参与评论

请发表评论

全部评论

专题导读
上一篇:
jgoerzen/twidge: Command-line twitter/identica client [Haskell]发布时间:2022-06-22
下一篇:
bitnomial/prometheus: Prometheus.io Haskell client.发布时间:2022-06-22
热门推荐
阅读排行榜

扫描微信二维码

查看手机版网站

随时了解更新最新资讯

139-2527-9053

在线客服(服务时间 9:00~18:00)

在线QQ客服
地址:深圳市南山区西丽大学城创智工业园
电邮:jeky_zhao#qq.com
移动电话:139-2527-9053

Powered by 互联科技 X3.4© 2001-2213 极客世界.|Sitemap