Tag: Functional programming
- haskell
- serokell
- interview
- machine learning
- elixir
- introduction
- ai
- eDSL
- mathematics
- remote work
- resource guide
- blockchain
- formal verification
- agda
- computer science
- dependent types
- history
- learn haskell
- open source projects
- smart contracts
- tezos
- algorithms
- best conferences
- elixir in production
- haskell in production
- learn elixir
- ml algorithms
- modal logic
- physics
- software development
- ton
- top events
- top haskell programs
- topology
- typescript
- agda vs haskell
- avl
- best-practices
- cardano
- conferences
- cryptography
- dependent haskell
- dlt
- erlang
- functional programming
- functional programming language
- ghc
- github
- gitlab
- haskell software
- hobby
- language encoding
- libra
- library
- michelson
- ml
- morley
- mtl
- nix
- outsourcing
- outsourcing software development
- quantum computers
- random numbers
- rust
- serokellchat
- signal processing
- tagless final
- teaching haskell
- theorem proving
- top projects
- turing degree
- web summit
- Less
Introduction to Functional Programming
“One withstands the invasion of armies; one does not withstand the invasion of ideas.” - Victor Hugo.
Article by Gints Dreimanis
Wednesday, January 8th, 2020
- haskell
- serokell
- interview
- machine learning
- elixir
- introduction
- ai
- eDSL
- mathematics
- remote work
- resource guide
- blockchain
- formal verification
- agda
- computer science
- dependent types
- history
- learn haskell
- open source projects
- smart contracts
- tezos
- algorithms
- best conferences
- elixir in production
- haskell in production
- learn elixir
- ml algorithms
- modal logic
- physics
- software development
- ton
- top events
- top haskell programs
- topology
- typescript
- agda vs haskell
- avl
- best-practices
- cardano
- conferences
- cryptography
- dependent haskell
- dlt
- erlang
- functional programming
- functional programming language
- ghc
- github
- gitlab
- haskell software
- hobby
- language encoding
- libra
- library
- michelson
- ml
- morley
- mtl
- nix
- outsourcing
- outsourcing software development
- quantum computers
- random numbers
- rust
- serokellchat
- signal processing
- tagless final
- teaching haskell
- theorem proving
- top projects
- turing degree
- web summit
- Less