Abstract Wikipedia/Updates/2021-02-04/id: Difference between revisions

Content deleted Content added
mNo edit summary
mNo edit summary
Line 17:
Kami telah mendiskusikan Tipe sebelumnya di nawala [[Special:MyLanguage/Abstract Wikipedia/Updates/2020-11-10|#7]] dan [[Special:MyLanguage/Abstract Wikipedia/Updates/2021-01-21|#15]].
Seperti yang kita diskusikan di sana, sistem Tipe yang baik bisa sangat membantu dalam memelihara dan bekerja dengan katalog fungsi.
SepertiIni yangdapat kitamembantu diskusikan di sana, sistem Tipe yang baik bisa sangat berguna untukdengan memilih fungsi yang tepat, dengan menavigasi dan menjelajahi katalog, dan dengan menemukan kesalahan dalam implementasi fungsi.
 
Untuk mendemonstrasikan bahwa kita benar-benar telah menyelesaikan Fase β, kami membuat sebuah Tipe untuk Bilangan Bulat Positif di situs uji coba notwikilambda, dan sebuah contoh dari Tipe tersebut untuk bilangan satu.