Dinh - Đề xuất ngôn ngữ lập trình thành môn bắt buộc ở phổ thông

Functional hẳn qua Haskell lại ko dùng đệ qui mấy nữa, vì nó bị trừu tuợng hoá thành mấy cái fold với traverse hết rồi

Thế mà nó cũng lại có hứng thú chứ ko phải ko đâu nhé, có lẽ để từ từ hiểu cách tư duy của nó hơn thì mới biết cách tiếp cận phù hợp được

 

BFS ko có xài đệ quy.
Tui c3 chả biết đệ quy là gì. Vào dh năm 1 mới học. Uh hơn nửa lớp cũng ko hiểu đệ quy, nhưng dần học thuật toán như graph traversal các kiểu là tự dần dần ngộ ra hết thôi.
C3 đã ko dạy cấu trúc dữ liệu & giải thuật thì bọn nó ko cần biết đệ quy cũng dc. Ủng hộ ko bắt buộc học lập trình.

 

Cả BFS lẫn DFS đều có thể viết bằng loop ko đệ qui mà, phải lưu thêm state để DFS đến ngõ cụt rồi biết back lại về đâu thôi
Thật ra mọi cái loop luôn có cách biểu diễn bằng đệ qui và ngược lại, cái này ông nào học functional programming rồi ko lạ gì Lambda calculus thuần tuý có độc gọi hàm (function application), ko có sẵn rẽ nhánh với loop gì hết, nhưng vẫn Turing complete

 

Chủ yếu cho các cháu học Iteration xong học Recursion rồi so sánh hai thằng nó sẽ dễ hơn là học chay. Hầu như các trường hợp ứng dụng hiện ta làm toàn Iteration chứ chưa đụng tới vấn đề cần Recursion.

 

Sao không cần, dùng tới GADT chưa https://en.m.wikibooks.org/wiki/Haskell/GADT

Haskell cũng chỉ cung cấp data type cơ bản. Khi cần custom data type phải viết instance cho Functor, Applicative mới dùng map, traverse được. Recursive là cực cơ bản trong Haskell

 

nhìn cái đệ quy mới nhớ là viết códe đéo bao giờ xài. :v

 

Đương nhiên viết instance thì phải dùng vì bên dưới vẫn là đệ qui, nhưng viết để sau đấy ko dùng mấy nữa
Còn mấy cái Functor, Applicative có extension tự derive ra được mà :v

 

À đồng đạo có học Haskell, mà học chơi hay làm việc chính thức bằng H rồi.
Cấu trúc phức tạp GHC extension không tự derive được đâu, phải tự viết

 

Học chơi nhưng 5 6 năm nay ko đụng đến rồi, hồi xưa có job mà xong ko làm lại đâm đầu vào chỗ khác dùng Go
Ta cũng có nhớ derive Functor có restriction nhưng giờ chịu ko nhớ ra là gì, cơ bản là ADT thường cứ quẩy mệt nghỉ Nhưng nhớ ko nhầm đúng là GADT phải tự viết, cái kind của constructor tự do vậy thì shape của data cũng vô cùng, muốn derive được thì làm khó cái compiler quá

 

lập trình tk21 rồi chứ có phải 1980s 1990s đâu mà cao với chả siêu
con toạ học vật lý chuyên vẫn code c++ ầm ầm

 

Nước ngoài à. VN làm gì có job Haskell mà làm
Ta hiện cũng làm song song Go với Haskell. Đáng lẽ team Haskell nhưng mà đang thiếu Go fullstack nên nhảy qua làm cả 2

 

Đấy lâu ko làm là ngáo cứ nhớ tdn mấy cái constructor trong declaration block của nó là type constructor nên phản xạ viết kind, cứ cảm thấy sai sai mở doc ra xem lại y nhuw rằng )

Hồi đó có 1 cái job làm remote nhưng fulltime, nghe nói team có 1 ông cũng Haskell ở VN.
Cơ mà lúc đấy có ông đại ca với thằng bạn rủ rê vào bên kia :(
Mà được làm Haskell là ngon vl rồi thày, cái cộng đồng của nó toàn cao thủ đầu óc dị vl, làm cùng mình chỉ có giỏi ra chứ yên tâm ko thể cùi đi được

 

Đúng là trong đây gì cũng có, có luôn người làm với Haskell :v
Lần cuối dùng Haskell là học chơi, cũng cốimplement lại 1 thuật toán. Học muốn nổ não, mà công nhận cũng tiếp xúc nhiều khái niệm hơn, không chỉ đơn thuần là functional programming cơ bản

 

Mình dân đồ họa, mấy cấu trúc hình chiếu 3d mình nhìn lướt cái là hiểu được, nhưng mà toán đại số với lập trình thì thua :'(

Bởi vậy mà ko kiếm dc nhiều tiền :'(

 

Ai muốn học thì đã học, ai học được thì đã bộc lộ rồi.
Còn chưa học hết phổ thông, chương trình thì nặng mà còn học lập trình, nó ra đời nó làm thợ cơ khí hay hướng dẫn du lịch thì cần gì? Lại còn so sánh với ngoại ngữ, ít nhất bắt chúng nó học ngoại ngữ thì còn được, người ai cũng cần giao tiếp, còn ko phải ai cũng cần lập trình.
Còn muốn thêm môn lập trình thì cắt bớt chương trình học nữa đi để chúng nó thở cái.

 

Mà nói là học lập trình nhưng ngôn ngữ là phụ thôi, học về logic về flow diagram , học thêm UML nữa là ngon, thật chứ cái UML ngành nào chả cần . Có nhiều cái về công nghệ thông tin áp dụng phổ biến chứ có phải chỉ lập trìn xuông đâu

 

tôi vẫn phản đối học lập trình ở phổ thông mà
bản thân tôi thừa hiểu vì tôi làm cái nghề này, ko chịu tự học hỏi tìm tỏi thì mau tụt hậu, chưa kể cần 1 cái gì đấy chút ít đam mê

giờ cứ ví dụ 1 tuần 8 - 10 tiết Toán trên, học thêm 3 buổi, mỗi buổi 2 tiếng và đầy cháu vẫn đéo giải dc cái đề ĐH, thầy cô vẫn buộc phải cắt bớt bài giảng, chạy đua với chương trình để đảm bảo thời gian ôn luyện thi thì việc thêm cái môn lập trình này nó vô nghĩa bỏ mẹ khi 1 tuần chỉ 1 2 buổi, 45 phút

 

Thật tui đổi ngành 2 lần, dù tiếng là đổi ngành nhưng đặc thù công việc vẫn thế - trông nom & phát triển 1 dịch vụ, thấy chỗ nào vứt cái UML diagram vào mọi chuyện cũng dễ dàng hơn, nhưng đại chúng thì nó chỉ thường đc dùng để...vẽ cơ cấu nhân sự cty, xàm vl .

Đm vào họp mình vứt vào cái quy trình triển khai lắp đặt mặt ai cũng nghệch ra, vậy là phải cắt nhỏ ra giảng cho từng ng. Tdn flow dính account - kế toán - operation - kho - r&d mà fail bước nào cũng đi kím mình đéo hiểu để làm gì. Cross functional diagram thôi mà phải chỉ cả các nhìn sơ đồ như nào...

 

Phổ thông dạy word, excel, powerpoint với email chứ dạy lập trình làm gì. Cấp 3 học pascal toàn làm giấy đến cuối kì mới dc sờ máy nên toàn phao cho nhanh

 

Nếu đủ giàu thì đập tiền mở nhiều môn tự chọn cho bọn nhỏ, đứa nào thích gì học nấy. Sau lên đại học bọn nó biết đc đại khái học cái nào hợp rồi đi sâu vào chuyên ngành dễ hơn