آیا Jane Street از C استفاده می‌کند: واقعیت شگفت‌انگیز فاش شد

زبان اصلی در Jane Street

هنگام بحث در مورد پشته فناوری در Jane Street، گفتگو تقریباً همیشه با OCaml شروع و به آن ختم می‌شود. برخلاف بسیاری از شرکت‌های سنتی وال‌استریت یا مراکز معاملات فرکانس بالا (HFT) که به شدت برای مدیریت حافظه سطح پایین و سرعت خام به C++ متکی هستند، Jane Street مسیر متفاوتی را در پیش گرفته است. OCaml یک زبان برنامه‌نویسی تابعی است که بر ایمنی نوع، قدرت بیان و کارایی تأکید دارد و آن را به «ابزار انتخابی» برای مهم‌ترین سیستم‌های نرم‌افزاری این شرکت تبدیل کرده است.

این شرکت تقریباً برای همه چیز از OCaml استفاده می‌کند، از موتورهای معاملاتی اصلی و ابزارهای تحقیقاتی گرفته تا سیستم‌های حسابداری داخلی. این انتخاب صرفاً یک ترجیح نیست، بلکه یک تصمیم استراتژیک است. این زبان به توسعه‌دهندگان اجازه می‌دهد کدهای پیچیده و با کارایی بالا بنویسند که درک و نگهداری آن‌ها آسان‌تر از کدهای معادل نوشته شده با C یا C++ است. با بهره‌گیری از یک سیستم نوع قدرتمند، Jane Street می‌تواند بسیاری از خطاهای احتمالی را در زمان کامپایل شناسایی کند، که در محیطی که یک خطای نرم‌افزاری می‌تواند منجر به خسارات مالی عظیم شود، بسیار حیاتی است.

نقش C و C++

اگرچه OCaml نیروی غالب است، اما این سوال که آیا Jane Street از C یا C++ استفاده می‌کند، بسیار ظریف است. در دنیای محاسبات با کارایی بالا و رابط‌های سخت‌افزاری، تقریباً غیرممکن است که به طور کامل از C اجتناب شود. با این حال، Jane Street از C به عنوان زبان اصلی کاربردی استفاده نمی‌کند. در عوض، C معمولاً به "stubs" یا رابط‌های تابع خارجی (FFI) محدود می‌شود. این‌ها قطعات کوچک کدی هستند که به OCaml اجازه می‌دهند با سیستم‌عامل زیرین، درایورهای سخت‌افزاری خاص یا کتابخانه‌های شخص ثالث بسیار بهینه‌شده که به صورت بومی با C نوشته شده‌اند، ارتباط برقرار کنند.

به عنوان مثال، اگر شرکت نیاز به رابط با یک کارت شبکه خاص یا یک کتابخانه فشرده‌سازی تخصصی مانند Zstandard داشته باشد، ممکن است از اتصالات OCaml استفاده کنند که کد اصلی C را در بر می‌گیرد. در این موارد، "کار سنگین" منطق همچنان در OCaml باقی می‌ماند، در حالی که لایه C به عنوان یک پل نازک به سخت‌افزار عمل می‌کند. این رویکرد به آن‌ها اجازه می‌دهد تا ایمنی یک زبان تابعی را حفظ کنند بدون اینکه توانایی تعامل با اکوسیستم گسترده‌تر نرم‌افزارهای سطح سیستم را از دست بدهند.

مقایسه کارایی OCaml و C++

یک تصور غلط رایج در صنعت این است که زبان‌های تابعی ذاتاً کندتر از زبان‌های دستوری مانند C++ هستند. در حالی که C++ کنترل دقیق‌تری بر طرح‌بندی حافظه و دستورالعمل‌های CPU ارائه می‌دهد، OCaml بسیار کارآمد است. Jane Street دهه‌ها را صرف بهینه‌سازی کامپایلر OCaml و توسعه کتابخانه‌های تخصصی کرده است تا اطمینان حاصل کند که سیستم‌های آن‌ها الزامات دقیق تأخیر بازارهای جهانی مدرن را برآورده می‌کنند.

در بسیاری از محیط‌های HFT، توسعه‌دهندگانی که با Java یا Python می‌نویسند، اغلب خود را در حال "برنامه‌نویسی به سبک C" می‌بینند تا از گلوگاه‌های کارایی جلوگیری کنند. در Jane Street، فلسفه متفاوت است. آن‌ها از انتزاعات OCaml برای ساخت نمودارهای محاسباتی "خودتنظیم" و موتورهای ارزیابی افزایشی استفاده می‌کنند. این سیستم‌ها، مانند کتابخانه "Incremental" آن‌ها، به شرکت اجازه می‌دهند تا موقعیت‌های معاملاتی و معیارهای ریسک را در زمان واقعی با تغییر داده‌های بازار به‌روزرسانی کنند، که اغلب به کارایی‌هایی دست می‌یابند که مدیریت دستی آن‌ها در زبانی مانند C دشوار است.

طراحی سخت‌افزار و Hardcaml

جالب اینجاست که تعهد Jane Street به برنامه‌نویسی تابعی حتی به حوزه سخت‌افزار نیز گسترش یافته است. در حالی که بسیاری از شرکت‌ها از Verilog یا VHDL (که از نظر نحوی به C نزدیک‌تر هستند) برای طراحی FPGA و ASIC استفاده می‌کنند، Jane Street از Hardcaml استفاده می‌کند. این یک کتابخانه داخلی OCaml است که به مهندسان اجازه می‌دهد سخت‌افزار را با استفاده از اصول برنامه‌نویسی تابعی طراحی کنند. با استفاده از Hardcaml، آن‌ها می‌توانند تست‌بنچ‌های قابل ترکیب بنویسند و رابط‌های تایپ‌شده را در طراحی‌های سخت‌افزاری مختلف دوباره استفاده کنند.

این رویکرد به طور موثری نیاز به زبان‌های توصیف سخت‌افزار به سبک C سنتی را در بسیاری از بخش‌های گردش کار آن‌ها جایگزین می‌کند. این امر یک محیط زبانی واحد را فراهم می‌کند که در آن تیم‌های نرم‌افزاری و سخت‌افزاری می‌توانند منطق، انواع و چارچوب‌های تست را به اشتراک بگذارند. این سطح از یکپارچگی در صنعت مالی بسیار نادر است و گواهی بر این است که شرکت تا چه حد از وضعیت موجودِ متمرکز بر C فاصله گرفته است.

زبان‌های دیگر در اکوسیستم

فراتر از OCaml و استاب‌های گاه‌به‌گاه C، Jane Street از تعداد کمی زبان دیگر برای وظایف خاص استفاده می‌کند. طبق بینش‌های داخلی، سه زبان پرکاربرد آن‌ها OCaml، VBA و Python هستند. Python اغلب توسط محققان و دانشمندان داده برای تحلیل سریع، نمونه‌سازی یادگیری ماشین و اسکریپت‌نویسی استفاده می‌شود، زیرا استاندارد صنعت برای هوش مصنوعی و دستکاری داده‌ها است. VBA اغلب برای تعامل با Excel استفاده می‌شود که همچنان یک ابزار اصلی برای معامله‌گران روی میز است.

حتی در حوزه یادگیری ماشین، جایی که C++ اغلب ستون فقرات چارچوب‌هایی مانند PyTorch یا TensorFlow است، Jane Street همچنان مرزهای آنچه را که در یک پارادایم تابعی ممکن است، جابجا می‌کند. آن‌ها معتقدند که یادگیری عمیق آینده معاملات کمی است و به طور فعال ویژگی‌های برنامه‌نویسی تابعی را در پایگاه‌های کد تولیدی در مقیاس بزرگ برای حمایت از این تلاش‌ها به کار می‌گیرند.

فناوری و دسترسی به بازار

شدت فناوری در کار Jane Street نیازمند یک زیرساخت قوی است که بتواند حجم عظیمی از داده‌ها را پردازش کند. تا اوایل سال 2026، این شرکت به طور متوسط صدها میلیارد دلار حجم معاملات ماهانه در کلاس‌های دارایی مختلف، از جمله درآمد ثابت، ETFها و مشتقات داشته است. مدیریت این مقیاس به چیزی بیش از یک زبان سریع نیاز دارد؛ این به یک "پشته فناوری" منسجم نیاز دارد که در آن هر لایه برای همکاری با یکدیگر طراحی شده است.

برای معامله‌گران خرد که به دنبال دسترسی به بازارهای جهانی مشابه هستند، پلتفرم‌هایی مانند WEEX رابط کاربری ساده‌ای را برای تعامل با دارایی‌های دیجیتال فراهم می‌کنند. در حالی که Jane Street در سطح سازمانی با موتورهای سفارشی OCaml فعالیت می‌کند، اصل اساسی ثابت می‌ماند: استفاده از فناوری برای حل معمای بازارهای جهانی. چه از طریق اجرای فرکانس بالا باشد و چه تحقیقات کمی بلندمدت، انتخاب زبان برنامه‌نویسی یک جزء اساسی از مزیت رقابتی شرکت است.

خلاصه استفاده از زبان

برای شفاف‌سازی توزیع زبان‌های برنامه‌نویسی در Jane Street، جدول زیر نحوه اعمال زبان‌های مختلف در زیرساخت آن‌ها تا سال 2026 را نشان می‌دهد.

آینده معاملات تابعی

همانطور که به سال 2026 پیش می‌رویم، بحث بین برنامه‌نویسی تابعی و زبان‌های دستوری مانند C++ ادامه دارد. Jane Street همچنان برجسته‌ترین نمونه شرکتی است که با موفقیت یک زبان تابعی را به اوج دنیای مالی رسانده است. موفقیت آن‌ها نشان می‌دهد که ایمنی، ماژولار بودن و قابلیت ترکیب OCaml مزیت متمایزی نسبت به ماهیت "سنگین با اشاره‌گر" و اغلب "زشت" زبان‌های قدیمی‌تر مانند C++ ارائه می‌دهد.

برای توسعه‌دهندگان و محققان مشتاق، پیام روشن است: اگرچه C همچنان یک زبان بنیادی برای دنیای محاسبات به طور کلی است، اما تنها راه برای معاملات با کارایی بالا نیست. با تسلط بر مفاهیم تابعی، مهندسان می‌توانند سیستم‌هایی بسازند که نه تنها سریع هستند، بلکه به اندازه کافی قوی هستند تا نوسانات بازارهای جهانی سال 2026 را مدیریت کنند. اتکای مداوم Jane Street به OCaml ثابت می‌کند که با ابزارها و تخصص مناسب، می‌توانید بدون نیاز به نوشتن حتی یک خط C++ سنتی برای منطق اصلی خود، از رقبا پیشی بگیرید.