Blog: Idris
- haskell
- machine learning
- serokell
- elixir
- introduction
- blockchain
- rust
- edsl
- algorithms
- elixir tutorial
- mathematics
- resource guide
- tezos
- web development
- computer science
- elixir in production
- elixir software
- erlang
- ghc
- haskell software
- lorentz
- smart contracts
- data science
- haskell in production
- history
- library
- remote work
- top projects
- deep learning
- formal verification
- metaprogramming
- ml resources
- rust in production
- template haskell
- typescript
- agda
- big data
- computer vision
- conferences
- dependent types
- functional programming
- learn haskell
- logic
- ml applications
- neural networks
- nix
- open source projects
- phoenix
- type families
- ai ethics
- dependent haskell
- ecto
- education
- events
- morley
- no-code
- outsourcing
- parsing
- physics
- rust software
- rust tutorial
- scala
- ton
- topology
- trends
- women in tech
- best-practices
- biotech
- cardano
- cnn
- compilers
- cryptography
- data analytics
- design
- dlt
- fintech
- genetics
- github
- gitlab
- gleam
- hobby
- icfpc
- idris
- learn from errors
- michelson
- ml algorithms
- ml ideas
- ml projects
- mtl
- ocaml
- pattern recognition
- quantum computers
- random numbers
- serokellchat
- servant
- signal processing
- supervised learning
- tagless final
- testing
- text analysis
- text-to-speech
- unsupervised learning
- web summit
- what's that typeclass
+ More
.jpg)
.jpg)
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.
.png)
- haskell
- machine learning
- serokell
- elixir
- introduction
- blockchain
- rust
- edsl
- algorithms
- elixir tutorial
- mathematics
- resource guide
- tezos
- web development
- computer science
- elixir in production
- elixir software
- erlang
- ghc
- haskell software
- lorentz
- smart contracts
- data science
- haskell in production
- history
- library
- remote work
- top projects
- deep learning
- formal verification
- metaprogramming
- ml resources
- rust in production
- template haskell
- typescript
- agda
- big data
- computer vision
- conferences
- dependent types
- functional programming
- learn haskell
- logic
- ml applications
- neural networks
- nix
- open source projects
- phoenix
- type families
- ai ethics
- dependent haskell
- ecto
- education
- events
- morley
- no-code
- outsourcing
- parsing
- physics
- rust software
- rust tutorial
- scala
- ton
- topology
- trends
- women in tech
- best-practices
- biotech
- cardano
- cnn
- compilers
- cryptography
- data analytics
- design
- dlt
- fintech
- genetics
- github
- gitlab
- gleam
- hobby
- icfpc
- idris
- learn from errors
- michelson
- ml algorithms
- ml ideas
- ml projects
- mtl
- ocaml
- pattern recognition
- quantum computers
- random numbers
- serokellchat
- servant
- signal processing
- supervised learning
- tagless final
- testing
- text analysis
- text-to-speech
- unsupervised learning
- web summit
- what's that typeclass
+ More