From 0 to GitHub’s #1 Trending Swift Developer in Less Than 2 Years

Throughout my life, I struggled with finding my passion; I studied mechatronics, worked in sales, even opened my own restaurant. For……

Similar

Swift type checking is undecidable

More precisely, the introduction of SE-0142 and SE-0157 has made canonical type computation into an undecidable problem. I'll begin with the necessary background information before presenting my argument, and then outlining the next steps. Canonical type... (more…)

Read more »