✨Suy luận kiểu
Suy luận kiểu (tiếng Anh: type inference) dùng để chỉ việc tự động phát hiện kiểu dữ liệu của một biểu thức trong ngôn ngữ lập trình.
Nó là một tính năng hiện diện trong một số ngôn ngữ kiểu tĩnh mạnh. Nó có các đặc trưng của ngôn ngữ lập trình hàm nói chung. Một số ngôn ngữ có suy luận kiểu gồm C++11, C# (từ phiên bản 3.0), Chapel, Clean, Crystal, D, F#, FreeBASIC, Go, Haskell, Java (từ phiên bản 10), Julia, Kotlin, ML, Nim, OCaml, Opa, RPython, Rust, Scala, Swift, Vala và Visual Basic (từ phiên bản 9.0). Phần lớn trong số chúng dùng kiểu suy luận kiểu đơn giản, đặc biệt hơn khi những ngôn ngữ còn lại sử dụng hệ thống kiểu Hindley-Milner để cung cấp một suy luận kiểu hoàn chỉnh hơn. Khả năng suy luận kiểu tự động giúp cho nhiều tác vụ lập trình dễ dàng hơn, cho phép lập trình viên bỏ qua các chú thích kiểu (type annotation) trong khi vẫn cho phép kiểm tra kiểu.
👁️ 0 | 🔗 | 💖 | ✨ | 🌍 | ⌚
**Suy luận kiểu** (tiếng Anh: _type inference_) dùng để chỉ việc tự động phát hiện kiểu dữ liệu của một biểu thức trong ngôn ngữ lập trình. Nó là một tính năng hiện diện trong
thumb|Người chơi Mastermind sử dụng suy luận giả định để đoán màu sắc bí mật _(trên)_ từ các kết quả sai lệch _(góc dưới bên trái)_ dựa trên các phỏng đoán _(góc dưới bên phải)_.
[[Tập tin:High accuracy Low precision.svg | nhỏ | Biểu đồ này miêu tả độ chính xác cao và độ chính xác thấp bằng cách suy luận, phân tích dữ liệu.
Chú thích:
_Màu đỏ_: độ chính
Chú thích:
_Màu đỏ_: độ chính
thumb | 220x124px | right | Suy luận Bayes dựa trên các [[xác suất có điều kiện liên quan đến các bằng chứng E được đưa ra nhằm kiểm định và cập nhật xác suất
**Hệ thống kiểu Hindley–Milner** (**HM**) là một hệ thống kiểu cổ điển cho phép tính lambda với đa hình tham số (_parametric polymorphism_). Nó còn được gọi là **Damas–Milner** hay **Damas–Hindley–Milner**. Nó được mô tả
**Quy nạp**, **suy luận quy nạp** hay **lập luận quy nạp**, đôi khi còn được gọi là **logic quy nạp**, là quá trình lập luận mà trong đó tiên đề của lý lẽ được cho
**Suy diễn lôgic**, **lập luận diễn dịch** hay **suy diễn** là lập luận mà trong đó kết luận được rút ra từ các sự kiện được biết trước theo kiểu: nếu các tiền đề là
nhỏ|Nhắm mục tiêu vào con người, minh họa cho dạng **_lập luận công kích cá nhân**._ **_Lập luận công kích cá nhân** (tiếng Anh: **ad hominem**, là dạng viết tắt của: **argumentum ad hominem **)_
Trong logic, một **luận cứ** là một cố gắng để thể hiện tính đúng đắn của một khẳng định được gọi là một _kết luận_, dựa trên tính đúng đắn của một tập các khẳng
thumb|[[Hutton's Unconformity at Jedburgh.
Above: John Clerk of Eldin's 1787 illustration.
Below: 2003 photograph.]] **Đồng nhất luận**, còn được gọi là **Học thuyết đồng nhất** hay **Nguyên tắc đồng nhất**, là giả thuyết chỉ ra rằng những
Above: John Clerk of Eldin's 1787 illustration.
Below: 2003 photograph.]] **Đồng nhất luận**, còn được gọi là **Học thuyết đồng nhất** hay **Nguyên tắc đồng nhất**, là giả thuyết chỉ ra rằng những
Trong việc lập trình, các ngôn ngữ lập trình thường được coi là **kiểu yếu** hoặc **kiểu mạnh**. Nói chung thì các khái niệm này không có định nghĩa chính xác cụ thể. Thực ra,
**Pháp Luân Công** hay **Pháp Luân Đại Pháp** là một phong trào tôn giáo mới. Pháp Luân Công được Lý Hồng Chí sáng lập ở Trung Quốc vào đầu những năm 1990. Pháp Luân Công
**Thiên kiến xác nhận** (còn gọi là **thiên kiến (thiên lệch) khẳng định**) là một khuynh hướng của con người ưa chuộng những thông tin nào xác nhận các niềm tin hoặc giả thuyết của
**Lập luận** được định nghĩa rất khác nhau tùy theo ngữ cảnh của hiểu biết về lý tính như là một hình thức của tri thức. Định nghĩa lôgic là hành động sử dụng lý
**Luân Đôn** (; ) là thủ đô kiêm thành phố lớn nhất của Anh (England) và của cả Vương quốc Liên hiệp Anh và Bắc Ireland (UK). Luân Đôn được người La Mã lập ra
nhỏ|Những hình ảnh liên quan đến cuộc trấn áp Pháp Luân Công **Cuộc đàn áp Pháp Luân Công** đề cập đến chiến dịch được khởi xướng bởi Đảng Cộng sản Trung Quốc đối với các
**Các vi phạm lập luận trong ngụy biện**, tên nguyên gốc là **Attacking Faulty Reasoning**, là một cuốn sách giáo khoa về ngụy biện logic của T. Edward Damer đã được sử dụng trong nhiều
thumb|[[Eleanor Roosevelt và Tuyên Ngôn Quốc tế Nhân quyền (1949)— Điều 19 quy định rằng "Ai cũng có quyền tự do quan niệm và tự do phát biểu quan điểm; quyền này bao gồm quyền
**Lý tính** là một thuật ngữ dùng trong triết học và các khoa học khác về con người để chỉ các năng lực nhận thức của tâm thức con người. Nó miêu tả một sự
thumb|Tranh La Mã mô tả đám cưới giữa hai chị em [[Jupiter (thần thoại)|Jupiter và Juno, thế kỷ I]] **Loạn luân** hoặc **phi luân** là hoạt động tình dục giữa những người trong cùng gia
**Linda Kiều** là một nhân vật biếm họa được sáng tạo bởi họa sĩ Nguyễn Tài cùng nhà văn Lê Văn Nghĩa, xuất hiện lần đầu trên báo _Tuổi Trẻ Cười_ vào cuối thập niên
Kinh Tế Học Dành Cho Đại Chúng Tái Bản 2018 Cuốn sách Kinh tế học dành cho đại chúng của Giáo sư Steven E.Landsburg thuộc dòng những tác phẩm thú vị kiểu Kinh tế học
Kinh Tế Học Dành Cho Đại Chúng Tái Bản 2018 Cuốn sách Kinh tế học dành cho đại chúng của Giáo sư Steven E.Landsburg thuộc dòng những tác phẩm thú vị kiểu Kinh tế học
**Chủ nghĩa kinh nghiệm** hay **chủ nghĩa duy nghiệm** (tiếng Anh: **Empiricism**) là một khuynh hướng lý thuyết về tri thức triết học với đặc điểm nhấn mạnh vai trò của trải nghiệm. Trải nghiệm
**Avram Noam Chomsky** (sinh ngày 7 tháng 12 năm 1928) là một giáo sư và trí thức công chúng người Mỹ, nổi danh nhờ các nghiên cứu về ngôn ngữ học, phê bình xã hội
_Kẻ bạc gian_ (Le Tricheur), họa phẩm của [[Georges de La Tour, trưng bày tại bảo tàng Louvre, Paris]] **Ngụy biện con bạc**, hay **ngụy biện của tay cá cược**, **ngụy biện Monte Carlo** hoặc
Tư duy thiết kế (DT) là chủ đề của nhiều cuộc tranh luận và ứng dụng rộng rãi trên nhiều lĩnh vực kiến thức khác nhau, bao gồm cả lĩnh vực thực phẩm; tuy nhiên,
Tư duy thiết kế (DT) là chủ đề của nhiều cuộc tranh luận và ứng dụng rộng rãi trên nhiều lĩnh vực kiến thức khác nhau, bao gồm cả lĩnh vực thực phẩm; tuy nhiên,
**David Hume** (; phiên âm tiếng Việt: **Đavít Hium**; 7 tháng 5 năm 1711 – 25 tháng 8 năm 1776), tên khai sinh là **David Home**, là một nhà triết học, kinh tế học và
**Suy thoái kinh tế** (tiếng Anh: _recession/economic downturn_) được định nghĩa trong Kinh tế học vĩ mô là sự suy giảm của Tổng sản phẩm quốc nội thực trong thời gian hai hoặc hơn hai
**_Suy ngẫm về Triết học tiên khởi_**, với tựa đề con **_Chứng minh sự tồn tại của Chúa trời và sự khác biệt thực sự giữa tâm và thân_**, (tên Latinh: _Meditationes de prima philosophia,
nhỏ|phải|Một con [[bò sữa tại trang trại ở Radevormwald nước Đức, người ta chăn thả bò kiểu luân canh, các bãi chăn được quây hàng rào, gia súc chỉ được gặm cỏ trên các bãi
**_Enola Holmes_** là một bộ phim ly kỳ năm 2020 do Harry Bradbeer đạo diễn và Jack Thorne chắp bút, dựa trên cuốn đầu tiên trong loạt sách cùng tên của tác giả Nancy Springer.
**Bertrand Arthur William Russell, Bá tước Russell thứ 3**, (phiên âm tiếng Việt: **Béctơrăng Rátxen**; sinh ngày 18 tháng 5 năm 1872 – mất ngày 2 tháng 2 năm 1970), là một triết gia, nhà
**Triết học khoa học** là một nhánh của triết học quan tâm đến nền tảng, phương pháp và các hậu quả của khoa học. Các câu hỏi trung tâm của môn học này bao gồm
**Benjamin Franklin** (17 tháng 1 năm 1706 - 17 tháng 4 năm 1790) là một thành viên trong nhóm lập quốc của Hoa Kỳ. Ông cũng là một chính trị gia, nhà khoa học, nhà
**Vin vào tự nhiên** (tiếng Anh: appeal to nature) là lập luận hoặc lối tu từ cho rằng "_bởi_ _vì_ thứ nào đó 'tự nhiên' nên nó tốt", hay "_bởi vì_ thứ nào đó 'không
Hình chụp lỗ thủng ozon lớn nhất ở [[Nam Cực từ trước đến nay vào tháng 9 năm 2000.]] **Sự suy giảm tầng ozon** bao gồm hai sự kiện liên quan được quan sát thấy
phải|nhỏ|Địa chất tầng lớp nhân dân trong [[Salta (tỉnh)|Salta (Argentina).]] **Địa tầng học**, một nhánh của địa chất học, nghiên cứu về các lớp đá và sự xếp lớp của chúng trong địa tầng. Nó
**Kotlin** là một ngôn ngữ lập trình kiểu tĩnh chạy trên máy ảo Java (JVM) và có thể được biên dịch sang mã nguồn Java hay sử dụng cơ sở hạ tầng trình biên dịch
**Edmund Gustav Albrecht Husserl** (;; phiên âm tiếng Việt: **Étman Huxéc**; 8 tháng 4 năm 1859 – 27 tháng 4 năm 1938) là một nhà triết học vô thần và toán học Đức-Do Thái có
**Pháp Xứng** (zh. 法稱, sa. _dharmakīrti_) là một trong những Luận sư quan trọng nhất của triết học đạo Phật, đại điện quan điểm của Nhân minh học (sa. _hetuvidyā_), sống trong thế kỉ thứ
phải| Một trong năm bức tranh về _Hủy diệt Ác ma_ miêu tả Sendan Kendatsuba, một trong tám người bảo vệ luật Phật giáo, xua đuổi cái ác. phải|[[Satan là hiện thân của cái ác,
**_The Girl with the Dragon Tattoo_** (tạm dịch: _Cô gái có hình xăm rồng_) là một bộ phim neo-noir thể loại giật gân-tâm lý năm 2011 do David Fincher đạo diễn và Steven Zaillian chắp
nhỏ| Một [[Vịt cổ xanh|con le le, trông giống như một con vịt và bơi như một con vịt.]] **Nhận dạng vịt** (), hoặc **phép thử vịt** hay **kiểm thử vịt** là một hình thức
**_Kiều_** là một bộ phim điện ảnh cổ trang của Việt Nam do Mai Thu Huyền sản xuất và đạo diễn, được lấy cảm hứng từ tác phẩm _Truyện Kiều_ của Nguyễn Du. Là dự
**Nạn kiêu binh** hay **loạn kiêu binh** (_Kiêu binh chi loạn_, 驕兵之亂) là tên dùng để chỉ sự việc loạn lạc thời Lê Trung Hưng trong lịch sử Việt Nam, do những quân lính gốc
**A-nhã Kiều-trần-như** (, , chữ Hán: 阿若·憍陳如) là vị đệ tử xuất gia và chứng quả A-la-hán đầu tiên của đức Phật, là thành viên đầu tiên của Tăng đoàn, có hạnh cao nhất. Ông
**Suy thoái COVID-19** là một cuộc suy thoái kinh tế toàn cầu diễn ra do hậu quả trực tiếp của đại dịch COVID-19. Cho đến nay, suy thoái kinh tế này là cuộc khủng hoảng
**Lê Tràng Kiều** (1912-1977), tên thật là **Lê Tài Phúng**, các bút danh khác là: _Lê Tùng, Phan Hữu, Trường Phấn, Trường Thiên, Nàng Lê_... Ông là nhà báo, nhà phê bình văn học Việt