Administered by:
Type Safety Doesn't Matter
L: https://www.fpcomplete.com/blog/type-safety-doesnt-matter/
C: https://news.ycombinator.com/item?id=40165904
posted on 2024.04.26 at 00:15:22 (c=0, p=3)
FP Complete · Type Safety Doesn't Matter - FP Completetype safety is not important. It's only useful because of what it accomplishes: moving errors from runtime to compile time.