welltypedwit.ch welltypedwit.ch
runST does not prevent resources from escaping
welltypedwit.ch·20w·Lobsters, Hacker News
Violating memory safety with Haskell's value restriction
welltypedwit.ch·52w·Hacker News
Newtypes Are Better Than Abstract Type Synonyms
welltypedwit.ch·84w
Blazingly Fast™ Type Class Resolution with Tries
welltypedwit.ch·117w·Hacker News
Fast Map Union and Local Instances Through Instance Types
welltypedwit.ch·168w
Coherent Local Instances with Dynamic Types and
welltypedwit.ch·194w
Faking Local Instances with
welltypedwit.ch·217w

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help