Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
Isaac van Bakel
Isaac van Bakel has asked
12
questions and find answers to
10
problems.
Stats
236
EtPoint
43
Vote count
12
questions
10
answers
About
Student in maths and computer science, focusing on type systems and language design.
Isaac van Bakel questions
Why isn't `From` automatically used for coercing to trait implementing type
How can I bit-convert between Int and Word quickly?
Why is GHC contradicting itself when using a Coercible constraint?
Isaac van Bakel answers
Route vs. Resource
How can I derive typeclass instances from constraint families that are in scope?
Why do covariance/contravariance imply read-only/write-only?
Is the functor distribution law for the `Alt` typeclass trivial?
Singletons of singletons (emulating complex pi types in Haskell)
What is causing this type ambiguity?
"the value of the associated type must be specified" when storing a struct with a type argument in another struct
How to I change the default GHC compiler version on Stack
Finding The Shortest Distance Between Two 3D Line Segments
Menu
