DVMS Co.,Ltd

Khi bạn trong vùng tối, có lẽ công cụ đầu tiên bạn nghĩ đến là chiếc đèn pin phải không nào? Có ngay! Đèn pin trong chiếc điện thoại iPhone của bạn chứ đâu. Bài viết hôm nay mình sẽ hướng dẫn bạn cách mở đèn pin ngay trên chiếc điện thoại dế yêu của bạn, và mình cũng nói đến lưu ý khi sử dụng đèn pin trên iPhone.

Xem thêm: Mở đèn Pin trên iPhone như nào?

Bạn đang lo lắng bé chơi quá nhiều trên iPhone, iPad, và sử dụng các ứng dụng hoặc truy cập vào các website không phù hợp với độ tuổi của bé?

Từ phiên bản hệ điều hành iOS 12 trở về sau, iPhone đã có thêm chức năng giúp bạn kiểm soát được các vấn đề trên, bạn có thể giới hạn tổng số thời gian cho phép bé chơi trên iPhone, bạn có thể cài đặt để bé không được phép sử dụng một số ứng dụng và ngay cả không thể truy cập được website không phù hợp với độ tuổi của bé.

Xem thêm: Kiểm soát bé sử dụng iPhone, iPad: Không cho bé xem website và ứng dụng App không phù hợp, giới...

Thời gian gần đây, các khái niệm về "nền kinh tế chia sẻ " hay "mô hình kinh tế chia sẻ " đã được đề cập và bàn thảo sôi nổi trên nhiều diễn đàn. Ở Việt Nam, tại Nghị quyết phiên họp thường kỳ tháng 1/2018, Chính phủ đã thống nhất xây dựng Đề án về mô hình kinh tế chia sẻ . Bài viết khảo sát những mô hình thuộc nền kinh tế chia sẻ đã xuất hiện trên thế giới, từ đó nhận diện rõ hơn về cơ hội, thách thức cũng như khả năng phát triển kinh tế chia sẻ tại Việt Nam. (ThS. Lê Thanh Thủy - Học viện Công nghệ Bưu chính Viễn thông)

Xem thêm: Các mô hình kinh tế chia sẻ nổi bật trên thế giới và vấn đề đặt ra với Việt Nam

đùa với package del (npm)

Xem thêm: Trò đùa với package del (npm)

Quay phim bằng smartphone đang dần trở thành xu hướng hiện nay trên thế giới. Với ưu điểm nhỏ gọn, độ phân giải cao, dễ sử dụng hơn những thiết bị quay phim cồng kềnh, chiếc smartphone hoàn toàn có thể giúp bạn lưu lại những đoạn video đáng nhớ bên gia đình hay thậm chí thực hiện những dự án nghệ thuật chuyên nghiệp. Tuy nhiên để video quay bằng smartphone đạt chất lượng tốt nhất có thể, có một số điều bạn nên lưu ý như sau.

Xem thêm: Kỹ thuật quay phim trên smartphone bạn nên biết

Chào mọi người!

Hôm nay sẽ tiếp tục loạt bài “Mình biết thì mình chia sẻ” của mình mong tiếp tục nhận được sự ủng hộ từ anh em

Rất xin lỗi vì sau bài viết trước Docker với lập trình viên web của mình thì mình lại ngắt quãng không thể đi luôn vào phần tìm hiểu tiếp tục kết nối với cơ sở dữ liệu. Hôm nay chúng ta sẽ cùng đi giải quyết vấn đề đó.

1. Thiếu thời gian hết hạn của session

Như trong Securing Rails Applications ta biết session hay còn gọi là phiên làm việc:

Xem thêm: 5 lỗi bảo mật cơ bản trong Rails app hay gặp trong thực tế

Nếu điện thoại iPhone của bạn sử dụng hệ điều hành iOS 11 và 12, có chức năng tích hợp sẵn cho phép bạn quay lại màn hình iPhone một cách dễ dàng, không chỉ quay hình mà bạn có thể thu âm luôn giọng nói của bạn vào một file video lưu trữ trực tiếp trên ứng dụng ảnh (Photos App).

Xem thêm: Cách quay màn hình iPhone và iPad với âm thanh trên iOS 11 và iOS 12

DVMS sưu tầm và giới thiệu đến các bạn một số mã nguồn mở đùng để xây dựng và triển khai mạng xã hội, bạn có thể dùng các mã nguồn này để triển khai thử nghiệm một mạng xã hội. Trường hợp cần một mạng xã hội thực chiến, vui lòng liên hệ DVMS.

Xem thêm: 8 mã nguồn mạng xã hội miễn phí

Khi bạn truy cập vào ứng dụng Facebook trên Google Play, bạn sẽ thấy ID ( hay còn gọi là package name) của ứng dụng này là com.Facebook.katana. Vậy tại sao lại là Katana, nguồn gốc của nó là gì?

Xem thêm: Tại sao app Facebook lại có id là Katana (kiếm Nhật)

Ý tưởng về “những chiếc điện thoại thông minh” đã tồn tại được gần 10 năm qua, thậm chí còn lâu hơn nữa vì bất chấp hoàn cảnh kinh tế, chúng vẫn đóng vai trò rất quan trọng trong cuộc sống của hầu hết chúng ta. Số lượng thiết bị di động nhiều hơn số lượng người trên Trái Đất, và đáng buồn là còn nhiều hơn số toalet nữa.

Xem thêm: Ba điều rút ra từ Rio Olympics 2016 dành cho các Mobile Marketers

Để chuyển ảnh từ iPhone này sang iPhone khác dễ lắm bạn à, cho dù bạn muốn chuyển vài bức ảnh đến bạn bè ngay sau khi chụp, hoặc chuyển toàn bộ ảnh từ điện thoại iPhone cũ sang một chiếc iPhone mới, bạn đều có thể thực hiện một cách dễ dàng sau khi xem bài viết này.

Xem thêm: Hướng dẫn cách chuyển (copy) ảnh từ iPhone sang iPhone khác (hoặc từ iPhone cũ vào iPhone mới)

1. Pulsator

Pulsator là diễn hoạt nhịp đập dành cho các app iOS, được viết bằng Swift.

Xem thêm: 6 libs “vi diệu” dành cho các lập trình viên iOS (phần 3)

Uber hay Grab chỉ là một ví dụ của nền kinh tế chia sẻ đang phát triển mạnh mẽ. Và, Việt Nam không phải quốc gia duy nhất đau đầu với vấn đề này.

Thị trường "tỷ đô"

Các dịch vụ trực tuyến trị giá nhiều tỷ USD đang tạo đột phá trong các phân khúc của nền kinh tế. Theo nghiên cứu của Công ty Kiểm toán PricewaterhouseCoopers (PwC), ước tính doanh thu toàn cầu từ các công ty cung cấp ứng dụng nền tảng kinh doanh chia sẻ sẽ đạt tới 335 tỷ USD vào năm 2025 so với doanh thu mới khoảng 15 tỷ USD của năm 2014.

Xem thêm: Chia nhau miếng bánh 335 tỷ USD, Việt Nam đâu thể chậm chân

Cách đây vài tháng, mình có viết 1 bài để chửi thực trạng học lập trìnhcủa các thanh niên hiện nay. Ngoại trừ một số câu hỏi bài tập, hoặc vấn đề công nghệ, phần nhiều các câu hỏi là “gặp lỗi không biết sửa”. Qua đó, có thể thấy các bạn sinh viên năm 2 năm 3 hoặc mới ra trường vẫn còn thiếu kĩ năng debug.

Xem thêm: Series Phản Phác Quy Chân – Bí kíp để trở thành “cao thủ” trong việc fix bug

Thường ngày chúng ta hay gặp một số thuật ngữ phổ biến của một số chức danh trong các công ty hiện đại ngày nay đặc biệt là các công ty nước ngoài với các chức danh như CEO, CMO, CFO, CPO, CCO, COO, CHRO… vậy chúng có ý nghĩa ra sao ? Xin mời bạn cùng tìm hiểu một số thông tin cho các thuật ngữ vị trí này.

Xem thêm: BOD, PRESIDENT,CHAIRMAN,CEO, CMO, CFO, CPO, CCO, COO, CIO, CHRO,Vice, Deputy, Corp, Inc là gì ?

Khái niệm về immutable luôn chiếm một phần quan trọng trong nhiều ngôn ngữ lập trình ngày nay, Java không phải là ngoại lệ. Java 8 ra đời kèm theo functional programming và java.time.API khiến immutable càng trở nên quan trọng hơn.

Xem thêm: [JAVA] Hiểu khái niệm Immutable như thế nào cho đúng?

Với Firebase, bạn có thể lưu trữ và đồng bộ hóa dữ liệu lên NoSQL cloud database. Dữ liệu được lưu trữ ở dạng JSON, được đồng bộ hóa với tất cả client được kết nối theo thời gian thật, và vẫn dùng được khi ứng dụng offline.

Xem thêm: Tạo Cloud Backend Cho Ứng Dụng Android trong Firebase

Lập trình viên là một nghề đầy tính thử thách và không ngừng phát triển. Có nhiều cơ hội việc làm cho một Lập trình viên giỏi. Vậy, định nghĩa một Lập trình viên giỏi là như thế nào? Chỉ code giỏi có phải sẽ trở thành lập trình viên giỏi? Hãy cùng theo dõi 6 tips dưới đây để tìm ra hướng phát triển đúng đắn cho sự nghiệp lập trình của bạn nhé)

Xem thêm: 6 Tip để trở thành lập trình viên giỏi

Trong thời gian gần đây, chúng ta thường nghe đến khái niệm "Chuyển đổi số" được nhắc đến rất nhiều trên các phương tiện truyền thông đại chúng. Vậy Chuyển đổi số là gì và có tầm quan trọng như thế nào? Hãy cùng tìm hiểu trong bài viết dưới đây.

Xem thêm: Chuyển đổi số là gì và quan trọng như thế nào trong thời đại ngày nay?

Bảo mật tốt thì thiếu tự do, "vọc" thoải mái thì kém an toàn. Đâu là nền tảng di động phù hợp nhất với bạn?
Viện nghiên cứu Neohapsis Labs (Chicago) đã nghiên cứu các vấn đề về bảo mật nói chung và đưa ra đánh giá về những nền tảng phổ biến nhất hiện nay là iOS, Android, Blackberry và một vài nền tảng đang rất có tiềm năng khác như Windows Phone, Meego, WebOS, Bada.

Xem thêm: Android, iOS, BlackBerry hệ điều hành nào bảo mật hơn

Như các bạn đã biết XML là một ngôn ngữ tuyệt vời để mô tả và lưu trữ dữ liệu. Tuy nhiên với tốc độ phát triển của công nghệ thông tin, nhu cầu của các ứng dụng không chỉ dừng lại ở mức lưu trữ, các hệ thống cần trao đổi thông tin với nhau.

Xem thêm: Giới thiệu về Xpath (XML Path Language)

Azure là một nền tảng điện toán đám mây (cloud) của hãng Microsoft, và cũng như Google, Amazon,... Microsoft cũng đưa khá nhiều chương trình hỗ trợ khởi nghiệp (startup) nhất là các đơn vị làm trong lĩnh vực công nghệ thông tin như phần mềm, IoT... trong đó có cả các chương trình hỗ trợ cho lập trình viên và cho doanh nghiệp. Đây cũng là một phần trong bài: Bí kíp khởi nghiệp (startup) tiết kiệm và hiệu quả

Với chương trình hỗ trợ server và các dịch vụ dựa trên cloud cho doanh nghiệp công nghệ thông tin thì bạn tham khảo tại đây . Hôm nay mình sẽ giới thiệu và hướng dẫn các bạn đăng ký, tạo server website trong chương trìn hỗ trợ lập trình viên, tuy nhiên chương trình này không chỉ áp dụng được cho các lập trình viên mà hoàn toàn dùng để xây dựng server website cho bất kỳ startup nào nhé.

Xem thêm: Hướng dẫn tạo webserver với Azure Cloud free, cài đặt Kloxo lên Azure

Ứng dụng dành cho các thiết bị di động được phân thành ba loại chính bao gồm: ứng dụng gốc (Native App), ứng dụng web (Web App) và ứng dụng lai (Hybrid App). Xu thế lập trình trên thế giới ngay càng hương tới di động trong đó Native application và web application đang trở nên mạnh mẽ hơn bao giờ hết. Về lịch sử thì native application ra đời trước mobile web application, Nổi bật lên khi kho ứng ứng APPSTORE của Apple ra đời, App World của Blackberry...

Xem thêm: Phân biệt ứng dụng gốc và ứng dụng web

JavaScript  đang ngày ngày càng phổ biến nhiều hơn. Trong năm 2016, chúng ta đã chứng kiến được những thay đổi lớn như AngularJS nâng cấp toàn bộ và giới thiệu phiên bản Angular 2, sự thống trị của jQuery khi jQuery áp dụng trên 96,5% tất cả các trang web JS, sự tiến hoá của ECMAScript, hai bản cập nhật của Node.js vào tháng tư và tháng mười, các finest hours trong React…và nhiều hơn thế nữa.

Xem thêm: Top 5 Javascript Frameworks năm

Community Builder là một trong những Extensions lâu đời, có từ thời Mambo (tiền thân của Joomla ngày hôm nay), sở dĩ Community Builder được nhiều người sử dụng là do khả năng mở rộng được các tính năng mà Joomla! chưa cung cấp hoặc cung cấp chưa đầy đủ như:
- Tạo các field người dùng tùy biến (mặc định Joomla chỉ có các field chủ yếu như username, email, password ).
- Cho phép xây dựng các trang mạng cộng đồng ở quy mô nhỏ (mạng xã hội nhỏ), hỗ trợ quản lý thành viên tốt hơn.

Xem thêm: Xây dựng mạng cộng đồng bằng Joomla với Phân hệ xây dựng cộng đồng (Community Builder)

Phần lớn máy tính bảng/máy tính lai chạy Windows hiện có trên thị trường được trang bị vi xử lý Intel Atom. Và câu hỏi được phần lớn anh em thắc mắc là liệu Atom có thể cày nổi Windows hay không, máy tính bảng Windows chạy chip Atom có hiệu năng ra sao, pin thế nào? Trong bài này, chúng ta sẽ cùng tìm hiểu về những thế hệ Atom dành cho máy tính bảng, qua đó nắm được những cải tiến về công nghệ, hiệu năng từ đó anh em có thể chọn được chiếc máy tính bảng/máy tính lai ưng ý.

​

Xem thêm: Tìm hiểu về dòng Intel Atom, chọn mua máy tính bảng ưng ý

iPhone bị lỗi notification là một hiện tượng lỗi khá phổ biến trên điện thoại iPhone hệ điều hành iOS 8. Vậy để khắc phục hiện tượng trên chúng ta cần phải làm gì, bài viết sau đây sẽ hướng dẫn bạn cách khắc phục lỗi trên.

Xem thêm: Khắc phục iPhone bị lỗi notification

Hướng dẫn toàn diện quản trị website làm bằng wordpress

Xem thêm: Quản trị Wordpress toàn tập

Điện thoại di động đã trở thành công cụ liên lạc cơ bản và hết sức phổ biến- ngày nay nó không những được sử dụng để gọi điện, mà còn để truy cập internet, gửi tin nhắn, và ghi chép lại mọi thứ.

Thật không may, điện thoại di động không được thiết kế cho mục tiêu bảo mật và riêng tư. Nó không chỉ kém trong việc bảo vệ thông tin liên lạc của bạn, mà còn đặt bạn vào những rủi ro theo dõi khác- đặc biệt là truy tìm vị trí. Hầu hết điện thoại di động cho quyền kiểm soát ít hơn so với máy tính bàn hoặc máy tính xách tay; rất khó để thay đổi hệ điều hành, rất khó để điều tra tấn công bởi mã độc, rất khó để gỡ bỏ hay thay thế các phần mềm cài sẵn mà bạn không thích, và rất khó để ngăn ngừa các bên như công ty điện thoại giám sát việc sử dụng thiết bị của bạn. Hơn thế nữa, công ty thiết bị có thể tuyên bố thiết bị hết thời và ngừng cung cấp cập nhật phần mềm, luôn cả cái gói vá lỗi bảo mật; nếu điều này xảy ra, bạn sẽ không có cách chi để sửa.

Xem thêm: Vấn đề với điện thoại di động

Ông Dương Thành Trung Manager, Consumer Insights – Nielsen Vietnam cho biết tỷ lệ người dùng Internet nước ta đang thuộc top cao nhất thế giới và đang có khoản 49,5 triệu thiết bị smartphone, ước tính đến năm 2020 con số này sẽ tăng lên 58,4 triệu thiết bị.

Xem thêm: Doanh nghiệp Việt có kịp nhận ra “mỏ vàng” Zalo trong lĩnh vực Digital Marketing?

Một trong những thách thức lớn nhất đối với Java developer khi tìm hiểu và áp dụng Javascript chính là sự khác biệt giữa việc cách giải thích khác nhau về object giữa hai ngôn ngữ.

Xem thêm: Javascript object dưới con mắt của Java developer

Hãy khoan bạn ơi, đừng vội nhảy lên chuyến tàu tốc hành async/await trong khi chưa rành Promise, kẻo lại xảy ra “va chạm khi dồn dịch”, gây nên hậu quả khôn lường, vì căn bản async/await vẫn dùng Promise ở bên dưới mà thôi.

Xem thêm: Tất tần tật về promise và ASYNC/AWAIT

Hơn một nửa người dùng không biết rằng tuy có thiết kế nguyên khối nhưng iPhone vẫn có thể thay pin như những smartphone khác.

61,4% người dùng iPhone tại Mỹ không biết viên pin bên trong máy có thể thay thế, theo khảo sát mới đây của trang sửa chữa điện thoại Batteries Plus Bull. Trang này tiến hành khảo sát với 1.000 người Mỹ và thu về kết quả bất ngờ.

Xem thêm: Nhiều người không biết iPhone có thể thay pin

Tất cả chúng ta ai cũng biết cách xoá ảnh trên iPhone hoặc iPad phải không nào? Mở ứng dụng ảnh chọn 1 hoặc 1 vài tấm cần xoá sau đó chạm vào hình cái thùng rác (Trash) thế là xong. Nhưng vấn đề ở đây là Bạn muốn xoá tất cả hình ảnh và video trên iPhone cùng 1 lúc, vậy làm cách nào đây?

Xem thêm: Cách xoá tất cả hình ảnh trên iPhone và iPad cùng lúc

Nhiều dịch vụ lưu trữ đám mây hỗ trợ chia sẻ thư mục đến người xác định hoặc đến tất cả mọi người như OneDrive, Google Drive, Dropbox, Box, Mega… và dĩ nhiên iCloud Drive cũng không ngoại lệ.

Nếu bạn sử dụng các sản phẩm của Apple như iPhone, iPad, Mac… Bạn có thể dễ dàng chia sẻ thư mục trên iCloud Drive đến với mọi người.

 

Xem thêm: Cách chia sẻ thư mục trên iCloud Drive trên iPhone, iPad, Mac

Xem thêm: Mặt trái của ngành kiểm thử phần mềm là gì?

Có quá nhiều hình ảnh và video trên iPhone, luôn báo hết dung lượng lưu trữ? Bài hôm nay, sẽ giúp bạn xóa bớt các hình ảnh và video không cần thiết, bao gồm xóa nhiều ảnh cùng lúc.

Xem thêm: Cách xóa hình ảnh và video trên iPhone và iPad

Với những ai yêu thích YouTube và muốn tạo ra một trang chia sẻ video, mạng xã hội video giống YouTube, thì mã nguồn này sẽ là lựa chọn cho bạn

Xem thêm: Tạo mạng xã hội chia sẻ video mang phong cách YouTube với YouPHPTube

Mỗi lần đọc source code, chắc hẳn các bạn đều phải đối mặt với những biểu thức logic phức tạp. Nhiều khi nó phức tạp tới mức làm ta tốn cả ngày tìm hiểu để biết xem biểu thức đó kiểm tra điều kiện gì. Ngay cả khi có comment đi kèm thì lúc ta bắt tay vào sửa logic cũng phải vô cùng đau đầu mới đảm bảo được source code sau khi đã sửa đổi đáp ứng được yêu cầu mới, nhưng vẫn đảm bảo chạy đúng với các yêu cầu spec trước đó.

Xem thêm: Nghệ thuật viết code đẹp: Đơn giản, dễ đọc hoá biểu thức

Trong quá trình nhắn tin hoặc gõ chữ trên iPhone, thỉnh thoảng bạn sẽ thấy một số từ bạn không muốn viết hoa nhưng iPhone tự động viết hoa, bạn phải chỉnh sửa lại, làm mất rất nhiều thời gian cho việc không đáng này, vậy có cách nào tắt đi không?

Xem thêm: Tắt chức năng tự động viết hoa trên iPhone và iPad

Logistics đóng góp quan trọng vào quá trình phân phối hàng hoá từ nơi sản xuất đến người tiêu dùng và là cầu nối thương mại toàn cầu. Hoạt động logistics ngày nay không chỉ gắn liền với hoạt động kho vận, giao nhận vận tải, mà còn lên kế hoạch, sắp xếp dòng chảy nguyên, vật liệu từ nhà cung ứng đến nhà sản xuất, sau đó luân chuyển hàng hóa từ khâu sản xuất đến người tiêu dùng cuối cùng, tạo nên sự liên thông trong toàn xã hội theo những phương án tối ưu hóa, giảm chi phí luân chuyển và lưu kho.

Với IPTV, khách hàng không chỉ dừng lại ở việc xem truyền hình đơn thuần mà có thể xem bất cứ chương trình nào mình yêu thích vào bất kỳ thời điểm nào và sử dụng nhiều dịch vụ khác qua màn hình tivi như: xem phim theo yêu cầu, xem trực tiếp, xem lại các giải thể thao lớn, hát karaoke, chơi game, nghe nhạc…

Xem thêm: IPTV Một số thuật ngữ liên quan tới dịch vụ truyền hình qua internet

Dưới đây là các lỗi phổ biến trong MySQL mà có thể Quý khách có thể sẽ gặp phải trong quá trình sử dụng. Bài viết sau đây có thể giúp ích cho Quý khách trong việc fix các lỗi liên quan đến MySQL.

Xem thêm: Xử lý các lỗi phổ biến trong MySQL

Hiện nay, Vue.js là một trong những framework JavaScript tốt nhất và nhiều người cho rằng Vue sẽ dần thay thế cho Angular và React trong tương lai. Xét vòng đời của mình, Vue.js không mới hơn hay phổ biến hơn so với những frameworks khác nhưng vẫn sở hữu những yếu tố tạo nên sự khác biệt.

Xem thêm: VueJS & ReactJS – Những chỉ số mới nhất

Game Flappy Bird, một trong những ứng dụng trên điện thoại di động và máy tính bảng siêu hot trong thời gian qua, đứng đầu bảng xếp hạng của App Store và Google Play. Game này do một người Việt Nam viết ra, và được toàn thế giới say mê. Giúp chủ nhân của nó kiếm lên đến 1 TỶ ĐỒNG trên NGÀY.
 

Xem thêm: Đầu tư vào ứng dụng, kênh đầu tư 1 vốn tỷ lời

Bạn có tập tin (file) trên Google Drive đang tìm cách tải (Download) về iPhone hoặc iPad mà chưa tìm ra cách. Bạn bấm vào tải file từ Google Drive về iPhone & iPad mà không thấy file lưu ở đâu...

Trong bài này mình sẽ trình bày chi tiết cách tải file từ Google Drive về iPhone trong vòng một nốt nhạc.

Xem thêm: Hướng dẫn tải file từ Google Drive về iPhone và iPad

Thời gian vừa qua DVMS nhận được nhiều câu hỏi về cách đổi tên thiết bị chạy hệ điều hành Andoid ( điện thoại Android và máy tính bảng Android ). Đa số lý do muốn đổi tên là vì khi chia sẻ Bluetooth thì người nhận không biết thiết bị nào nếu không có tên cụ thể hoặc khi kết nối vào wifi thì người quản trị hệ thống mạng không biết thiết bị đang kết nối là của ai vì tên hiển thị trên modem wifi thường có dạng android-sdhfks344lkdsf...

Các bạn làm theo hướng dẫn bên dưới của DVMS để đổi tên thiết bị ( bài này dùng các hình ảnh bằng tiếng Anh, nếu bạn đang dùng ngôn ngữ tiếng Việt trên máy thì bạn thao tác vào các mục tương tự ).

Xem thêm: Cách đổi tên thiết bị Android

DFU được viết tắt từ cụm từ Device Firmware Update, cập nhật lại Firmware cho iPhone, đưa iPhone về trạng thái như mới vừa khui hộp. Đây là phương pháp cứu cánh cuối cùng để đưa iPhone về trạng thái hoạt động bình thường do lỗi phần mềm gây ra.

Xem thêm: Đưa iPhone về chế độ recovery (DFU) để Restore: Theo cách của Apple

Trong quá trình tìm hiểu về Free Monad, khi đọc các paper tôi gặp một số vấn đề để hiểu về phương pháp chứng minh các giả thuyết. Tìm hiểu kỹ hơn là do bản thân tôi chưa hiểu rõ phương pháp suy luận trong lập trình hàm.

Xem thêm: Phương pháp suy luận trong lập trình hàm