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:
Idris
Research
Programming
Artificial Intelligence
Interviews
Other
haskell
machine learning
serokell
elixir
rust
blockchain
introduction
eDSL
algorithms
haskell in production
web development
computer science
elixir tutorial
mathematics
resource guide
tezos
elixir in production
elixir software
erlang
ghc
haskell software
lorentz
smart contracts
data science
history
library
metaprogramming
remote work
rust in production
template haskell
typescript
deep learning
formal verification
functional programming
ml resources
neural networks
nix
parsers
top projects
agda
big data
computer vision
conferences
dependent types
learn haskell
logic
ml applications
open source projects
phoenix
type families
what's that typeclass
ai ethics
dependent haskell
ecto
education
events
functional futures
morley
no code
outsourcing
physics
rust software
rust tutorial
scala
testing
ton
topology
trends
women in tech
biotech
cardano
cnn
compilers
cryptography
data analytics
design
dlt
fintech
free monads
generative art
genetics
github
gitlab
gleam
hobby
icfpc
idris
lambda calculus
michelson
ml algorithms
ml ideas
ml projects
mtl
ocaml
pattern recognition
quantum computers
random numbers
serokellchat
servant
signal processing
supervised learning
tagless final
text analysis
text-to-speech
unsupervised learning
web summit
web3
- Less
+ More
From Whitespace to Idris: Interview With Edwin Brady
Want to find out what type-driven development is? Listen to (or read) our interview with Edwin Brady, the creator of Idris, one of the most popular dependently-typed programming languages.
Article by
Jonn Mostovoy
October 29th, 2021
24 min read
haskell
machine learning
serokell
elixir
rust
blockchain
introduction
eDSL
algorithms
haskell in production
web development
computer science
elixir tutorial
mathematics
resource guide
tezos
elixir in production
elixir software
erlang
ghc
haskell software
lorentz
smart contracts
data science
history
library
metaprogramming
remote work
rust in production
template haskell
typescript
deep learning
formal verification
functional programming
ml resources
neural networks
nix
parsers
top projects
agda
big data
computer vision
conferences
dependent types
learn haskell
logic
ml applications
open source projects
phoenix
type families
what's that typeclass
ai ethics
dependent haskell
ecto
education
events
functional futures
morley
no code
outsourcing
physics
rust software
rust tutorial
scala
testing
ton
topology
trends
women in tech
biotech
cardano
cnn
compilers
cryptography
data analytics
design
dlt
fintech
free monads
generative art
genetics
github
gitlab
gleam
hobby
icfpc
idris
lambda calculus
michelson
ml algorithms
ml ideas
ml projects
mtl
ocaml
pattern recognition
quantum computers
random numbers
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