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:
Dependent Haskell
Research
Programming
Artificial Intelligence
Interviews
Other
haskell
machine learning
serokell
elixir
blockchain
rust
introduction
eDSL
haskell in production
algorithms
erlang
web development
computer science
elixir tutorial
mathematics
resource guide
tezos
data science
elixir in production
ghc
lorentz
smart contracts
elixir software
functional programming
haskell software
history
library
metaprogramming
nix
remote work
rust in production
template haskell
typescript
deep learning
dependent types
formal verification
functional futures
ml resources
neural networks
parsers
top projects
agda
big data
computer vision
conferences
learn haskell
logic
ml applications
open source projects
phoenix
type families
what's that typeclass
ai ethics
dependent haskell
ecto
education
events
idris
morley
no-code
ocaml
outsourcing
physics
rust software
rust tutorial
scala
testing
ton
topology
trends
webassembly
women in tech
biotech
cardano
cnn
compilers
cryptography
data analytics
data mining
design
dlt
fintech
free monads
generative art
genetics
github
gitlab
gleam
hobby
icfpc
lambda calculus
michelson
ml algorithms
ml ideas
ml projects
mtl
pattern recognition
quantum computers
random numbers
reason
serokellchat
servant
signal processing
supervised learning
tagless final
text analysis
text-to-speech
unsupervised learning
web summit
web3
- Less
+ More
How Dependent Haskell Can Improve Industry Projects
In this post, we talk about Dependent Haskell and show how it could be used to simplify and improve the code in a large production codebase.
Article by
Danya Rogozin
,
Vladislav Zavialov
September 7th, 2021
24 min read
Why Dependent Haskell is the Future of Software Development
Hi, I’m Vladislav Zavialov. For the last couple of months, my job at Serokell has been to lead our efforts to improve our primary tool – the Glasgow Haskell Compiler (GHC). I’m focusing on making th…
Article by
Vladislav Zavialov
December 17th, 2018
19 min read
haskell
machine learning
serokell
elixir
blockchain
rust
introduction
eDSL
haskell in production
algorithms
erlang
web development
computer science
elixir tutorial
mathematics
resource guide
tezos
data science
elixir in production
ghc
lorentz
smart contracts
elixir software
functional programming
haskell software
history
library
metaprogramming
nix
remote work
rust in production
template haskell
typescript
deep learning
dependent types
formal verification
functional futures
ml resources
neural networks
parsers
top projects
agda
big data
computer vision
conferences
learn haskell
logic
ml applications
open source projects
phoenix
type families
what's that typeclass
ai ethics
dependent haskell
ecto
education
events
idris
morley
no-code
ocaml
outsourcing
physics
rust software
rust tutorial
scala
testing
ton
topology
trends
webassembly
women in tech
biotech
cardano
cnn
compilers
cryptography
data analytics
data mining
design
dlt
fintech
free monads
generative art
genetics
github
gitlab
gleam
hobby
icfpc
lambda calculus
michelson
ml algorithms
ml ideas
ml projects
mtl
pattern recognition
quantum computers
random numbers
reason
serokellchat
servant
signal processing
supervised learning
tagless final
text analysis
text-to-speech
unsupervised learning
web summit
web3
- Less
+ More
Research
Programming
Artificial Intelligence
Interviews
Other
Close