請問關於強型態的定義的問題

看板CSSE (電腦科學及軟體工程)作者 (阿湯)時間7年前 (2017/01/19 21:37), 編輯推噓2(209)
留言11則, 4人參與, 最新討論串1/1
請問我唸書時念到有關於強型態語言的定義,擷取部分內容如下: 強勢型態程式語言符合下列要求: 1. 每一個變數都靜態地繫結到單一資料型態 2. 變數資料型繫結後,在程式執行過程不能修改其資料型態 3. 當允許一個變數儲存不同資料型態之值時,其值的型態可以靜態地或動態地檢查出來 4..... 5.... 請問這1、2點和第3點不是互相矛盾嗎?前2點說一個變數只能是單一資料型態, 且型態不能修改,第3點又說允許一個變數存不同資料型態 請問有誰可以告訴我呢? 關於第3點可否舉例讓我明白呢? 感激不盡… -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.232.225.26 ※ 文章網址: https://www.ptt.cc/bbs/CSSE/M.1484833067.A.B61.html

01/20 00:15, , 1F
float 存 int?
01/20 00:15, 1F

01/20 00:57, , 2F
我是原PO
01/20 00:57, 2F

01/20 00:57, , 3F
他下面有些ADA的例子(ADA是強型態語言)
01/20 00:57, 3F

01/20 00:57, , 4F
X:Integer:=4; //將X變數設為整數4
01/20 00:57, 4F

01/20 00:58, , 5F
Y:Float; //將Y設為浮點數
01/20 00:58, 5F

01/20 00:58, , 6F
Y:=X; //錯誤!整數不能直接指派給浮點數
01/20 00:58, 6F

01/20 00:59, , 7F
=>這個地方我覺得奇怪的是以上這行寫指派不同型態會錯誤
01/20 00:59, 7F

01/20 00:59, , 8F
那第3點又說允許一個變數存不同資料型態???
01/20 00:59, 8F

01/20 01:45, , 9F
那它第三點給了什麼範例
01/20 01:45, 9F

02/25 00:56, , 10F
這定義是有問題的,建議去PTL板問,那邊很多專門研究
02/25 00:56, 10F

02/25 00:56, , 11F
程式語言與數學的人
02/25 00:56, 11F
文章代碼(AID): #1OWC4hjX (CSSE)
文章代碼(AID): #1OWC4hjX (CSSE)