bash – “无类型”是否与“动态类型”相同？

Does “untyped” also mean “dynamically typed” in the academic CS world?

由至少两个非常熟悉此事的人.对于我们大多数尚未研究类型系统等的人而言,“无类型”意味着动态打字,但这在学术界是个用词不当,见上文. untyped实际上意味着没有类型,即思考程序集,键入Bash,它在运行时计算出它的类型.让我们从Advanced Bash Scripting Guide中获取以下句子,强调我的…

http://tldp.org/LDP/abs/html/untyped.html

Unlike many other programming languages,Bash does not segregate its
variables by “type.” Essentially,Bash permits arithmetic operations
and comparisons on variables. The determining factor is whether the
value of a variable contains only digits.

Bash发现某些东西在运行时是一个数字,即它是动态类型的.
在64位机器上的汇编我可以存储任何8个字节的寄存器和减少它,它不检查,看看是否事情字符等,没有关于它是关于递减它只是递减64位的东西上下文,它不会检查或计算出它正在递减的东西的类型.

Perl不是一种无类型语言,但下面的代码可能会使它看起来像将整数视为整数

#!/usr/bin/perl
use strict;
use warnings;
my $foo = "1";
my $bar = $foo + 1;
print("$barn");

$foo被分配了一个字符串,但是增加了？这是否意味着Perl是无类型的,因为基于上下文它可以做你想做的事情？我不这么认为.

这与Python不同,如果您尝试相同的事情,Python实际上会给您以下错误…

Traceback (most recent call last):
  File "py.py",line 2,in <module>
  bar = foo + 1

如果Python是动态类型的,并且Perl是动态类型的,为什么我们会看到不同的行为.是因为他们的类型系统不同或者他们的类型转换语义不同.在汇编中我们有类型转换指令,将字符串更改为整数,反之亦然？

Bash有不同的类型转换规则

#!/bin/bash
set -e
MYVAR=WTF
let "MYVAR+=1"
echo "MYVAR == $MYVAR";

这将为MYVAR分配1而不是递增它,即如果你增加一个字符串bash将字符串设置为整数零,然后执行增量.它正在执行类型转换,这意味着它是键入的.

对于仍然认为Bash是无类型的人来说,试试这个….

#!/bin/bash
declare -i var1=1
var1=2367.1

你应该得到这样的东西……

foo.sh: line 3: 2367.1: syntax error: invalid arithmetic operator (error token is ".1")

但以下显示没有这样的错误

#!/bin/bash
var1=2367.1

以下输出

#!/bin/bash
var1=2367.1
echo "$var1"
let "var1+=1"
echo "$var1"

是没有声明类型的相同警告……

2367.1
foo.sh: line 4: let: 2367.1: syntax error: invalid arithmetic operator (error token is ".1")
2367.1

这是一个更好的例子

#!/bin/bash
arg1=1234
arg2=abc

if [ $arg1 -eq $arg2 ]; then
  echo "wtf";
fi

为什么我得到这个……

foo.sh: line 5: [: abc: integer expression expected

Bash问我一个整数表达式.