マクロML

この記事には複数の問題があります。改善にご協力いただくか、トークページでこれらの問題について議論してください。（これらのメッセージを削除する方法とタイミングについてはこちらをご覧ください）

この記事の主題はWikipediaの一般的な特筆性のガイドラインを満たしていない可能性があります。（2019年7月）トピックとは独立しており、単なる些細な言及を超えて重要な内容を提供している信頼できる二次資料を引用することで、トピックの注目度を実証してください。注目度が示されない場合、記事は統合、リダイレクト、または削除される可能性があります。出典を探す："MacroML" – ニュース・新聞・書籍・学者・JSTOR （このメッセージを削除する方法とタイミングについて）

この記事には参考文献、関連文献、外部リンクの一覧が含まれていますが、インライン引用がないため、情報源は不明瞭です。( 2019年7月)より正確な引用を導入して、この記事の改善にご協力ください（このメッセージを削除する方法とタイミングについて）

（このメッセージを削除する方法とタイミングについて）

MacroML はMLファミリーに基づく実験的なプログラミング言語であり、 ML の静的型付けと、 Schemeなどの動的型付け言語で一般的に見られるマクロシステムの型の調和を目指しています。チューリング完全なマクロ変換によって、静的型付けが提供するはずの型の安全性の保証が破られる可能性があるため、この調和は困難です。

外部リンク

MacroMLに関連する論文には以下のものがあります。

このプログラミング言語関連の記事はスタブです。不足している情報を追加してWikipediaに貢献してください。

「 https://en.wikipedia.org/w/index.php?title=MacroML&oldid=1245507789」から取得

カテゴリー:

非表示のカテゴリ：