آموزش توسعه مبتنی بر نوع با F #

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

بازخورد از انواع Feedback from Types

• مقدمه Introduction

• طرح کلی دوره و پیش نیازها Course Outline and Prerequisites

• در این ماژول In This Module

• توسعه مبتنی بر نوع و آزمون محور Type-Driven and Test-Driven Development

• اگر کامپایل شود ، جواب می دهد؟ If It Compiles, It Works?

• F # نوع سیستم F# Type System

• مقدمه ای بر مثال مصرف کننده نظر سنجی Introduction to the Polling Consumer Example

• مقدمه نسخه ی نمایشی: زمان ضبط Demo Introduction: Capturing Time

• نسخه ی نمایشی: زمان گرفتن Demo: Capturing Time

• بازبینی نسخه ی نمایشی: زمان گرفتن Demo Recap: Capturing Time

• مقدمه نسخه ی نمایشی: زمان اندازه گیری Demo Introduction: Measuring Time

• نسخه ی نمایشی: زمان اندازه گیری Demo: Measuring Time

• خلاصه نسخه ی نمایشی: زمان اندازه گیری Demo Recap: Measuring Time

• مقدمه نسخه ی نمایشی: ساعت ها Demo Introduction: Clocks

• نسخه ی نمایشی: ساعت ها Demo: Clocks

• مرور دموی: ساعتها Demo Recap: Clocks

• خلاصه Summary

رفتار - اخلاق Behavior

• مقدمه Introduction

• خارج از توسعه Outside-In Development

• از انواع کمک کنید Help from Types

• دستور العمل دستگاه متناهی محدود Finite State Machine Recipe

• رای گیری Consumer Consiteer State Finite Polling Consumer Finite State Machine

• مقدمه نسخه ی نمایشی: کشورهای در حال رده بندی Demo Introduction: Itemizing States

• نسخه ی نمایشی: کشورهای مختلف Demo: Itemizing States

• بازبینی نسخه ی نمایشی: ایالات در حال ریز Demo Recap: Itemizing States

• دستور العمل دستگاه متناهی مرحله 1 و 2 Finite State Machine Recipe Step 1 and 2

• مقدمه نسخه ی نمایشی: انتقال از Stopped Demo Introduction: Transition from Stopped

• نسخه ی نمایشی: انتقال از Stopped Demo: Transition from Stopped

• بازبینی نسخه ی نمایشی: انتقال از حالت Stopped Demo Recap: Transition from Stopped

• موارد منحط Degenerate Cases

• مقدمه نسخه ی نمایشی: انتقال از بدون پیام Demo Introduction: Transition from No Message

• نسخه ی نمایشی: انتقال از بدون پیام Demo: Transition from No Message

• بازبینی نسخه ی نمایشی: انتقال از بدون پیام Demo Recap: Transition from No Message

• مقدمه نسخه ی نمایشی: انتقال از حالت آماده Demo Introduction: Transition from Ready

• نسخه ی نمایشی: ساخت کامپایل عملکرد انتقال Demo: Making the Transition Function Compile

• نسخه ی نمایشی: افزودن آمار Demo: Adding Statistics

• نسخه ی نمایشی: افزودن یک پیام دهنده Demo: Adding a Message Handler

• نسخه ی نمایشی: بسته شدن بیش از یک پیام Demo: Closing Over a Message

• بازبینی نسخه ی نمایشی: انتقال از حالت آماده Demo Recap: Transition from Ready

• مقدمه نسخه ی نمایشی: انتقال از دریافت شده است Demo Introduction: Transition from Received

• نسخه ی نمایشی: انتقال از دریافت شده است Demo: Transition from Received

• بازخوانی نسخه ی نمایشی: انتقال از دریافت شده است Demo Recap: Transition from Received

• خلاصه Summary

پیاده سازی Implementation

• مقدمه Introduction

• مقدمه نسخه ی نمایشی: عملکرد را اجرا کنید Demo Introduction: Run Function

• نسخه ی نمایشی: عملکرد را اجرا کنید Demo: Run Function

• بازبینی نسخه ی نمایشی: عملکرد را اجرا کنید Demo Recap: Run Function

• مقدمه نسخه ی نمایشی: عملکرد انتقال Demo Introduction: Transition Function

• نسخه ی نمایشی: عملکرد انتقال Demo: Transition Function

• بازخوانی نسخه ی نمایشی: عملکرد انتقال Demo Recap: Transition Function

• جزئیات اجرای Implementation Details

• مقدمه نسخه ی نمایشی: آیا عملکرد بیکار است Demo Introduction: Should Idle Function

• نسخه ی نمایشی: آیا عملکرد بیکار است Demo: Should Idle Function

• بازبینی نسخه ی نمایشی: آیا عملکرد بیکار است Demo Recap: Should Idle Function

• معرفی آزمایشی: عملکرد بیکار Demo Introduction: Idle Function

• نسخه ی نمایشی: عملکرد بیکار Demo: Idle Function

• بازبینی نسخه ی نمایشی: عملکرد بیکار Demo Recap: Idle Function

• مقدمه نسخه ی نمایشی: آیا عملکرد نظرسنجی باید انجام شود Demo Introduction: Should Poll Function

• نسخه ی نمایشی: عملکرد شما باید در نظرسنجی باشد Demo: Should Poll Function

• مرور دمو: عملکرد نظرسنجی باید باشد Demo Recap: Should Poll Function

• مقدمه نسخه ی نمایشی: عملکرد نظرسنجی Demo Introduction: Poll Function

• نسخه ی نمایشی: عملکرد نظرسنجی Demo: Poll Function

• بازبینی نسخه ی نمایشی: عملکرد نظرسنجی Demo Recap: Poll Function

• خارج از داخل Outside In

• مقدمه نسخه ی نمایشی: میانگین را محاسبه کنید Demo Introduction: Calculate Average

• نسخه ی نمایشی: میانگین را محاسبه کنید Demo: Calculate Average

• مقدمه نسخه ی نمایشی: انحراف معیار را محاسبه کنید Demo Introduction: Calculate Standard Deviation

• نسخه ی نمایشی: انحراف استاندارد را محاسبه کنید Demo: Calculate Standard Deviation

• معرفی آزمایشی: مدت زمان پیش بینی شده را محاسبه کنید Demo Introduction: Calculate Expected Duration

• نسخه ی نمایشی: مدت زمان پیش بینی شده را محاسبه کنید Demo: Calculate Expected Duration

• جمع بندی آزمایشی: مدت زمان مورد انتظار را محاسبه کنید Demo Recap: Calculate Expected Duration

• مقدمه نسخه ی نمایشی: ترکیب Demo Introduction: Composition

• نسخه ی نمایشی: ترکیب عقب Demo: Backwards Composition

• نسخه ی نمایشی: ترکیب با استفاده از عملکرد عملکرد جزئی Demo: Composition by Partial Function Application

• نسخه ی نمایشی: ترکیب با مقادیر پیکربندی Demo: Composition with Configuration Values

• بازبینی نسخه ی نمایشی: ترکیب Demo Recap: Composition

• خلاصه Summary

ثبات انتقال ها Stabilizing Transitions

• مقدمه Introduction

• پایدارسازی Stabilization

• آزمایش مبتنی بر املاک Property-based Testing

• مقدمه آزمایشی: آزمایش انتقال از بدون پیام Demo Introduction: Testing Transition from No Message

• نسخه ی نمایشی: نوشتن اولین ویژگی Demo: Writing the First Property

• نسخه ی نمایشی: برابری سفارشی Demo: Custom Equality

• نسخه ی نمایشی: انتقال از بدون پیام به حالت آماده Demo: Transitioning from No Message to Ready

• نسخه ی نمایشی: انتقال از بدون پیام به حالت توقف Demo: Transitioning from No Message to Stopped

• بازخوانی نسخه ی نمایشی: آزمایش انتقال از بدون پیام Demo Recap: Testing Transition from No Message

• تغییرات در طراحی Changes in Design

• مقدمه نسخه ی نمایشی: آزمایش انتقال از حالت آماده Demo Introduction: Testing Transition from Ready

• نسخه ی نمایشی: انتقال از حالت آماده به توقف Demo: Transitioning from Ready to Stopped

• نسخه ی نمایشی: انتقال از حالت آماده به هیچ پیام Demo: Transitioning from Ready to No Message

• نسخه ی نمایشی: انتقال از پیام آماده به پیام دریافت شده Demo: Transitioning from Ready to Received Message

• مرور دمو: آزمایش انتقال از حالت آماده Demo Recap: Testing Transition from Ready

• ویژگی های توابع تک مسیر Properties of Single-path Functions

• خلاصه Summary

تثبیت اعدام Stabilizing Execution

• مقدمه Introduction

• مقدمه آزمایشی: تست عملکرد در حال اجرا Demo Introduction: Testing Run Function

• نسخه ی نمایشی: تست عملکرد در حال اجرا Demo: Testing Run Function

• مرور دمو: تست عملکرد در حال اجرا Demo Recap: Testing Run Function

• مقدمه نسخه ی نمایشی: اجرای ساختاری Demo Introduction: Deconstructing Run

• نسخه ی نمایشی: اولین ویژگی Unfurl Demo: First Unfurl Property

• نسخه ی نمایشی: دومین دارایی Unfurl Demo: Second Unfurl Property

• نسخه ی نمایشی: سومین دارایی Unfurl Demo: Third Unfurl Property

• Demo Interlude: Deconstructing Run Demo Interlude: Deconstructing Run

• نسخه ی نمایشی: اولین اجرای ملک Demo: First Run Property

• نسخه ی نمایشی: دومین املاک اجرا شده Demo: Second Run Property

• نسخه ی نمایشی: بازگشت آمار از Stopped Demo: Returning Statistics from Stopped

• بازبینی نسخه ی نمایشی: اجرای ساختاری Demo Recap: Deconstructing Run

• شروع دولت Start State

• انتقال Transition

• خلاصه Summary

پایان دادن به لمس ها Finishing Touches

• مقدمه Introduction

• پایان دادن به لمس ها Finishing Touches

• مقدمه نسخه ی نمایشی: نوشتن برنامه Demo Introduction: Compose Application

• نسخه ی نمایشی: تبدیل به کنسول Demo: Convert to Console

• نسخه ی نمایشی: برنامه را بنویسید Demo: Compose Application

• بازبینی نسخه ی نمایشی: نوشتن برنامه Demo Recap: Compose Application

• معرفی آزمایشی: گزارش آمار Demo Introduction: Report Statistics

• نسخه ی نمایشی: گزارش آمار Demo: Report Statistics

• بازبینی نسخه ی نمایشی: گزارش آمار Demo Recap: Report Statistics

• خلاصه Summary