Relative Content

Tag Archive for static-typing

Are dynamic languages at disadvantage for agile development?

From what I’ve read agile development often involves refactoring or reverse engineering code into diagrams. Of course there is much more than that, but if we consider the practices that rely on these two methods, are dynamically typed languages at disadvantage?

What functionality does dynamic typing allow? [closed]

Want to improve this post? Provide detailed answers to this question, including citations and an explanation of why your answer is correct. Answers without enough detail may be edited or deleted. Closed. This question needs to be more focused. It is not currently accepting answers. Closed 9 years ago. Locked. This question and its answers […]

Formal definition of “concepts / type system” for parametric types – Where to start?

I would be interested in formally defining (and consequently demonstrating) a “type system” for, well, a type system. More specifically, I would like to explore the idea of what C++ calls concepts for my bachelor’s thesis. How would one go about defining such system (formally) ? It’s basically a meta-language for generic programming I suppose, but all the material I’ve found so far is basically bound to syntax of a specific programming language.

Formal definition of “concepts / type system” for parametric types – Where to start?

I would be interested in formally defining (and consequently demonstrating) a “type system” for, well, a type system. More specifically, I would like to explore the idea of what C++ calls concepts for my bachelor’s thesis. How would one go about defining such system (formally) ? It’s basically a meta-language for generic programming I suppose, but all the material I’ve found so far is basically bound to syntax of a specific programming language.