Nhảy chuyển tới nội dung

Ada

本页使用了标题或全文手工转换
Duy cơ bách khoa, tự do bách khoa toàn thư
Ada
Biên trình phạm hìnhNhiều phạm thức
Thiết kế giả
Phát hành thời gian1980 năm
Hình thái hệ thốngTrạng thái tĩnh,Cường loại hình,An toàn,Ghi rõ(Tiếng Anh:Nominal type system)
Thao tác hệ thốngVượt ngôi cao
Trang webhttp:// adaic.org/
Chủ yếu thật làm sản phẩm
AdaCoreGNAT,

Green Hills Software(Tiếng Anh:Green Hills Software)Optimising Ada 95 compiler,

DDC-I(Tiếng Anh:DDC-I)Score
Diễn sinh phó ngôn ngữ
SPARK,Ravenscar profile
Dẫn dắt ngôn ngữ
ALGOL 68,Pascal,C++( Ada 95 ),Smalltalk( Ada 95 ),Modula-2(Ada 95),Java( Ada 2005 ),Eiffel( Ada 2012 )
Ảnh hưởng ngôn ngữ
C++,Eiffel,PL/SQL,VHDL,Ruby,Java
AdaLinh vật

Ada,Là một loạiTrình tự thiết kế ngôn ngữ.Nó nguyên vớiNước MỹQuốc phòng bộ ở hai mươi thế kỷ thập niên 70 kế hoạch, chỉ ở chỉnh hợp quân Mỹ hệ thống trình tự thiết kế ngôn ngữ, mà lúc ấy quân Mỹ hệ thống vận hành thượng trăm loại bất đồng trình tự thiết kế ngôn ngữ, cũng đề caoTrừ saiNăng lực cùng hiệu suất, từPascalCùng mặt khác ngôn ngữ mở rộng mà thành, tiếp cậnTự nhiên ngôn ngữCùng toán học biểu đạt thức, dùng “Ada” mệnh danh lấy kỷ niệmAi đạt · Lạc phu Luis(Ada Lovelace).

Quan trọng đặc thù

[Biên tập]

Ada ngôn ngữ sớm nhất nhằm vàoKhảm nhập thứcCùngThật khi tính toánThiết kế, đến nay vẫn như cũ ở này đó lĩnh vực rộng khắp sử dụng. Ada95 bản, là từ INTERMETRICS công tyTháp khắc · tháp phu đặcVới 1992 đến 1995 trong năm thiết kế, chỉ ở cải tiến đối với hệ thống, con số, tài vụ phần mềm biên trình duy trì.

Ada ngôn ngữ quan trọng đặc thù chính là này khảm nhập thức phong cách,Mô khối hóa biên trình,Biên dịch kiểm tra,Song song xử lý,Dị thường xử lýCậpPhiếm hình biên trình.Ada ở 1995 năm gia nhập đốiMặt hướng đối tượng thiết kếDuy trì, bao gồm động thái phân phối chờ.

Ada biên dịch kiểm tra chủ yếu là nhằm vào không có phân phối nội tồn đọc viết bảo hộ,Kho tạm tràn raSai lầm, đơn cái sai lầm nhàn rỗi, đội ngũ đọc viết sai lầm cùng với mặt khác có thể tránh cho vấn đề nhỏ. Này đó kiểm tra có thể ở vì gia tăng hiệu suất dưới tình huống bị hủy bỏ, nhưng là trong biên chế dịch thời điểm bọn họ lại có thể mang đến rất cao hiệu suất. Đồng dạng nó cũng bao gồm đối trình tự nghiêm chỉnh thiết trí. Bởi vì này đó nguyên nhân, nó bị rộng khắp ứng dụng với một ít trọng yếu phi thường hệ thống trung, tỷ nhưHàng không điện tử học,Vũ khíCập hàng thiên phi hành khí thao tác hệ thống trung.

Đồng dạng nó duy trì rất nhiều biên dịch thời gian kiểm tra, này đó kiểm tra bị dùng để tránh cho một ít sai lầm phát sinh. Loại này sai lầm thường thường là ở mặt khác ngôn ngữ trung vận hành phía trước khó có thể bị nhận thấy được, yêu cầu ởNguyên mãTrung gia nhập đặc thù kiểm tra thiết trí mới có thể bị phát hiện.

Ada động thái nội tồn quản lý phi thường an toàn cùng cao quy cách, nó cùng loại vớiJAVANgôn ngữ lại bất đồng vớiC ngôn ngữ.Loại này đặc thù công năng cũng không cần đặc thù vận hành thiết trí. Cứ việc loại này ngôn ngữ ngữ ý kết cấu cho phép đối với không thể đọc viết mục tiêu tiến hành tự động mảnh nhỏ sưu tập, nhưng là đại đa sốVận hành khiĐều không duy trì nên đặc tính. Ada lại duy trì hữu hạn hình thức căn cứ vào khu vực tồn trữ quản lý. Không có hiệu quả đọc viết thường ở vận hành thời điểm bị kiểm tra ra tới ( trừ phi loại này kiểm tra đo lường bị nhân vi đóng cửa ) hơn nữa có đôi khi trong biên chế dịch thời điểm đã bị phát hiện.

Ada ngôn ngữ định nghĩa cùng quốc tế chuẩn hoá tổ chức ( ISO ) tiêu chuẩn có rất lớn bất đồng, bởi vì hắn là một cái tự do nội dung hình thức. Loại này cách làm hậu quả là bị quảng đại lập trình viên chỉ có thể từ nó chuẩn hoá hồ sơ ( phổ biến cho rằng là Ada tham khảo sử dụng sổ tay ( ARM ) ) tìm kiếm chi tiết tính kỹ thuật vấn đề, nhưng là phổ biến tình huống là một quyển tiêu chuẩn sách giáo khoa lại có thể ở mặt khác bất đồng ngôn ngữ thượng sử dụng.

Ada ngôn ngữ từ nghiêm khắc Bass đặc phạm thức định nghĩa, không thích hợp người bình thường đọc. Nó là đệ nhất loại đồng thời có được IEC/ISO/ nước Mỹ quân dụng tiêu chuẩn chứng thực ngôn ngữ, này biên dịch khí trải qua nghiêm khắc thẩm tra, lấy bảo đảm đồng dạng số hiệu ở nhậm một biên dịch khí thượng sinh ra đồng dạng nhưng chấp hành hiệu quả, hơn nữa bảo đảm song hành tính ở số hiệu cấp có thể ở vô thao tác hệ thống như trên dạng vận hành.

Lịch sử

[Biên tập]

Ở 1970 niên đại,Nước Mỹ quốc phòng bộ( DoD ) tương ứng khảm nhập thức máy tính hệ thống hạng mục trung sử dụng biên trình ngôn ngữ số lượng từng ngày tăng nhiều, trong đó rất nhiều ngôn ngữ thập phần cũ kỹ hoặc là ỷ lại với phần cứng, hơn nữa không có một cái duy trì an toàn mô khối hóa biên trình, đối này DoD cảm thấy thập phần lo lắng. Căn cứ vào nguyên nhân này, ở 1975 năm thành lập cao cấp ngôn ngữ công tác tổ ( HOLWG ), nó sứ mệnh là chính là tìm kiếm hoặc là sáng tạo nào đó thích hợp quốc phòng bộ yêu cầu biên trình ngôn ngữ, để giảm bớt hiện có biên trình ngôn ngữ số lượng. Nên tiểu tổ cuối cùng công tác thành quả chính là Ada ngôn ngữ. Bởi vậy, cùng loại hạng mục trung sử dụng cao cấp biên trình ngôn ngữ số lượng đại đại giảm bớt, 1983 năm 450 loại biên trình ngôn ngữ, đến 1996 năm chỉ còn lại có 37 loại.

Tiếng AnhDuy cơ kho sáchTrung tương quan nguyên thủy văn hiến:
Steelman language requirements

Công tác tổ khai phá ra ngôn ngữ yêu cầu hồ sơ — hồ sơ. Rất nhiều hiện có ngôn ngữ đều bị cẩn thận mà kiểm tra, nhưng là 1977 năm cái này đoàn đội công bố không có bất luận cái gì hiện có ngôn ngữ phù hợp bọn họ điều kiện.

Ada ngôn ngữ thí dụ mẫu trình tự

[Biên tập]

Hello, World! Trình tự: 

withAda.Text_IO;useAda.Text_IO;

procedureHellois
begin
Put_Line("Hello, world!");
endHello;

ỞAda.Text_IO.Put_LineChỗ có một ít lối tắt, không cần rất nhiều văn tự đưa vào, nhưng là đối với nơi này lý giải tới giảng cũng không có bao lớn ý nghĩa. Chi tiết tính vấn đề thỉnh tham khảoAda Programming/Basic.

Phán định một chữ phù xuyến hay không vìHồi vănHàm số ( đệ quy ):

-- phán định một chữ phù xuyến hay không là Hồi văn
functionis_palindrome(str:inString)returnBooleanis
len:Natural:=str'Length;
begin
iflen<=1then
returnTrue;
elsifElement(To_Unbounded_String(str),1)=Element(To_Unbounded_String(str),len)then
declare
new_str:String(1..len-2);
begin
new_str:=Slice(Source=>To_Unbounded_String(str),
Low=>2,
High=>len-1);
returnis_palindrome(str=>new_str);
end;
else
returnFalse;
endif;
endis_palindrome;

Định nghĩa một cái hàm số dùng để phán định một chữ phù xuyến hay không vìHồi văn:

-- phán định một chữ phù xuyến hay không là Hồi văn
functionis_palindrome(str:inString)returnBooleanis
len:Natural:=str'Length;
begin
foriin1..len/2loop
ifElement(To_Unbounded_String(str),i)/=Element(To_Unbounded_String(str),len-i+1)
then
returnFalse;
endif;
endloop;
returnTrue;
endis_palindrome;

Tham kiến

[Biên tập]

Sách tham khảo mục

[Biên tập]

Quốc tế tiêu chuẩn

[Biên tập]

Thư mục

[Biên tập]
Duy cơ sách giáo khoaTrung tương quan điện tử giáo trình:Ada Programming

Ada bách khoa

[Biên tập]

Tổng thể tin tức

[Biên tập]

Phụ trợ sách tham khảo

[Biên tập]

Công trình

[Biên tập]

Tham khảo văn hiến

[Biên tập]
  1. ^Technical Corrigendum for Ada 2012 published by ISO.Ada Resource Association. 2016-01-29[2016-02-23].( nguyên thủy nội dungLưu trữVới 2016-03-04 ).
  2. ^Consolidated Ada 2012 Language Reference Manual.Ada Conformity Assessment Authority.[2016-02-23].( nguyên thủy nội dungLưu trữVới 2016-03-03 ).|url-status=Cùng|dead-url=Chỉ cần thứ nhất (Trợ giúp)
  3. ^Technical Corrigendum 1 for Ada 2012.Ada Conformity Assessment Authority.[2016-02-23].( nguyên thủy nội dungLưu trữVới 2016-03-02 ).|url-status=Cùng|dead-url=Chỉ cần thứ nhất (Trợ giúp)

Phần ngoài liên tiếp

[Biên tập]

Phạm hình
Quá trình thức
Mặt hướng đối tượng
Nhiều phạm hình
Hàm số thức
Logic thức
Kịch bản gốc ngôn ngữ
Động thái ngôn ngữ
Shell ngôn ngữ
ECMA-262
Riêng ngôi cao
.NET
JVM
Riêng lĩnh vực
Khoa học tính toán
GPU tính toán
Số liệu tuần tra
Khả thị hóa
Truyền thông thiết kế
Cái khác
Quy phạm khống chế cơ sở dữ liệu:Các nơi編輯維基數據鏈接
Kiểm tra tự “https://zh.wikipedia.org/w/index.php?title=Ada&oldid=80471828”