গোপনীয়তা-সম্মানকারী টাইপ ত্রুটি টেলিমিটারি বৃহৎ পরিসরে
Author
Venue
প্রোগ্রামিং-এর শিল্প, বিজ্ঞান ও প্রকৌশল
Abstract
প্রসঙ্গ: Roblox Studio লক্ষ লক্ষ নির্মাতাদের Lua-এর একটি ভ্যারিয়েন্ট, Luau-এ প্রোগ্রামিং করে ইন্টারেক্টিভ অভিজ্ঞতা তৈরি করতে দেয়। নির্মাতারা নবীনদের প্রথম স্ক্রিপ্ট লেখার পর্যায় থেকে পেশাদার ডেভেলপারদের পর্যন্ত বিস্তৃত; তাই Luau-কে ব্যাপক শ্রোতাদের সমর্থন করতে হয়। সকল ধরনের প্রোগ্রামারদের সমর্থন করার প্রচেষ্টার অংশ হিসেবে Luau-তে একটি ঐচ্ছিক, ধাপে ধাপে প্রযোজ্য টাইপ সিস্টেম রয়েছে এবং ভুল-পজিটিভ ত্রুটি কমাতে ব্যাপক ব্যবস্থা নেওয়া হয়েছে। অনুসন্ধান: যেহেতু বর্তমানে বহু নির্মাতা Luau ব্যবহার করছেন, আমরা ভাষা এবং বিশেষ করে টাইপ সিস্টেম উন্নত করার জন্য ডেটা সংগ্রহ করতে চাই। ডেটা সংগ্রহের প্রচলিত উপায় হল ক্লায়েন্ট-সাইড টেলিমিটারি মোতায়েন করা; তবে আমরা ব্যক্তিগত তথ্য বা মালিকানাধীন তথ্য সংগ্রহ করতে পারি না, যার ফলে আমরা সোর্স কোডের অংশ, ত্রুটি বার্তা বা ফাইলপ্যাথও সংগ্রহ করতে পারি না। অতএব, গবেষণার প্রশ্নগুলো হলো কীভাবে হস্তক্ষেপহীন টেলিমিট্রি পরিচালনা করা যায় এবং সেখান থেকে টাইপ ত্রুটি সম্পর্কে অন্তর্দৃষ্টি অর্জন করা যায়। পদ্ধতি: আমরা লুয়auer জন্য একটি ছদ্মনামকৃত, এলোমেলোভাবে নমুনা সংগ্রহকারী টেলিমিট্রি সিস্টেম ডিজাইন ও বাস্তবায়ন করেছি। টেলিমিট্রি রেকর্ডগুলিতে একটি টাইমস্ট্যাম্প, একটি সেশন আইডি, পাঠানোর কারণ, এবং সর্বশেষ টাইপ বিশ্লেষণগুলির একটি সংখ্যাসূচক সারসংক্ষেপ অন্তর্ভুক্ত থাকে। এই তথ্য আমাদের ব্যক্তিগত ডেটা প্রকাশ না করেই সময়ের সাথে সাথে টাইপ ত্রুটিগুলি অধ্যয়ন করতে দেয়। আমরা ২০২৩ সালের বসন্তে Roblox Studio-তে এই সিস্টেমটি স্থাপন করেছি এবং ৩৪০,০০০-এরও বেশি সেশন থেকে ১.৫ মিলিয়নেরও বেশি টেলিম্যাট্রি রেকর্ড সংগ্রহ করেছি। জ্ঞান: আমরা Luau সম্পর্কে বেশ কিছু ফলাফল উপস্থাপন করছি, যা সবই নির্দেশ করে যে টেলিম্যাট্রি টাইপ ত্রুটির ব্যবহারিকতা অধ্যয়নের একটি কার্যকর উপায়। কম-আশ্চর্যজনক একটি ফলাফল হল যে অপ্ট-ইন গ্রেজুয়াল টাইপস জনপ্রিয় নয়: টাইপবিহীন লুয়াউ সেশনের সংখ্যা এবং টাইপযুক্ত সেশনের সংখ্যার মধ্যে ১০০ গুণ পার্থক্য রয়েছে। একটি বিস্ময়কর বিষয় হল টাইপ বিশ্লেষণের জন্য কঠোর মোড ডেটা অ্যাসেটের সাথে মিথস্ক্রিয়া সম্পর্কে অতিরিক্ত রক্ষণশীল। একটি আশ্বস্তকারী ফলাফল হল টাইপ বিশ্লেষণ খুব কমই এর অভ্যন্তরীণ সমস্যা আকারের সীমাতে পৌঁছায়। ভিত্তি: আমাদের ফলাফলগুলি ১.৫ মিলিয়নেরও বেশি টেলিম্যাট্রি রেকর্ডের একটি ডেটাসেট দ্বারা সমর্থিত। ডেটা এবং বিশ্লেষণের জন্য স্ক্রিপ্টগুলি একটি আর্টিফ্যাক্টে উপলব্ধ। গুরুত্ব: লুয়াউ-এর তাৎক্ষণিক সুবিধার বাইরে, টাইপ এবং টাইপ ত্রুটি সম্পর্কে আমাদের ফলাফলগুলি TypeScript, Elixir, এবং Typed Racket-এর মতো অন্যান্য ধাপে ধাপে শেখার ভাষাগুলির গ্রহণযোগ্যতা এবং ব্যবহার-বান্ধবতার ক্ষেত্রেও প্রযোজ্য। আমাদের টেলিম্যাট্রি ডিজাইন ব্যাপক আগ্রহের বিষয়, কারণ এটি সংবেদনশীল তথ্য প্রকাশ না করেই টাইপ ত্রুটিগুলি রিপোর্ট করে।
