path-dependent-type पर टैग किए गए जवाब

मैंने सुना है कि स्काला के पास पथ-निर्भर प्रकार हैं। यह आंतरिक वर्गों के साथ कुछ करने के लिए है, लेकिन इसका वास्तव में क्या मतलब है और मुझे इसकी परवाह क्यों है?

125 scala  type-systems  path-dependent-type 

पथ पर निर्भर प्रकार हैं और मुझे लगता है कि स्काला में एपिग्राम या एजडा जैसी भाषाओं की लगभग सभी विशेषताओं को व्यक्त करना संभव है, लेकिन मैं सोच रहा हूं कि स्काला इस बात का अधिक स्पष्ट रूप से समर्थन क्यों नहीं करता है, क्योंकि यह अन्य क्षेत्रों में …

109 scala  path-dependent-type  dependent-type  shapeless