Blog: Idris
- 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
+ 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
- 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
+ More