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
rust
elixir
haskell in production
blockchain
introduction
algorithms
edsl
erlang
ghc
neural networks
web development
computer science
data science
elixir tutorial
functional futures
mathematics
resource guide
tezos
elixir in production
lorentz
parsers
smart contracts
dependent types
elixir software
functional programming
haskell software
history
library
metaprogramming
nix
remote work
rust in production
template haskell
typescript
agda
computer vision
deep learning
formal verification
ml resources
what's that typeclass
big data
conferences
idris
image generation
learn haskell
logic
ml applications
open source projects
phoenix
top projects
trends
type families
ai ethics
biotech
dependent haskell
ecto
education
events
generative ai
ml algorithms
morley
no code
ocaml
optimization
outsourcing
pattern recognition
physics
rust software
rust tutorial
scala
testing
ton
topology
transformers
webassembly
women in tech
ai
cardano
cnn
compilers
coq
cryptography
data analytics
data mining
design
dlt
existential types
feature engineering
fintech
free monads
game development
genetics
github
gitlab
gleam
gpt
higher-rank types
hobby
icfpc
lambda calculus
lean
lisp
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
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
rust
elixir
haskell in production
blockchain
introduction
algorithms
edsl
erlang
ghc
neural networks
web development
computer science
data science
elixir tutorial
functional futures
mathematics
resource guide
tezos
elixir in production
lorentz
parsers
smart contracts
dependent types
elixir software
functional programming
haskell software
history
library
metaprogramming
nix
remote work
rust in production
template haskell
typescript
agda
computer vision
deep learning
formal verification
ml resources
what's that typeclass
big data
conferences
idris
image generation
learn haskell
logic
ml applications
open source projects
phoenix
top projects
trends
type families
ai ethics
biotech
dependent haskell
ecto
education
events
generative ai
ml algorithms
morley
no code
ocaml
optimization
outsourcing
pattern recognition
physics
rust software
rust tutorial
scala
testing
ton
topology
transformers
webassembly
women in tech
ai
cardano
cnn
compilers
coq
cryptography
data analytics
data mining
design
dlt
existential types
feature engineering
fintech
free monads
game development
genetics
github
gitlab
gleam
gpt
higher-rank types
hobby
icfpc
lambda calculus
lean
lisp
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
unsupervised learning
web summit
web3
- Less
+ More
Research
Programming
Artificial Intelligence
Interviews
Other
Close