Submissions from snork.dev

		Why F# could be the next mainstream programming language (2024) (snork.dev)
		50 points by smoothdeveloper 4 months ago \| past \| 98 comments
		Notes on Type Inference and Polymorphism (snork.dev)
		2 points by thunderbong 6 months ago \| past
		Abstraction boundaries are optimization boundaries (snork.dev)
		62 points by delifue 6 months ago \| past \| 33 comments
		Tests should not contain logic (snork.dev)
		2 points by todsacerdoti 7 months ago \| past
		A Poor Man's Types (snork.dev)
		3 points by nabla9 7 months ago \| past
		A Poor Man's Types (snork.dev)
		1 point by todsacerdoti 7 months ago \| past
		We don't need no virtualization (snork.dev)
		2 points by birdculture 8 months ago \| past
		We don't need no virtualization (snork.dev)
		4 points by todsacerdoti 8 months ago \| past \| 1 comment
		Refinement Types for Input Validation (snork.dev)
		3 points by todsacerdoti 11 months ago \| past