Efficient Type Inference Using Monads (Summary)

1992 ◽  
pp. 146-157 ◽  
Author(s):  
Kevin Hammond
Keyword(s):  
Type Inference ◽  
Efficient Type

scholarly journals Type errors for the IDE with Xtext and Xsemantics

2019 ◽  
Vol 9 (1) ◽  
pp. 52-79
Author(s):  
Lorenzo Bettini
Keyword(s):  
Type System ◽  
Type Systems ◽  
Error Recovery ◽  
Simple Expression ◽  
Type Inference ◽  
Domain Specific Language ◽  
Immediate Feedback ◽  
Domain Specific ◽  
Formal Systems ◽  
Efficient Type

AbstractProviding IDE support for a programming language or a DSL (Domain Specific Language) helps the users of the language to be more productive and to have an immediate feedback on possible errors in a program. Static types can drive IDE mechanisms such as the content assist to propose sensible completions in a given program context. Types can also be used to enrich other typical IDE parts such as the Outline and theHovering pop-ups. In this paper, we focus on statically typed imperative languages, adopting some form of type inference. We present a few general patterns for implementing efficient type systems, focusing on type error recovery. This way, the type system is able to type as many parts of the program as possible, keeping a good IDE experience. Type error messages will be placed on the important parts of the program, avoiding cascading errors that can confuse the user. We show two case studies:we apply the presented patterns to implement the type system of two statically typed DSLs, a simple expression language and a reduced Java-like language, with OOP features. We use Xtext as the language workbench for implementing the compiler and the IDE support andXsemantics, a DSL for implementing type systems using a syntax that mimics formal systems. The patterns shown in the paper can be reused also for implementing languages with other language frameworks.

scholarly journals The MAGICA Type Inference Engine for MATLAB ®

2003 ◽  
pp. 121-125 ◽  
Author(s):  
Pramod G. Joisha ◽  
Prithviraj Banerjee
Keyword(s):  
Inference Engine ◽  
Type Inference

scholarly journals Cadmium-Free and Efficient Type-II InP/ZnO/ZnS Quantum Dots and Their Application for LEDs

2021 ◽  
Author(s):  
Guncem Ozgun Eren ◽  
Sadra Sadeghi ◽  
Houman Bahmani Jalali ◽  
Maximilian Ritter ◽  
Mertcan Han ◽  
...  
Keyword(s):  
Quantum Dots ◽  
Type Ii ◽  
Efficient Type
Sign in / Sign up

Export Citation Format

Share Document