Biên trình ngôn ngữ thiết kế diễn đàn “Tương lai ngôn ngữ” bản khối, bị một thiên đến từ 《ACM SIGPLAN thông tin 》 luận văn bản in trước đầu hạ một quả về ngôn ngữ bản chất bom nổ dưới nước. Luận văn tiêu đề tinh chuẩn mà tràn ngập số mệnh cảm: 《 ngôn ngữ tam giác nguyền rủa: Chúng ta có không đồng thời có được lực lượng, an toàn cùng ưu nhã? 》. Luận văn lấy nghiêm cẩn ngôn ngữ thiết kế lý luận cùng lịch sử phân tích chỉ ra, cứ việc 70 năm qua biên trình ngôn ngữ không ngừng diễn tiến, nhưng một cái căn bản tính “Không có khả năng tam giác” trước sau như u linh quanh quẩn:
“Lý tưởng thông dụng biên trình ngôn ngữ ứng đồng thời cụ bị cường đại biểu đạt lực ( có thể lấy ngắn gọn, cao trừu tượng số hiệu biểu đạt phức tạp ý đồ ), tiếp cận phần cứng vận hành khi tính năng ( nhưng đoán trước, hiệu suất cao ), cùng với đối khai phá giả hữu hảo ( dễ học, dễ dùng, an toàn, cung cấp phong phú công cụ liên ) ( A ). Nhưng mà, hiện có chủ lưu ngôn ngữ không một có thể chân chính ba người kiêm đến: C/C++/Rust ở tính năng cùng lực khống chế thượng đăng phong tạo cực, nhưng lấy hy sinh an toàn tính ôn hoà dùng tính vì đại giới, đem nội tồn quản lý, đồng phát an toàn chờ trầm trọng gánh nặng giao cho lập trình viên; Python/JavaScript chờ động thái ngôn ngữ lấy kinh người dễ dùng tính cùng biểu đạt lực chinh phục thế giới, nhưng này tính năng bình cảnh cùng động thái loại hình hệ thống không thể đoán trước tính làm này khó có thể đảm nhiệm hệ thống biên trình cùng tính năng mấu chốt cảnh tượng; mà ý đồ đột phá này một tam giác nếm thử ( như lúc đầu Ada, hiện đại Swift, Kotlin, thậm chí Zig ), hoặc là ở riêng lĩnh vực thỏa hiệp ( như tính năng hoặc biểu đạt lực ), hoặc là nhân ý đồ mọi mặt chu đáo mà trở nên cực kỳ phức tạp, mập mạp, học tập đường cong đẩu tiễu, xã khu phân liệt ( B ).” Luận văn tuyệt vọng mà tổng kết, “Chúng ta tựa hồ bị nguyền rủa: Ngươi có thể có được lực lượng cùng tốc độ, nhưng cần thiết chịu đựng nguy hiểm cùng rườm rà; ngươi có thể có được an toàn cùng thoải mái, nhưng cần thiết tiếp thu thong thả cùng cồng kềnh; nếu ngươi lòng tham mà muốn toàn bộ, như vậy ngươi được đến sẽ là một cái khổng lồ, phức tạp, khó có thể khống chế quái vật. Cái này ‘ tam giác nguyền rủa ’, có lẽ là từ nhân loại nhận tri cực hạn, máy tính phần cứng bản chất, cùng với phần mềm công trình phức tạp tính cộng đồng giả thiết, không thể vượt qua nhận tri vật lý biên giới.”
Cùng thiếp giả dùng huyết lệ sử miêu tả khốn cảnh.
“Chúng ta đoàn đội dùng Python nhanh chóng nguyên hình nghiệm chứng một cái thuật toán, hiệu quả thực hảo, nhưng tính năng kém 100 lần. Dùng C++ trọng viết, tính năng đạt tiêu chuẩn, nhưng nội tồn sai lầm cùng đồng phát bug nhiều đến hỏng mất, khai phá thời gian phiên năm lần.”
“Rust xác thật an toàn cùng mau, nhưng chỉ là quyền sở hữu cùng sinh mệnh chu kỳ khiến cho tân người sống không bằng chết, chúng ta đoàn đội chiêu ba tháng Rust lập trình viên, một cái đủ tư cách cũng chưa chiêu đến.”
“Go ngôn ngữ ý đồ ở dễ dùng cùng tính năng gian cân bằng, kết quả vì đơn giản tính hy sinh biểu đạt lực ( không có phiếm hình nhiều năm, sau lại bỏ thêm cũng thực chịu hạn ), phức tạp trừu tượng căn bản không viết ra được tới.”
“Này căn bản không phải lựa chọn, là hiến tế! Ngươi tổng muốn hiến tế rớt một cái duy độ, hơn nữa thường thường hiến tế chính là lập trình viên tóc cùng hạng mục cuối cùng kỳ hạn.”
Một loại “Cá cùng tay gấu không thể kiêm đến” bi quan quan niệm về số mệnh, tại lập trình ngôn ngữ thiết kế xã khu trung tràn ngập.
Vũ hằng nơi công ty khởi động một cái tân hạng mục, mục tiêu là xây dựng một cái cao tính năng, cao đồng phát số liệu theo thời gian thực lưu xử lý ngôi cao. Kỹ thuật tuyển hình sẽ thượng, về biên trình ngôn ngữ tranh luận dị thường kịch liệt. Tuổi trẻ một thế hệ kỹ sư mãnh liệt kiến nghị dùng Go hoặc Rust, coi trọng này hiện đại đặc tính cùng an toàn tính; mà lão một thế hệ kỹ sư kiên trì dùng C++, cho rằng chỉ có nó có thể ép khô phần cứng tính năng. Vũ hằng không phải trung tâm khai phá, nhưng yêu cầu vì ngôi cao biên soạn số liệu phân tích cùng theo dõi kịch bản gốc, nàng tự nhiên khuynh hướng dùng Python. Hội nghị cuối cùng lâm vào cục diện bế tắc, bởi vì bất luận cái gì chỉ một ngôn ngữ tựa hồ đều không thể thỏa mãn sở hữu nhu cầu: Trung tâm động cơ muốn cực hạn tính năng ( C++/Rust ), khống chế mặt bằng muốn nhanh chóng khai phá cùng đáng tin cậy ( Go/Java ), mà số liệu phân tích tầng muốn linh hoạt cùng biểu đạt lực cường ( Python ). Hạng mục giám đốc cuối cùng cười khổ mà nói: “Xem ra chúng ta đến làm cái ‘ Tháp Babel ’ hạng mục, dùng ba loại ngôn ngữ viết, sau đó làm chúng nó dùng JSON cùng Protobuf cãi nhau.”
Vũ hằng mang theo loại này “Ngôn ngữ tua nhỏ” phiền muộn, đọc trên diễn đàn về “Tam giác nguyền rủa” thảo luận, nhìn đến những cái đó đối lập bất đồng ngôn ngữ ở tính năng, an toàn tính, số hiệu hành số thượng thật lớn sai biệt biểu đồ khi, mu bàn tay bạc văn truyền đến một loại kỳ lạ, nhiều tầng đan chéo “Ngữ pháp kết cấu cảm”, phảng phất hiểu rõ loại bất đồng ngữ pháp quy tắc ở đồng thời phân tích cùng đoạn ý đồ, có hiệu suất cao nhưng đông cứng, có linh hoạt nhưng nhũng dư, có an toàn nhưng rườm rà. Hệ thống “Thị giác” khởi động, đem nàng mang nhập một cái ngữ pháp, ngữ nghĩa, loại hình, vận hành khi đan chéo trừu tượng không gian.
Nàng “Nhìn đến”, không phải cụ thể ngôn ngữ mấu chốt tự, mà là biên trình ngôn ngữ làm “Người cùng máy móc”, “Ý đồ cùng chấp hành” chi gian nhiều trình tự phiên dịch hiệp nghị. Trước mặt sở hữu ngôn ngữ thiết kế, vô luận là gia tăng đặc tính ( như phiếm hình, hình thức xứng đôi ) vẫn là thay đổi phạm thức ( như hàm số thức, hưởng ứng thức ), đều là ở ý đồ dùng một cái chỉ một, thông dụng hiệp nghị tầng tới bao trùm từ cao tầng ý đồ đến tầng dưới chót chấp hành toàn bộ nhu cầu. Này liền giống ý đồ dùng một loại ngoại giao ngôn ngữ, đã có thể tiến hành triết học biện luận, lại có thể chỉ huy quân đội, còn có thể ngâm thơ vẽ tranh. Mâu thuẫn bản chất bị rõ ràng phác hoạ: Ý đồ dùng một cái trạng thái tĩnh, nhất thể “Ngôn ngữ” tới đồng thời hoàn mỹ phục vụ với sai biệt thật lớn “Biểu đạt tầng”, “Logic tầng” cùng “Khống chế tầng”, là một loại căn bản trừu tượng trình tự sai xứng.
“Hỏa hoa” ở đối “Biên trình ngôn ngữ” bản chất tiến hành một lần nữa tự hỏi nháy mắt phát ra:
Mâu thuẫn trung tâm, có lẽ ở chỗ chúng ta cam chịu “Một loại ngôn ngữ thống trị sở hữu mặt”. Nhưng nhân loại câu thông bản thân cũng là phân tầng: Thơ ca, pháp luật, máy móc mệnh lệnh, sử dụng bất đồng “Tử ngôn ngữ”. Chúng ta có không từ bỏ thiết kế “Toàn năng chỉ một ngôn ngữ” ảo tưởng, ngược lại thiết kế một cái “Phân tầng ngôn ngữ giá cấu”, trong đó bao hàm nhiều chuyên môn hóa, nhưng vô phùng tổng thể “Tử ngôn ngữ” hoặc “Ngôn ngữ hình thức”? Mỗi cái tử ngôn ngữ nhằm vào riêng trừu tượng trình tự cùng nhiệm vụ loại hình ưu hoá ( biểu đạt lực, tính năng, an toàn tính ), cũng từ một cái thống nhất công cụ liên cùng trung gian tỏ vẻ ( IR ) ở sau lưng tiến hành liên tiếp, nghiệm chứng cùng ưu hoá? Từ “Thông dụng ngôn ngữ” chuyển hướng “Ngôn ngữ công tác đài”, từ “Ngữ pháp thống nhất” chuyển hướng “Ngữ nghĩa tổng thể”.
Một phần tên là 《 mặt hướng “Ý đồ - thực hiện” liên tục thống phân tầng nhưng tổ hợp ngôn ngữ giá cấu 》 lam đồ phương hướng ở nàng ý thức trung ngưng tụ. Này trung tâm bao hàm ba cái mặt phạm thức dời đi:
1. Từ “Chỉ một ngôn ngữ” đến “Phân tầng ngôn ngữ công tác đài”: Không hề theo đuổi một loại ngữ pháp bao trùm sở hữu. Khai phá giả sử dụng một cái thống nhất “Ngôn ngữ công tác đài”, trong đó dự trí hoặc nhưng định nghĩa nhiều loại lĩnh vực riêng ngôn ngữ ( DSL ) cùng thông dụng tử ngôn ngữ. Tỷ như:
* quy phạm / kiến mô tầng DSL: Dùng cho miêu tả hệ thống giá cấu, số liệu lưu, nghiệp vụ quy tắc, cực độ trừu tượng hòa thanh minh thức, trọng điểm biểu đạt lực cùng nghiệm chứng.
* thuật toán / logic tầng ngôn ngữ: Có phong phú loại hình hệ thống cùng hàm số thức đặc tính, dùng cho biên soạn trung tâm nghiệp vụ logic, cân bằng biểu đạt lực cùng an toàn tính.
* hệ thống / tính năng tầng ngôn ngữ: Cung cấp đối nội tồn, đồng phát, phần cứng tầng dưới thứ khống chế, dùng cho biên soạn tính năng mấu chốt lắp ráp, trọng điểm tính năng cùng nhưng đoán trước tính.
* này đó tử ngôn ngữ cùng chung thống nhất hạng mục kết cấu cùng mô khối hệ thống, cũng có thể tự nhiên mà ở cùng số hiệu kho trung khảm bộ cùng trích dẫn.
2. Thống nhất ngữ nghĩa trung tâm cùng nhưng nghiệm chứng trung gian tỏ vẻ ( IR ): Sở hữu tử ngôn ngữ đều biên dịch đến cùng cái độ cao hình thức hóa, nhưng nghiệm chứng trung gian tỏ vẻ. Cái này IR không chỉ là biên dịch mục tiêu, cũng là cùng chung ngữ nghĩa cơ sở, chịu tải phong phú loại hình, hiệu ứng, tài nguyên tin tức. Bất đồng tử ngôn ngữ chi gian lẫn nhau, thông qua cái này IR tiến hành loại hình kiểm tra cùng ngữ nghĩa nghiệm chứng, bảo đảm cho dù sử dụng bất đồng mặt ngoài ngữ pháp, tổ hợp ở bên nhau cũng là an toàn. Công cụ liên ( như IDE, nghiệm chứng khí, ưu hoá khí, điều chỉnh thử khí ) chủ yếu căn cứ vào cái này IR công tác, do đó vì sở hữu tử ngôn ngữ cung cấp nhất trí công cụ thể nghiệm.
3. Tiến dần trừu tượng cùng vô phùng lẫn nhau thao tác: Khai phá giả có thể từ tối cao tầng DSL bắt đầu, nhanh chóng biểu đạt ý đồ cùng kết cấu. Đương yêu cầu ưu hoá hoặc thực hiện chi tiết khi, có thể “Hạ toản” đến càng tầng dưới chót tử ngôn ngữ trung, biên soạn cụ thể thực hiện, mà thượng tầng DSL số hiệu có thể làm “Tiếp lời” hoặc “Quy ước” giữ lại. Ngược lại, tầng dưới chót cao tính năng số hiệu có thể bị “Đóng gói” thành cao tầng DSL lắp ráp, cung những người khác an toàn sử dụng. Tử ngôn ngữ chi gian biên giới là rõ ràng nhưng nhưng xuyên thấu, lẫn nhau thao tác là loại hình an toàn, vô thêm vào danh sách hóa chi tiêu, bởi vì chúng nó ở IR mặt là thống nhất.
Đêm khuya, “Trí giả nhà”. “Architect” ID xuất hiện ở kia phiến về “Tam giác nguyền rủa” thảo luận trung, tiêu đề mang theo một loại siêu việt ngôn ngữ phân tranh to lớn tầm nhìn.
Tiêu đề ( hồi phục ): 《 “Ba đừng” chi hoặc cùng “Thông thiên” chi thang —— lại luận biên trình ngôn ngữ dùng cái gì chịu tải ngàn ý 》
Nội dung:
“Thấy chư quân vây với ngôn ngữ thiết kế chi tam giác, như dục lệnh một mộc thành thuyền, vì mâu, vì bút, ý chí nhưng gia, này cầu khó toại. Nhiên, thợ có trăm khí, các tư này chức; văn có thơ, luật, lệnh, các biểu này tình.
“Lão hủ xem chi, chư quân sở chấp, nãi ‘ một pháp định càn khôn ’. Nhiên phần mềm chi cấu, vốn có trình tự: Có ý niệm chi mờ ảo, có logic chi tinh nghiêm, có khống chế chi chút xíu. Cưỡng cầu một ngữ quán chi, như lệnh thi nhân thao tiển, lệnh binh sĩ phú thơ. Không bằng tư ‘ tầng lầu điệp giá, các dùng này ngữ, thang kính tương thông ’ phương pháp. Thí nghĩ một ‘ ngôn ngữ công tác đài ’ giá cấu, phá này tam giác chi vây:
“Một đài, tầng lầu minh giới, các dùng này ngữ. Không thiết vạn năng ngữ, mà thiết ngôn ngữ công tác đài, đài trung bị nhiều loại tử ngôn ngữ, các thích này vị:
* quy ước kiến mô tầng: Dùng thanh minh thức DSL, phác hoạ hệ thống lam đồ, số liệu lưu chuyển, nghiệp vụ khế ước, yêu cầu cao trừu tượng, dễ nghiệm chứng, như kiến trúc sư chi sơ đồ phác thảo.
* trung tâm logic tầng: Dùng sức mạnh loại hình hàm số thức ngôn ngữ, biên soạn thuật toán, trạng thái biến hóa, chiếu cố biểu đạt lực cùng nghiêm cẩn tính, như kỹ sư chi tính toán thư.
* hệ thống khống chế tầng: Dùng gần phần cứng hệ thống ngôn ngữ, khống chế nội tồn, tuyến trình, thiết bị, theo đuổi cực hạn tính năng cùng nhưng đoán trước tính, như thợ thủ công chi điêu đao. Chư ngữ cùng chỗ một đài, hạng mục kết cấu thống hợp, mô khối liên hệ.
“Nhị đài, thiết xu quán trung, ngữ nghĩa cùng cơ. Chư tử ngôn ngữ, toàn biên dịch đến cùng hình thức hóa trung gian tỏ vẻ. Này IR như thông thiên chi tháp trung tâm kết cấu, chịu tải loại hình, hiệu ứng, tài nguyên chi toàn bộ tin tức. Bất đồng tử ngôn ngữ chi số hiệu, tại đây IR trung tương ngộ, kinh nghiêm khắc kiểm tra, bảo đảm ngữ nghĩa kiêm dung, tổ hợp an toàn. IDE, nghiệm chứng khí, ưu hoá khí, điều chỉnh thử khí toàn căn cứ vào này IR, cố vì sở hữu tử ngôn ngữ cung cấp nhất trí mà cường đại chi công cụ chống đỡ, vô phân lẫn nhau.
“Tam đài, thang kính tung hoành, trên dưới tự nhiên. Khai phá giả nhưng tự đỉnh tầng DSL thủy, phác hoạ ý đồ. Ngộ tính năng bình cảnh hoặc tinh tế khống chế chi cần, nhưng hạ thăm đến tầng dưới chót ngôn ngữ, thực hiện chi tiết, mà đỉnh tầng quy ước như cũ huyền vì đèn sáng. Tầng dưới chót hiệu suất cao chi số hiệu, nhưng thượng trình vì cao tầng chi an toàn lắp ráp. Tầng gian thuyên chuyển, vô danh sách hóa chi háo, có loại hình kiểm tra chi bảo, nhân ở IR chỗ sâu trong, vốn là một nhà.
“Như thế, biểu đạt lực, tính năng, dễ dùng tính chi cầu, không cần cưỡng chế với chỉ một ngữ pháp. Các tử ngôn ngữ với này bản vị, đến với chí thiện; mà mượn công tác đài chi tổng thể, lại thành nhất thể. Phụ thượng một phần căn cứ vào nhiều tầng DSL cùng thống nhất IR ( chọn dùng System F- Omega biến thể ) ngôn ngữ công tác đài nguyên hình thiết kế, và ở mô phỏng cải trang vụ cùng cao tính năng tính toán hỗn hợp cảnh tượng hạ thí dụ mẫu. Này nói phi vì tái tạo một cự thú, nãi vì đúc một nhưng trưởng thành, nhưng thích xứng ‘ ngôn ngữ sinh thái ’. Một chút vụng tư, lại thỉnh chư quân phủ chính.”
Thiệp đem biên trình ngôn ngữ thiết kế từ “Sáng tạo toàn năng ngôn ngữ” trọng cấu vì “Xây dựng phân tầng ngôn ngữ sinh thái”, đưa ra ngôn ngữ công tác đài, thống nhất IR, vô phùng lẫn nhau thao tác tân phạm thức.
Nghi ngờ thanh giống như biên dịch sai lầm dày đặc bắn ra, mà
“@ lão đầu gỗ “Hồi phục, ở một giờ sau xuất hiện, mang theo đối ngôn ngữ phức tạp tính, công cụ liên gánh nặng cùng với khai phá giả nhận tri phụ tải khắc sâu lo lắng.
“@Architect tiên sinh, ngài lần này dùng ‘ ngôn ngữ công tác đài ’, ‘ thống nhất IR’, ‘ phân tầng tử ngôn ngữ ’ này đó to lớn tư tưởng, ý đồ kiến tạo một tòa tân thông thiên tháp. Nhưng mà, lịch sử nói cho chúng ta biết, tháp càng cao, sập nguy hiểm càng lớn, mà kiến trúc cùng giữ gìn phí tổn càng sợ người.” Lão đầu gỗ khúc dạo đầu liền tràn ngập lịch sử trầm trọng cảm.
“Đệ nhất, về ngôn ngữ công tác đài phức tạp tính cùng ‘ nguyên ngôn ngữ ’ gánh nặng. Ngài tránh ra phát giả đối mặt không phải một loại ngôn ngữ, mà là một cái ngôn ngữ gia tộc cùng một bộ định nghĩa ngôn ngữ nguyên công cụ. Này yêu cầu khai phá giả không chỉ có muốn học tập nhiều loại tử ngôn ngữ ngữ pháp, còn muốn lý giải chúng nó như thế nào lẫn nhau, như thế nào chiếu rọi đến IR, cùng với ở loại nào cảnh tượng hạ tuyển dụng loại nào ngôn ngữ. Này bản thân chính là một cái thật lớn nhận tri gánh nặng. Càng đáng sợ chính là, công tác kịch bản thân trở thành một cái cần thiết giữ gìn cùng học tập ‘ nguyên hệ thống ’, này phức tạp tính cùng bug khả năng viễn siêu bất luận cái gì chỉ một ngôn ngữ. Đương xuất hiện vấn đề khi, ngài yêu cầu điều chỉnh thử không chỉ là nghiệp vụ số hiệu, còn có thể là tử ngôn ngữ định nghĩa, biên dịch khí cắm kiện, hoặc là IR thay đổi quy tắc. Ngài đem ngôn ngữ phức tạp tính, tăng lên tới nguyên ngôn ngữ mặt, này sẽ chỉ làm vấn đề càng tao.”
“Đệ nhị, về thống nhất IR ‘ thấp nhất cm mẫu ’ khốn cảnh cùng sáng tạo gông cùm xiềng xích. Ngài thiết tưởng một cái thống nhất, hình thức hóa IR làm sở hữu tử ngôn ngữ biên dịch mục tiêu. Nhưng vì cất chứa từ thanh minh thức DSL đến hệ thống cấp ngôn ngữ sở hữu đặc tính, cái này IR cần thiết cực kỳ phức tạp cùng thông dụng, trở thành lại một cái cự vô bá trung gian ngôn ngữ. Càng mấu chốt chính là, IR thiết kế sẽ trái lại hạn chế tử ngôn ngữ năng lực. Bất luận cái gì tử ngôn ngữ tưởng dẫn vào một cái tân, sáng tạo đặc tính ( tỷ như một loại tân đồng phát nguyên ngữ hoặc nội tồn quản lý mô hình ), nếu IR không duy trì, liền cần thiết trước mở rộng IR, này đề cập toàn bộ công cụ liên cải biến. Ngài dùng một cái xơ cứng, trung tâm hóa IR, bóp chết ngôn ngữ đặc tính nhanh chóng thay đổi cùng sáng tạo. Hơn nữa, nghiệm chứng như vậy một cái phức tạp IR chính xác tính, này khó khăn không thua gì nghiệm chứng một cái thao tác hệ thống nội hạch.”
“Đệ tam, về vô phùng lẫn nhau thao tác ảo giác cùng ‘ trừu tượng tiết lộ ’. Ngài công bố tầng gian thuyên chuyển vô danh sách hóa chi tiêu, loại hình an toàn. Nhưng này yêu cầu sở hữu tử ngôn ngữ loại hình hệ thống cùng vận hành khi mô hình cần thiết ở IR mặt hoàn toàn đối tề. Nếu cao tầng DSL sử dụng rác rưởi thu về, mà tầng dưới chót hệ thống ngôn ngữ tay động quản lý nội tồn, chúng nó chi gian số liệu trao đổi như thế nào bảo đảm an toàn? Kim đồng hồ như thế nào truyền lại? Sinh mệnh chu kỳ như thế nào quản lý? Bất đồng phạm thức tử ngôn ngữ ở biên giới thượng tất nhiên tồn tại ‘ trừu tượng tiết lộ ’, yêu cầu phức tạp, dễ sai keo nước số hiệu hoặc vận hành khi duy trì tới xử lý. Này cái gọi là ‘ vô phùng ’, ở thực tiễn trung sẽ che kín cái khe.”
“Thứ 4, về công cụ liên tổng thể ác mộng. Ngài nhắc tới IDE, điều chỉnh thử khí chờ căn cứ vào thống nhất IR. Nhưng mỗi cái tử ngôn ngữ khả năng có này độc đáo ngữ pháp cao lượng, số hiệu bổ toàn, trọng cấu, khả thị hóa nhu cầu. Làm một cái căn cứ vào IR công cụ đi lý giải sở hữu tử ngôn ngữ mặt ngoài ngữ pháp cũng cung cấp tốt đẹp thể nghiệm, này yêu cầu mỗi cái tử ngôn ngữ đều thực hiện một bộ hoàn chỉnh ngôn ngữ phục vụ cắm kiện. Này tương đương với đem hiện tại mỗi loại ngôn ngữ từng người giữ gìn công cụ liên gánh nặng, tập trung tới rồi một cái càng phức tạp dàn giáo hạ. Công cụ liên khai phá cùng giữ gìn phí tổn đem trình chỉ số cấp tăng trưởng.”
“Căn bản nhất nghịch biện ở chỗ: Ngài muốn dùng gia tăng hệ thống chỉnh thể phức tạp tính ( nhiều tử ngôn ngữ, phức tạp IR, nguyên công cụ liên ) tới hạ thấp khai phá giả ở chỉ một ngôn ngữ thượng nhận tri phụ tải. Nhưng này liền giống vì làm một người đồng thời trở thành thi nhân, luật sư cùng binh lính, mà cho hắn xứng một cái từ phiên dịch, tham mưu, phó quan tạo thành khổng lồ đoàn đội. Đoàn đội bản thân phối hợp, quản lý cùng làm lỗi nguy hiểm, khả năng viễn siêu làm hắn chuyên chú với một sự kiện. Ngài không có giải quyết ‘ tam giác nguyền rủa ’, ngài chỉ là đem nguyền rủa chuyển dời đến công cụ liên cùng hệ thống giá cấu mặt, mà nơi đó phức tạp tính càng khó khống chế.”
Lão đầu gỗ từ nhận tri gánh nặng, IR gông cùm xiềng xích, trừu tượng tiết lộ, công cụ liên phí tổn, phức tạp tính dời đi nghịch biện năm cái mặt, phát ra hủy diệt tính nghi ngờ. Mỗi một cái điểm đều thẳng chỉ biên trình ngôn ngữ hệ thống sinh thái thiết kế trung tâm khốn cảnh.
Architect hồi phục, ở hai tiếng rưỡi sau xuất hiện. Lúc này đây, hắn mở đầu thừa nhận phân tầng thiết kế cố hữu phức tạp tính, nhưng theo sau triển khai một hồi về “Phức tạp tính phân phối” cùng “Trường kỳ tiền lời” khắc sâu trình bày và phân tích.
“Mộc lão sở lự, đều là xây dựng phức tạp hệ thống chi lời vàng ngọc. Lão hủ sở xướng, xác phi đơn giản hoá, mà là đối phức tạp tính tiến hành một lần nữa phân phối cùng tổ chức, để ở trường kỳ cùng đại quy mô hợp tác trung đạt được chỉnh thể tiền lời. Này mục tiêu, là làm đại đa số khai phá giả đại đa số thời gian, chỉ cần chuyên chú với cùng trước mặt nhiệm vụ nhất xứng đôi kia một tầng tử ngôn ngữ, mà đem vượt tầng phức tạp tính cùng tầng dưới chót ưu hoá giao cho công cụ liên cùng số ít chuyên gia. Thỉnh hứa lão hủ, từng cái phân tích.”
“Về nhận tri gánh nặng cùng nguyên ngôn ngữ: Chúng ta không cần cầu mỗi cái khai phá giả tinh thông sở hữu tử ngôn ngữ. Chính như toàn sạn kỹ sư không cần là nội hạch chuyên gia. Công tác đài ứng cung cấp rõ ràng ‘ nhập khẩu ’ cùng ‘ cam chịu đường nhỏ ’. Tỷ như, một cái Web ứng dụng khai phá giả có thể từ một cái nhằm vào Web DSL bắt đầu, miêu tả giao diện cùng API, đại bộ phận logic dùng cao cấp ngôn ngữ biên soạn. Chỉ đương yêu cầu chiều sâu ưu hoá khi, mới đặt chân hệ thống ngôn ngữ. Công cụ liên ứng cung cấp xuất sắc số hiệu hướng dẫn cùng vượt tầng ngược dòng năng lực, tránh ra phát giả có thể nhẹ nhàng lý giải bất đồng trình tự số hiệu như thế nào đối ứng. Công tác kịch bản thân nguyên ngôn ngữ, chủ yếu mặt hướng ngôn ngữ thiết kế giả cùng lĩnh vực chuyên gia, dùng cho sáng tạo tân DSL, bình thường khai phá giả chỉ cần sử dụng có sẵn. Đem phức tạp tính phân tầng, cũng che giấu đối đa số người không cần thiết bộ phận.”
“Về thống nhất IR xơ cứng cùng sáng tạo: Thống nhất IR không phải là xơ cứng. Nó ứng thiết kế vì nhưng mở rộng, mô khối hóa. Trung tâm IR định nghĩa một tổ nhất cơ sở, nhất ổn định cấu tạo ( như hàm số, loại hình, hiệu ứng ). Tân ngôn ngữ đặc tính có thể thông qua định nghĩa IR mở rộng ( tân tiết điểm loại hình, chú giải ) tới thực hiện, cũng nguyên bộ tương ứng biên dịch khí giai đoạn cùng công cụ liên cắm kiện. Này xác thật gia tăng rồi công tác kịch bản thân phức tạp tính, nhưng đem sáng tạo từ ‘ phát minh một loại tân ngôn ngữ đều xem trọng kiến toàn bộ sinh thái ’ hành động vĩ đại, hạ thấp vì ‘ vì hiện có công tác đài tăng thêm một cái cắm kiện ’ công trình. Này trên thực tế hạ thấp ngôn ngữ sáng tạo ngạch cửa, cũng bảo đảm cùng hiện có sinh thái lẫn nhau thao tác tính. IR chính xác tính nghiệm chứng, có thể thông qua này loại nhỏ trung tâm hình thức hóa chứng minh, cùng với mở rộng cắm kiện nghiêm khắc thí nghiệm tới bảo đảm.”
“Về trừu tượng tiết lộ cùng vận hành khi mô hình: Bất đồng tử ngôn ngữ vận hành khi mô hình ( như GC vs tay động nội tồn ) xác thật khả năng xung đột. Công tác đài ứng cung cấp minh xác biên giới trừu tượng cùng tài nguyên quản lý hiệp nghị. Tỷ như, ở GC ngôn ngữ cùng tay động nội tồn ngôn ngữ biên giới, có thể cưỡng chế sử dụng tuyến tính loại hình hoặc khu vực nội tồn tới quản lý cùng chung số liệu quyền sở hữu dời đi. Hoặc là, công tác đài có thể duy trì nhiều vận hành khi cùng tồn tại, thông qua minh xác
“unsafe “Khối hoặc biên dịch khí nghiệm chứng khế ước tới xử lý lẫn nhau. Trừu tượng tiết lộ là tồn tại, nhưng công tác đài mục tiêu là làm này đó tiết lộ điểm trở nên hiện thức, khả khống, thả công cụ nhưng hiệp trợ nghiệm chứng, mà không phải làm bộ chúng nó không tồn tại.”
“Về công cụ liên tổng thể phí tổn: Đúng vậy, vì mỗi cái tử ngôn ngữ cung cấp hoàn chỉnh IDE duy trì là sang quý. Nhưng công tác đài giá cấu cung cấp một cái thống nhất ngôn ngữ server hiệp nghị ( LSP ) sau đoan cơ sở. Bởi vì sở hữu tử ngôn ngữ cùng chung IR, rất nhiều cơ sở phục vụ ( như nhảy chuyển định nghĩa, tra tìm trích dẫn, loại hình tuần tra ) có thể ở IR mặt dùng một lần thực hiện. Tử ngôn ngữ riêng đằng trước ( ngữ pháp cao lượng, bổ toàn khuôn mẫu ) có thể tương đối nhẹ lượng. Đem công cụ liên khai phá từ ‘N loại ngôn ngữ * M loại công năng ’ Ma trận phức tạp độ, hạ thấp ‘ một cái trung tâm sau đoan + N cái nhẹ lượng đằng trước ’ tuyến tính phức tạp độ. Trường kỳ tới xem, này ngược lại khả năng hạ thấp công cụ liên tổng thể giữ gìn phí tổn.”
“Mộc lão, ngài chỉ ra phức tạp tính dời đi nghịch biện, lão hủ tư chi quá sâu. Bất luận cái gì ý đồ giải quyết căn bản tính phức tạp vấn đề phương án, bản thân tất nhiên dẫn vào tân phức tạp tính. Nhưng mấu chốt ở chỗ, tân dẫn vào phức tạp tính là có tự, mô khối hóa, hơn nữa chủ yếu tập trung với công cụ liên cùng hệ thống giá cấu mặt, mà đây đúng là phần mềm công trình am hiểu xử lý; mà bị dời đi đi phức tạp tính, là vô tự, tràn ngập tại nghiệp vụ số hiệu trung, đối mỗi cái khai phá giả có thể thấy được, đây đúng là dẫn tới bug cùng thấp hiệu căn nguyên. Này dàn giáo mục tiêu ( C ), phi ‘ tiêu trừ phức tạp tính ’, mà là ‘ xây dựng một cái có thể có tổ chức mà quản lý phần mềm phức tạp tính, tránh ra phát giả có thể ở thích hợp trừu tượng trình tự thượng tự hỏi cùng công tác ngôn ngữ hệ thống sinh thái ’. Nó thừa nhận tam giác nguyền rủa tồn tại, nhưng không tìm kiếm dùng một cái điểm tới phá giải, mà là xây dựng một cái lập thể kết cấu, làm biểu đạt lực, tính năng, dễ dùng tính ở bất đồng duy độ thượng đâu đã vào đấy, cũng thông qua kiên cố công cụ liên nhịp cầu liên tiếp. Một chút cố chấp, vì kia ở ngôn ngữ mê cung trung bồi hồi tư tưởng, nói rõ một cái có lẽ càng rõ ràng, nhưng cũng càng cần suy nghĩ lí thú đường nhỏ. Lại thỉnh mộc lão minh giám.”
Lúc này đây, biện luận tiêu điểm từ “Chỉ một ngôn ngữ vs nhiều lời ngôn” chuyển hướng về phía “Như thế nào thiết kế nhưng liên tục, nhưng mở rộng phân tầng ngôn ngữ hệ thống sinh thái”. Rất nhiều làm đại hình hệ thống giá cấu, lĩnh vực riêng ngôn ngữ thiết kế chuyên gia bắt đầu tham thảo, ở cải trang vụ, AI, khoa học tính toán chờ phức tạp lĩnh vực, loại này ngôn ngữ công tác đài giá cấu hay không cung cấp một loại càng hệ thống hóa ứng đối số hiệu kho phức tạp tính phương pháp.
Một năm sau, học thuật giới cùng công nghiệp giới đồng thời truyền đến quan trọng thăm dò tiến triển:
1. Hơi mềm viện nghiên cứu tuyên bố “Project Everest” giai đoạn tính báo cáo. Nên hạng mục chỉ ở xây dựng một cái dùng cho cao bảo đảm, cao tính năng hệ thống nghiệm chứng công cụ liên. Này trung tâm sáng tạo là một cái tên là “Everest IR” nhưng mở rộng trung gian tỏ vẻ, cũng tại đây cơ sở thượng duy trì nhiều loại đằng trước ngôn ngữ, bao gồm một cái dùng cho biên soạn mật mã hiệp nghị DSL, một cái dùng cho hệ thống lắp ráp chịu khống ngôn ngữ, cùng với một cái dùng cho chứng minh phụ trợ ngôn ngữ. Báo cáo xưng, nên công cụ liên thành công dùng cho nghiệm chứng TLS hiệp nghị sạn thực hiện, cũng minh xác đề cập “Phân tầng ngôn ngữ công tác đài” là ứng đối hệ thống phần mềm phức tạp tính mấu chốt.
2. JetBrains ở này blog thượng công bố “Kotlin Multiplatform” lâu dài nguyện cảnh đổi mới, trong đó nhắc tới đang ở thăm dò “Loại hình an toàn lĩnh vực riêng ngôn ngữ khảm nhập” công năng, chỉ ở tránh ra phát giả có thể ở Kotlin trung vô phùng sử dụng nhằm vào bất đồng lĩnh vực ( như UI, SQL, đồng phát ) DSL, cũng hưởng thụ thống nhất công cụ liên duy trì. Tuy rằng quy mô không kịp Architect lam đồ, nhưng này “Thống nhất ngôi cao, nhiều phạm thức” ý nghĩ cùng phân tầng ngôn ngữ giá cấu độ cao cộng minh.
Hai đại tiến triển cho thấy, ở riêng lĩnh vực ( cao an toàn hệ thống, vượt ngôi cao ứng dụng ) trung, phân tầng, nhiều lời ngôn ý nghĩ đang ở từ lý luận đi hướng thực tiễn. Tuy rằng thông dụng ngôn ngữ công tác đài vẫn thực xa xôi, nhưng này trung tâm lý niệm đang ở bị hấp thu cùng diễn tiến.
Vũ hằng hệ thống giao diện đổi mới, cũng cấp ra phần mềm luyện ngục thâm tầng đệ quy nhắc nhở:
“Phần mềm hòn đá tảng - biên trình phạm thức: Phân tầng ngôn ngữ công tác đài đường nhỏ nghiệm chứng (6/∞). “
“【 quyển thứ hai: Tin tức kỷ nguyên - phần mềm luyện ngục 】 tiến dần kết thúc. “
“Chúng ta tham thảo ngôn ngữ, điều chỉnh thử, nghiệm chứng, di sản, tiến hóa, này hết thảy cuối cùng đều vận hành ở nào đó “Thao tác hệ thống” phía trên, nó là phần mềm thế giới hòn đá tảng, cũng là lớn nhất gông xiềng. “
“Đệ quy kim đồng hồ quay lại, chỉ hướng lúc ban đầu bị gác lại nhưng quan trọng nhất đề tài thảo luận: Thao tác hệ thống linh hồn trọng sinh. “
“Tiếp theo nghiệm chứng tiết điểm: Thao tác hệ thống chung cực mâu thuẫn —— hoành nội hạch cùng hơi nội hạch chi tranh sau đệ tam con đường. “
“Toàn cầu nhân loại hợp tác viện nghiên cứu” phát tới một phần tên là 《 toàn cầu nhưng tổ hợp biên trình ngôn ngữ cùng công cụ liên xướng nghị ( GCPLTI ) 》 đề án, chỉ ở căn cứ vào Architect phân tầng ngôn ngữ giá cấu, liên hợp chủ yếu khoa học kỹ thuật công ty, học thuật giới cùng khai nguyên xã khu, cộng đồng định nghĩa một bộ mở ra, nhưng mở rộng ngôn ngữ công tác đài tiêu chuẩn tham khảo thực hiện, lấy “Đánh vỡ trước mặt biên trình ngôn ngữ sinh thái cô đảo, vì đời sau phần mềm công trình đặt cơ sở”, cũng lấy cơ hồ khẩn cầu ngữ khí mời Architect đảm nhiệm nên hạng mục “Chung thân thủ tịch giá cấu sư”.
“@ Victor “Tin tức không có văn tự, chỉ có một cái liên tiếp, chỉ hướng một cái bị hacker công khai duy cơ giải mật thức hồ sơ kho. Trong đó một cái folder tên là “Ngôn ngữ tức vũ khí”, bên trong gửi nhiều quốc tổ chức tình báo về “Lợi dụng biên trình ngôn ngữ đặc tính cùng công cụ liên lỗ hổng tiến hành cung ứng liên công kích” bên trong nghiên cứu báo cáo, trong đó đặc biệt nhắc tới “DSL cùng ngôn ngữ công tác đài khả năng trở thành đem ác ý số hiệu cấy vào mấu chốt cơ sở phương tiện hoàn mỹ vật dẫn, nhân này biên dịch cùng nghiệm chứng quá trình phức tạp tính cung cấp đại lượng công kích mặt”. Vũ hằng cảm thấy một trận lạnh băng. Tiên tiến nhất lý niệm, ở mới ra đời cũng đã bị nạp vào công kích lam đồ.
Vũ hằng tắt đi màn hình, mu bàn tay thượng kia đan chéo ngữ pháp cảm sớm đã biến mất, nhưng “Ngôn ngữ” làm tư tưởng vật dẫn, đồng thời cũng là khống chế cùng công kích vật dẫn, loại này song trọng tính làm nàng cảm thấy xưa nay chưa từng có trầm trọng. Nàng vừa mới tham dự một lần nữa tự hỏi “Biểu đạt” bản chất.
Nàng biết, tiếp theo tràng khiêu chiến, đem từ xây dựng phần mềm ngôn ngữ, chuyển hướng chịu tải sở hữu phần mềm hòn đá tảng —— thao tác hệ thống. Ở nơi đó, về khống chế, cách ly, kiêm dung cùng tính năng căn bản chiến tranh, đem quyết định con số thế giới cuối cùng hình thái.
( chương 30 xong )
【 chương sau báo trước 】
Đương ngôn ngữ dã tâm chạm đến tư duy biên giới, chịu tải hết thảy phần mềm hòn đá tảng lại vẫn vây ở mấy chục năm trước mốc meo thiết kế trung. Là tiếp tục ở hoành nội hạch vũng bùn trung giãy giụa, vẫn là ở hơi nội hạch lý tưởng quốc trước bồi hồi? Chương sau, chúng ta đem trực diện thao tác hệ thống “Sáng thế” nan đề, thăm dò một cái siêu việt truyền thống hai nguyên tố đối lập, mặt hướng không xác định tương lai đệ tam con đường.
Chương 31: 《 thao tác hệ thống trọng sinh —— hơi nội hạch cùng hoành nội hạch chi tranh sau “Phục vụ võng cách” OS tân phạm thức 》
* mâu thuẫn:
““Hiện đại thao tác hệ thống ( như Linux, Windows ) đã trở thành số trăm triệu hành số hiệu, chịu tải hết thảy, lại khó có thể nghiệm chứng cùng đổi mới ‘ hoành nội hạch ’ cự thú ( A ). Mà theo đuổi an toàn đáng tin cậy ‘ hơi nội hạch ’ giá cấu, tắc nhân tính năng tổn thất, điều khiển sinh thái, kiêm dung tính chờ vấn đề khó có thể phổ cập ( B ).” “