Projects
Shop
Blog
Labs
Academy
Careers
Team
Contacts
Hire us
Your browser seems to have problems showing our website properly so it's switched to a simplified version.
Blog:
TypeScript
Research
Programming
Artificial Intelligence
Interviews
Other
haskell
machine learning
serokell
rust
elixir
haskell in production
blockchain
introduction
algorithms
edsl
erlang
ghc
neural networks
web development
computer science
data science
elixir tutorial
functional futures
mathematics
resource guide
tezos
elixir in production
lorentz
parsers
smart contracts
dependent types
elixir software
functional programming
haskell software
history
library
metaprogramming
nix
remote work
rust in production
template haskell
typescript
agda
computer vision
deep learning
formal verification
ml resources
what's that typeclass
big data
conferences
idris
image generation
learn haskell
logic
ml applications
open source projects
phoenix
top projects
trends
type families
ai ethics
biotech
dependent haskell
ecto
education
events
generative ai
ml algorithms
morley
no code
ocaml
optimization
outsourcing
pattern recognition
physics
rust software
rust tutorial
scala
testing
ton
topology
transformers
webassembly
women in tech
ai
cardano
cnn
compilers
coq
cryptography
data analytics
data mining
design
dlt
existential types
feature engineering
fintech
free monads
game development
genetics
github
gitlab
gleam
gpt
higher-rank types
hobby
icfpc
lambda calculus
lean
lisp
michelson
ml
ml ideas
ml projects
mtl
nlp
purescript
quantum computers
random numbers
reason
serokellchat
servant
signal processing
supervised learning
support vector machine
tagless final
text analysis
text-to-speech
unsupervised learning
web summit
web3
- Less
+ More
How to Write TypeScript Like a Haskeller
In this article, we show how to use TypeScript to implement Haskell concepts like algebraic data types, higher-kinded types, tagless final, and more.
Article by
Aleksandr Pakulev
March 29th, 2022
28 min read
Serokell at ICFPC 2021: Rust, TypeScript, and Brain Wall
On July 9-12, three Serokellers took part in ICFPC 2021 as part of team TBD. Read this article to learn how the team solved this year's task.
Article by
Team TBD
July 30th, 2021
15 min read
Hackage Search: Regex-Based Online Code Search
Have you ever wanted to find something on Hackage? If yes, we have a tool for you.
Article by
Vladislav Zavialov
December 15th, 2020
3 min read
Why You Should Choose TypeScript Over JavaScript
Angular, one of the largest frontend frameworks, is using TypeScript. About 60% of JS programmers already use TypeScript, and 22% wish to try. Why?
Article by
Gints Dreimanis
,
Olga Bolgurtseva
June 18th, 2020
11 min read
Catching Runtime Errors in Compile Time with Typescript
Dive deeper into the beauty of Typescript by reading Domagoj’s post for Serokell.
Article by
Domagoj Cerjan
March 12th, 2019
10 min read
haskell
machine learning
serokell
rust
elixir
haskell in production
blockchain
introduction
algorithms
edsl
erlang
ghc
neural networks
web development
computer science
data science
elixir tutorial
functional futures
mathematics
resource guide
tezos
elixir in production
lorentz
parsers
smart contracts
dependent types
elixir software
functional programming
haskell software
history
library
metaprogramming
nix
remote work
rust in production
template haskell
typescript
agda
computer vision
deep learning
formal verification
ml resources
what's that typeclass
big data
conferences
idris
image generation
learn haskell
logic
ml applications
open source projects
phoenix
top projects
trends
type families
ai ethics
biotech
dependent haskell
ecto
education
events
generative ai
ml algorithms
morley
no code
ocaml
optimization
outsourcing
pattern recognition
physics
rust software
rust tutorial
scala
testing
ton
topology
transformers
webassembly
women in tech
ai
cardano
cnn
compilers
coq
cryptography
data analytics
data mining
design
dlt
existential types
feature engineering
fintech
free monads
game development
genetics
github
gitlab
gleam
gpt
higher-rank types
hobby
icfpc
lambda calculus
lean
lisp
michelson
ml
ml ideas
ml projects
mtl
nlp
purescript
quantum computers
random numbers
reason
serokellchat
servant
signal processing
supervised learning
support vector machine
tagless final
text analysis
text-to-speech
unsupervised learning
web summit
web3
- Less
+ More
Research
Programming
Artificial Intelligence
Interviews
Other
Close