emqplus / documentation

Documentation of Hamler

Documentation of Hamler

Cheatsheet

Guides

1. Why Hamler?

• What's Hamler
• Prequisitcs
• Haskell Style
• Type Checking
• Erlang and Concurrency

2. Quick Start

• Installation
• Hamler Interpreter
• Create A Project
• Module Structure
• Hello Hamler

3. Basic Types, Functions and Operators

• Simple Types
• Operators
• Functions
• Quantified Types
• Notes on Indentations
• Type Synynom
• Records

4. More Types and Pattern Matching

• Algebraic Data Types
• Newtypes
• Simple Pattern Matching
• Guards
• List Patterns
• Record Patterns
• Maps
• Map Patterns
• Binary Patterns
• Case Expressions

5. High Order Functions And Recursions

• Introduction
• Recursions on more complicated datatypes
• Map, filter and fold
• List Comprehensions
• Higher Order Functions

6. Type Classes

• Introduction
• Functor
• Common type classes

7. Applicative and Monad

• Functor
• Applicative
• Monad
• Lifting

8. Foreign Function Interface

• Use Erlang Code From Hamler
• Foreign Import
• FFI Functions

9. Data Types Mapping

• Overview
• Atoms Mapping
• Booleans Mapping
• Chars Mapping
• Integers Mapping
• Floats Mapping
• Strings Mapping
• Tuples Mapping
• Lists Mapping
• Enum, Range
• Maps Mapping
• Records Mapping
• Binaries Mapping
• Ports Mapping
• Pids Mapping
• References Mapping
• User-defined data types Mapping

10. Message Passing Concurrency

• About Actor Model
• Process and Mailbox
• A Ping/Pong Example
• Spawn a new process
• Send/Receive message
• Selective Receive
• Receive .. after
• Registered Processes
• Linking
• Monitoring
• Process Termination

11. OTP Behaviours

• Overview
• GenServer
• GenStatem
• GenEvent
• Supervisor

12. Node and Distributed Erlang

• Distributed Erlang/OTP
• Connect Nodes
• RPC

13. Differences From Erlang

• Overview
• Variables
• Delimiters
• Comments
• Functions
• Data Types
• List Comprehensions
• Expressions
• Operators
• Modules

FAQ