وظائف النماذج الأولية في SML

Question

لدي وظيفتين f و g, ، والتي تتصل ببعضها البعض بشكل متكرر.للأسف متى f المكالمات g, ، لم يتم الإعلان عنه بعد، لذلك تظهر لي رسالة الخطأ "متغير غير منضم".كيف يمكنني إنشاء نموذج أولي (أو أيًا كانت المفردات المكافئة) لهذه الوظيفة في SML/NJ؟

Answer 1

يستخدم and:

fun f x = ... 
and g x = ...

مزيد من المعلومات هنا.

Answer 2

العودية المتبادلة.يستخدم and بدلاً من fun بين الوظيفتين.