Labs
Projects
Blog
Team
Contacts
Hire us
Your browser seems to have problems showing our website properly so it's switched to a simplified version.
We use cookies to personalize content and give you the best web experience. For more details, please read our
Privacy Notice
Accept
Tag:
Language Encoding
Research
Programming
Artificial Intelligence
Interviews
Other
haskell
serokell
machine learning
interview
elixir
introduction
ai
blockchain
eDSL
haskell software
mathematics
erlang
remote work
resource guide
rust
elixir software
formal verification
haskell in production
library
lorentz
smart contracts
tezos
top projects
agda
algorithms
big data
computer science
data science
dependent types
elixir in production
elixir tutorials
functional programming
learn haskell
open source projects
software development
typescript
best conferences
history
ml algorithms
ml applications
modal logic
nix
outsourcing
physics
rust in production
scala
ton
top events
topology
avl
best-practices
cardano
conferences
cryptography
dependent haskell
dlt
fintech
functional programming language
ghc
github
gitlab
hobby
language encoding
libra
michelson
morley
mtl
ocaml
quantum computers
random numbers
rust software
serokellchat
signal processing
tagless final
text analysis
theorem proving
web summit
- Less
- Less
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.
Article by
George Agapov
Friday, June 14th, 2019
haskell
serokell
machine learning
interview
elixir
introduction
ai
blockchain
eDSL
haskell software
mathematics
erlang
remote work
resource guide
rust
elixir software
formal verification
haskell in production
library
lorentz
smart contracts
tezos
top projects
agda
algorithms
big data
computer science
data science
dependent types
elixir in production
elixir tutorials
functional programming
learn haskell
open source projects
software development
typescript
best conferences
history
ml algorithms
ml applications
modal logic
nix
outsourcing
physics
rust in production
scala
ton
top events
topology
avl
best-practices
cardano
conferences
cryptography
dependent haskell
dlt
fintech
functional programming language
ghc
github
gitlab
hobby
language encoding
libra
michelson
morley
mtl
ocaml
quantum computers
random numbers
rust software
serokellchat
signal processing
tagless final
text analysis
theorem proving
web summit
- Less
- Less
Research
Programming
Artificial Intelligence
Interviews
Other
Close
.jpg)
