Tag: Language Encoding
- haskell
- machine learning
- serokell
- elixir
- introduction
- blockchain
- rust
- eDSL
- resource guide
- algorithms
- computer science
- elixir in production
- elixir software
- elixir tutorial
- haskell software
- mathematics
- erlang
- lorentz
- remote work
- smart contracts
- tezos
- top projects
- data science
- formal verification
- haskell in production
- history
- library
- ml resources
- nix
- typescript
- agda
- big data
- conferences
- dependent types
- functional programming
- ghc
- learn haskell
- metaprogramming
- ml applications
- open source projects
- rust in production
- software development
- ai ethics
- deep learning
- education
- events
- modal logic
- outsourcing
- parsing
- phoenix
- physics
- rust software
- rust tutorial
- scala
- template haskell
- ton
- topology
- trends
- type families
- women in tech
- ai
- best-practices
- biotech
- cardano
- cryptography
- dependent haskell
- dlt
- fintech
- functional programming language
- genetics
- github
- gitlab
- hobby
- icfpc
- language encoding
- libra
- michelson
- ml algorithms
- ml ideas
- ml projects
- morley
- mtl
- neural networks
- no-code
- ocaml
- pattern recognition
- quantum computers
- random numbers
- serokellchat
- signal processing
- supervised learning
- tagless final
- testing
- text analysis
- text-to-speech
- theorem proving
- unsupervised learning
- web summit
- Less
.jpg)
Parsing Typed eDSL
Embedded DSL (or eDSL) is a popular technique for encoding your domain-specific language into Haskell’s type system. How do we use it in Tezos developer tools? Read more in this article.
- haskell
- machine learning
- serokell
- elixir
- introduction
- blockchain
- rust
- eDSL
- resource guide
- algorithms
- computer science
- elixir in production
- elixir software
- elixir tutorial
- haskell software
- mathematics
- erlang
- lorentz
- remote work
- smart contracts
- tezos
- top projects
- data science
- formal verification
- haskell in production
- history
- library
- ml resources
- nix
- typescript
- agda
- big data
- conferences
- dependent types
- functional programming
- ghc
- learn haskell
- metaprogramming
- ml applications
- open source projects
- rust in production
- software development
- ai ethics
- deep learning
- education
- events
- modal logic
- outsourcing
- parsing
- phoenix
- physics
- rust software
- rust tutorial
- scala
- template haskell
- ton
- topology
- trends
- type families
- women in tech
- ai
- best-practices
- biotech
- cardano
- cryptography
- dependent haskell
- dlt
- fintech
- functional programming language
- genetics
- github
- gitlab
- hobby
- icfpc
- language encoding
- libra
- michelson
- ml algorithms
- ml ideas
- ml projects
- morley
- mtl
- neural networks
- no-code
- ocaml
- pattern recognition
- quantum computers
- random numbers
- serokellchat
- signal processing
- supervised learning
- tagless final
- testing
- text analysis
- text-to-speech
- theorem proving
- unsupervised learning
- web summit
- Less