آموزش توسعه مبتنی بر نوع: طراحی با انواع

Type-Driven Development: Designing with Types

نکته: آخرین آپدیت رو دریافت میکنید حتی اگر این محتوا بروز نباشد.

نمونه ویدیویی برای نمایش وجود ندارد.

توضیحات دوره: در این جلسه ، جاستین هیولت و تد منچامپ اصول انواع جبری داده ها را در F # معرفی می کنند ، ایجاد نوع برای بیان یک دامنه ساده را انجام می دهند و حالت های نامعتبر را باعث ایجاد یک خطای کامپایل می کنند. انواع استاتیک یک روش عالی برای مدل سازی دامنه شما به صورت کد است ، به کاهش اشکالات و بهبود طراحی سیستم شما کمک می کند. زبانهای خانواده ML ، به عنوان مثال ، OCaml/ReasonML ، F # ، Haskell ، به اصطلاح انواع داده های جبری دارند که می توانند تضمین های بیشتری را به صورت مختصر تر از آنچه در سیستم معمولی نوع Java یا C # استفاده می کنید ، بیان کنند. در این جلسه ، جاستین هیولت و تد منچامپ مقدمات انواع جبری داده ها را در F # معرفی می کنند ، ایجاد انواع برای بیان یک دامنه ساده را انجام می دهند و باعث می شوند که حالت های نامعتبر باعث ایجاد خطای کامپایل شوند. هیچ تجربه قبلی با F # یا برنامه نویسی کاربردی مورد نیاز نیست.

سرفصل ها و درس ها