Documentation of Hamler

Documentation of Hamler

• Hamler Cheatsheet
  • Hello world
  • Hamler REPL
  • Comments
  • Values, Types and Variables
  • Basic Types
  • User-defined Types
  • Bindings
  • Functions
  • Expressions
  • Operators
  • Modules
  • Type classes
  • Functor, Applicative and Monad
  • Reserved Words
• 01. Why Hamler?
  • What’s Hamler
  • Prerequisites
  • Haskell Style
  • Type Checking
  • Erlang and Concurrency
• 02. Quick Start
  • Installation
  • Hamler Interpreter
  • Create A Project
  • Module structure
  • Hello, Hamler!
• 03. Basic Types, Functions and Operators
  • Simple Types
  • Operators
  • Functions
  • Quantified Types
  • Notes On Indentations
  • Type Synonym
  • Records
• 04. More Types and Pattern Matching
  • Algebraic Data Types
  • Case Expressions
  • Newtypes
  • Simple Pattern Matching
  • Guards
  • List Patterns
  • Record Patterns
  • Maps
  • Map Patterns
  • Binary Patterns
• 05. High Order Functions And Recursions
  • Introduction
  • Recursions on more complicated datatypes
  • Map, filter and fold
  • List Comprehensions
  • Higher Order Functions
• 06. Type Classes
  • Introduction
  • Functor
  • Common type classes
• 07. Applicative and Monad
  • Functor
  • Applicative
  • Monad
  • lifting
• 08. Foreign Function Interface
  • Use Erlang Code From Hamler
  • Foreign Import
  • FFI Functions
• 09. Data Types Mapping
  • Overview
  • Enum, Range
  • Maps Mapping
  • Records Mapping
  • Binaries Mapping
  • Ports Mapping
  • Pids Mapping
  • References Mapping
  • User-defined data types Mapping
  • Atoms Mapping
  • Booleans Mapping
  • Chars Mapping
  • Integers Mapping
  • Floats Mapping
  • Strings Mapping
  • Tuples Mapping
  • Lists Mapping
• 10. Message Passing Concurrency
  • About Actor Model
  • Monitoring
  • Process Termination
  • Process and Mailbox
  • A Ping/Pong Example
  • Spawn a new process
  • Send/Receive message
  • Selective Receive
  • Receive … after
  • Registered Processes
  • Linking
• 11. OTP Behaviours
  • Overview
  • GenServer
  • GenStatem
  • GenEvent
  • Supervisor
  • Example
• 12. Node and Distributed Erlang
  • Distributed Erlang/OTP
  • Connect Nodes
  • RPC
• 13. Differences From Erlang
  • Overview
  • Modules
  • Variables
  • Delimiters
  • Comments
  • Functions
  • Data Types
  • List Comprehensions
  • Expressions
  • Operators
• FAQ
  • 1. About the Language
  • 1.1 What does the Hamler Logo mean?
  • 2. About the Compiler
  • 3. Install Packages
  • 4. Tools and IDE
  • 5. Milestones