Blog: Coq
- haskell
- machine learning
- haskell in production
- serokell
- rust
- elixir
- blockchain
- introduction
- algorithms
- edsl
- ghc
- computer science
- erlang
- neural networks
- web development
- data science
- elixir tutorial
- functional futures
- mathematics
- resource guide
- tezos
- elixir in production
- functional programming
- lorentz
- parsers
- smart contracts
- typescript
- dependent types
- elixir software
- haskell software
- history
- library
- metaprogramming
- nix
- remote work
- rust in production
- template haskell
- what's that typeclass
- agda
- computer vision
- deep learning
- formal verification
- ml resources
- big data
- conferences
- generative ai
- idris
- image generation
- learn haskell
- logic
- ml applications
- open source projects
- phoenix
- scala
- top projects
- trends
- type families
- ai ethics
- biotech
- dependent haskell
- design
- ecto
- education
- events
- ml algorithms
- morley
- no code
- ocaml
- optimization
- outsourcing
- pattern recognition
- physics
- rust software
- rust tutorial
- testing
- ton
- topology
- transformers
- webassembly
- women in tech
- ai
- AI agents
- AI tools
- cardano
- cnn
- compilers
- coq
- cryptography
- cybersecurity
- data analytics
- data mining
- dlt
- existential types
- feature engineering
- fintech
- foundation models
- free monads
- game development
- genetics
- github
- gitlab
- gleam
- gpt
- higher-rank types
- hobby
- icfpc
- lambda calculus
- lean
- lisp
- markdown
- michelson
- ml
- ml ideas
- ml projects
- mtl
- nlp
- purescript
- Python
- Python IDEs
- quantum computers
- random numbers
- reason
- Rust libraries
- serokellchat
- servant
- signal processing
- supervised learning
- support vector machine
- tagless final
- tech conferences 2024
- text analysis
- text-to-speech
- time series analysis
- tinyML
- unsupervised learning
- web summit
- web3
+ More
Functional Futures: Dependent Types with David Christiansen
In this month’s episode of Functional Futures, our guest is David Christiansen – the Executive Director of the Haskell Foundation and the co-author of The Little Typer, a book on dependent types.
.png)
- haskell
- machine learning
- haskell in production
- serokell
- rust
- elixir
- blockchain
- introduction
- algorithms
- edsl
- ghc
- computer science
- erlang
- neural networks
- web development
- data science
- elixir tutorial
- functional futures
- mathematics
- resource guide
- tezos
- elixir in production
- functional programming
- lorentz
- parsers
- smart contracts
- typescript
- dependent types
- elixir software
- haskell software
- history
- library
- metaprogramming
- nix
- remote work
- rust in production
- template haskell
- what's that typeclass
- agda
- computer vision
- deep learning
- formal verification
- ml resources
- big data
- conferences
- generative ai
- idris
- image generation
- learn haskell
- logic
- ml applications
- open source projects
- phoenix
- scala
- top projects
- trends
- type families
- ai ethics
- biotech
- dependent haskell
- design
- ecto
- education
- events
- ml algorithms
- morley
- no code
- ocaml
- optimization
- outsourcing
- pattern recognition
- physics
- rust software
- rust tutorial
- testing
- ton
- topology
- transformers
- webassembly
- women in tech
- ai
- AI agents
- AI tools
- cardano
- cnn
- compilers
- coq
- cryptography
- cybersecurity
- data analytics
- data mining
- dlt
- existential types
- feature engineering
- fintech
- foundation models
- free monads
- game development
- genetics
- github
- gitlab
- gleam
- gpt
- higher-rank types
- hobby
- icfpc
- lambda calculus
- lean
- lisp
- markdown
- michelson
- ml
- ml ideas
- ml projects
- mtl
- nlp
- purescript
- Python
- Python IDEs
- quantum computers
- random numbers
- reason
- Rust libraries
- serokellchat
- servant
- signal processing
- supervised learning
- support vector machine
- tagless final
- tech conferences 2024
- text analysis
- text-to-speech
- time series analysis
- tinyML
- unsupervised learning
- web summit
- web3
+ More