Submissions from snork.dev

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