Projects
Shop
Blog
Labs
Academy
Careers
Team
Contacts
Hire us
Your browser seems to have problems showing our website properly so it's switched to a simplified version.
Blog:
Type Families
Research
Programming
Artificial Intelligence
Interviews
Other
haskell
machine learning
serokell
haskell in production
rust
elixir
blockchain
introduction
algorithms
edsl
ghc
computer science
erlang
neural networks
web development
data science
elixir tutorial
functional futures
mathematics
resource guide
tezos
elixir in production
functional programming
lorentz
parsers
smart contracts
dependent types
elixir software
haskell software
history
library
metaprogramming
nix
remote work
rust in production
template haskell
typescript
what's that typeclass
agda
computer vision
deep learning
formal verification
ml resources
big data
conferences
generative ai
idris
image generation
learn haskell
logic
ml applications
open source projects
phoenix
scala
top projects
trends
type families
ai ethics
biotech
dependent haskell
design
ecto
education
events
ml algorithms
morley
no code
ocaml
optimization
outsourcing
pattern recognition
physics
rust software
rust tutorial
testing
ton
topology
transformers
webassembly
women in tech
ai
AI tools
cardano
cnn
compilers
coq
cryptography
cybersecurity
data analytics
data mining
dlt
existential types
feature engineering
fintech
foundation models
free monads
game development
genetics
github
gitlab
gleam
gpt
higher-rank types
hobby
icfpc
lambda calculus
lean
lisp
markdown
michelson
ml
ml ideas
ml projects
mtl
nlp
purescript
quantum computers
random numbers
reason
serokellchat
servant
signal processing
supervised learning
support vector machine
tagless final
text analysis
text-to-speech
tinyML
unsupervised learning
web summit
web3
- Less
+ More
Dependency Analysis of Haskell Declarations
Learn how GHC analyzes Haskell code to type-check it in the correct order and what are the flaws of the current implementation.
Article by
Artem Kuznetsov
August 31st, 2021
17 min read
Type Families in Haskell: The Definitive Guide
Learn about type families, one of the most powerful type-level programming features in Haskell.
Article by
Vladislav Zavialov
April 20th, 2021
19 min read
Compile-Time Evaluation in Haskell
In this article, we look at three ways to do compile-time evaluation in Haskell: Template Haskell, type families, and functional dependencies.
Article by
Vladislav Zavialov
January 5th, 2021
5 min read
haskell
machine learning
serokell
haskell in production
rust
elixir
blockchain
introduction
algorithms
edsl
ghc
computer science
erlang
neural networks
web development
data science
elixir tutorial
functional futures
mathematics
resource guide
tezos
elixir in production
functional programming
lorentz
parsers
smart contracts
dependent types
elixir software
haskell software
history
library
metaprogramming
nix
remote work
rust in production
template haskell
typescript
what's that typeclass
agda
computer vision
deep learning
formal verification
ml resources
big data
conferences
generative ai
idris
image generation
learn haskell
logic
ml applications
open source projects
phoenix
scala
top projects
trends
type families
ai ethics
biotech
dependent haskell
design
ecto
education
events
ml algorithms
morley
no code
ocaml
optimization
outsourcing
pattern recognition
physics
rust software
rust tutorial
testing
ton
topology
transformers
webassembly
women in tech
ai
AI tools
cardano
cnn
compilers
coq
cryptography
cybersecurity
data analytics
data mining
dlt
existential types
feature engineering
fintech
foundation models
free monads
game development
genetics
github
gitlab
gleam
gpt
higher-rank types
hobby
icfpc
lambda calculus
lean
lisp
markdown
michelson
ml
ml ideas
ml projects
mtl
nlp
purescript
quantum computers
random numbers
reason
serokellchat
servant
signal processing
supervised learning
support vector machine
tagless final
text analysis
text-to-speech
tinyML
unsupervised learning
web summit
web3
- Less
+ More
Research
Programming
Artificial Intelligence
Interviews
Other
Close