Programming Languages
लुआउ टाइप सिस्टम के लक्ष्य
Author
Venue
प्रकारों और तर्क सहायकों के मानवीय पहलुओं कार्यशाला 2021
Abstract
Luau वह स्क्रिप्टिंग भाषा है जो Roblox प्लेटफ़ॉर्म पर उपयोगकर्ता-निर्मित अनुभवों को शक्ति प्रदान करती है। यह एक स्थैतिक-प्रकार की भाषा है, जो गतिशील-प्रकार की Lua भाषा पर आधारित है, जिसमें प्रकार अनुमान (type inference) की सुविधा है। इन प्रकारों का उपयोग Roblox Studio में संपादक सहायता प्रदान करने के लिए किया जाता है, जो Roblox अनुभवों को बनाने के लिए एक IDE है। रॉब्लॉक्स के अनूठे विषम डेवलपर समुदाय के कारण, लुआउ को एक पारंपरिक स्थिर-प्रकार की भाषा की तुलना में कुछ अलग तरीके से काम करना पड़ता है। इस पेपर में, हम लुआउ टाइप सिस्टम के कुछ लक्ष्यों का वर्णन करते हैं, और इस बात पर ध्यान केंद्रित करते हैं कि ये लक्ष्य अन्य टाइप सिस्टम के लक्ष्यों से कैसे भिन्न हैं।
