Vylepšení typové inference v jazyce C#

• Thesis title in Czech: Vylepšení typové inference v jazyce C#
• Thesis title in English: Improving Type Inference in the C# Language
• Key words: C#|Roslyn|Typová inference
• English key words: C#|Roslyn|Type inference
• Academic year of topic announcement: 2022/2023
• Thesis type: diploma thesis
• Department: Department of Distributed and Dependable Systems (32-KDSS)
• Supervisor: Mgr. Pavel Ježek, Ph.D.
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 30.05.2023
• Date of assignment: 30.05.2023
• Confirmed by Study dept. on: 06.06.2023
• Date and time of defence: 11.06.2024 09:00
• Date of electronic submission: 02.05.2024
• Opponents: doc. RNDr. Pavel Parízek, Ph.D.

Guidelines

C# is a strongly and statically typed, object-oriented programming language developed by Microsoft. Since types have to be known at compile time, support for type inference is used in the language to reduce need for explicit typing in some of the most obvious scenarios. However, type inference in C# is not as strong as in other strongly statically typed languages like RUST or Haskell.
The goal of this thesis is to investigate the boundaries of C# type inference and compare it with existing implementations in different languages. Next goal is to propose improvements regarding the type inference based on the previous analysis and implement a prototype as part of the Roslyn C# compiler. The author should work closely with the Roslyn team to make the proposal more likely to be discussed by the C# standard committee and possibly later accepted into the C# standard and the Roslyn compiler.

References

[1] C# documentation, https://learn.microsoft.com/en-us/dotnet/csharp/

[2] Workspace for C# language specification, https://github.com/dotnet/csharpstandard

[3] .NET Compiler Platform, Roslyn, https://github.com/dotnet/roslyn

[4] RUST compiler guide, https://rustc-dev-guide.rust-lang.org/