Swift makes it into top 10 most popular programming languages

The Tiobe Index – which measures the popularity of programming languages on a monthly basis – reports that Apple’s Swift has made it into the top 10 for the first time. Tiobe says that rating… Read more

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 »