Blog: Lean
- haskell
- machine learning
- haskell in production
- serokell
- rust
- elixir
- blockchain
- introduction
- algorithms
- ghc
- edsl
- neural networks
- computer science
- erlang
- web development
- data science
- elixir tutorial
- functional futures
- mathematics
- resource guide
- tezos
- elixir in production
- functional programming
- lorentz
- nix
- parsers
- rust in production
- smart contracts
- typescript
- dependent types
- elixir software
- haskell software
- history
- library
- metaprogramming
- remote work
- 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
- Python
- scala
- top projects
- trends
- type families
- ai ethics
- ai tools
- biotech
- chatgpt
- cybersecurity
- dependent haskell
- design
- ecto
- education
- events
- ml algorithms
- morley
- no code
- ocaml
- optimization
- outsourcing
- pattern recognition
- physics
- rust software
- rust tutorial
- supervised learning
- testing
- ton
- topology
- transformers
- unsupervised learning
- webassembly
- women in tech
- ai
- AI agents
- ai events
- ai in oil and gas
- ai tools 2023
- backpropagation
- bayesian optimization
- business
- cardano
- chatgpt alternatives
- cloud native software
- cnn
- compilers
- coq
- cryptography
- data analytics
- data mining
- data prepocessing
- devops
- dlt
- drug repurposing
- existential types
- feature engineering
- federated ml
- fintech
- fossa
- foundation models
- free monads
- game development
- generative ai security threats
- genetics
- github
- github copilot
- gitlab
- gleam
- gpt
- graph neural networks
- higher-rank types
- hobby
- hyperparameter tuning
- icfpc
- lambda calculus
- lean
- lisp
- LLaMA
- markdown
- medtech conferences
- michelson
- microservices
- ml
- ml ideas
- ml models
- ml projects
- mtl
- multi-runtime architecture
- nlp
- open source
- open source software
- OSS development
- programming languages
- purescript
- python development
- Python IDEs
- python libraries
- quantum computers
- random numbers
- reason
- reinforcement learning
- Rust libraries
- rust roadmap
- serokellchat
- servant
- signal processing
- software development trends 2024
- solana smart contract development
- support vector machine
- tagless final
- tech conferences 2024
- text analysis
- text-to-speech
- time series analysis
- tinyML
- trends in AI
- typed lambda calculus
- web summit
- web3
- website deployment
+ 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
- ghc
- edsl
- neural networks
- computer science
- erlang
- web development
- data science
- elixir tutorial
- functional futures
- mathematics
- resource guide
- tezos
- elixir in production
- functional programming
- lorentz
- nix
- parsers
- rust in production
- smart contracts
- typescript
- dependent types
- elixir software
- haskell software
- history
- library
- metaprogramming
- remote work
- 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
- Python
- scala
- top projects
- trends
- type families
- ai ethics
- ai tools
- biotech
- chatgpt
- cybersecurity
- dependent haskell
- design
- ecto
- education
- events
- ml algorithms
- morley
- no code
- ocaml
- optimization
- outsourcing
- pattern recognition
- physics
- rust software
- rust tutorial
- supervised learning
- testing
- ton
- topology
- transformers
- unsupervised learning
- webassembly
- women in tech
- ai
- AI agents
- ai events
- ai in oil and gas
- ai tools 2023
- backpropagation
- bayesian optimization
- business
- cardano
- chatgpt alternatives
- cloud native software
- cnn
- compilers
- coq
- cryptography
- data analytics
- data mining
- data prepocessing
- devops
- dlt
- drug repurposing
- existential types
- feature engineering
- federated ml
- fintech
- fossa
- foundation models
- free monads
- game development
- generative ai security threats
- genetics
- github
- github copilot
- gitlab
- gleam
- gpt
- graph neural networks
- higher-rank types
- hobby
- hyperparameter tuning
- icfpc
- lambda calculus
- lean
- lisp
- LLaMA
- markdown
- medtech conferences
- michelson
- microservices
- ml
- ml ideas
- ml models
- ml projects
- mtl
- multi-runtime architecture
- nlp
- open source
- open source software
- OSS development
- programming languages
- purescript
- python development
- Python IDEs
- python libraries
- quantum computers
- random numbers
- reason
- reinforcement learning
- Rust libraries
- rust roadmap
- serokellchat
- servant
- signal processing
- software development trends 2024
- solana smart contract development
- support vector machine
- tagless final
- tech conferences 2024
- text analysis
- text-to-speech
- time series analysis
- tinyML
- trends in AI
- typed lambda calculus
- web summit
- web3
- website deployment
+ More