关于动态与静态键入的不便之处

最新推荐文章于 2024-09-14 19:55:29 发布
最新推荐文章于 2024-09-14 19:55:29 发布
阅读量324 收藏
点赞数
文章标签： 数据库 java 编程语言 python php

有时会有这些关键时刻。 它们完全出乎意料地发生，例如当我阅读此推文时：

David是鲜为人知但一点也不有趣的Whiley编程语言的作者 ，该语言内置了许多静态类型检查。 Whiley语言最有趣的功能之一是流敏感类型化（有时也简称为流类型化），与联合类型一起使用时，它最有用。 入门指南中的示例 

function indexOf(string str, char c) => null|int:

function split(string str, char c) => [string]:
  var idx = indexOf(str,c)

  // idx has type null|int
  if idx is int:

    // idx now has type int
    string below = str[0..idx]
    string above = str[idx..]
    return [below,above]

  else:
    // idx now has type null
    return [str] // no occurrence

请记住， 其他语言（例如Ceylon）也知道流敏感类型 ，甚至Java在一定程度上也是如此，因为Java也具有联合类型！ 

try {
    ...
}
catch (SQLException | IOException e) {
    if (e instanceof SQLException)
        doSomething((SQLException) e);
    else
        doSomethingElse((IOException) e);
}

当然，Java的流敏感类型是显式和冗长的。 我们可以期望Java编译器可以推断所有类型。 以下内容也应进行类型检查和编译： 

try {
    ...
}
catch (SQLException | IOException e) {
    if (e instanceof SQLException)
        // e is guaranteed to be of type SQLException
        doSomething(e);
    else
        // e is guaranteed to be of type IOException
        doSomethingElse(e);
}

流类型或流敏感类型意味着编译器可以从周围程序的控制流中推断唯一可能的类型。 在诸如Ceylon之类的现代语言中，它是一个相对较新的概念，它使静态键入变得异常强大，尤其是如果该语言还支持通过var或val关键字进行复杂的类型推断！

使用Flow进行JavaScript静态输入

让我们回到David的Tweet，看看这篇文章对Flow的评价：

http://sitr.us/2014/11/21/flow-is-the-javascript-type-checker-i-have-been-waiting-for.html

使用带有null参数的length的存在会通知Flow，该函数中应该进行null检查。 此版本会进行类型检查： 

function length(x) {
  if (x) {
    return x.length;
  } else {
    return 0;
  }
}

var total = length('Hello') + length(null);

Flow能够推断if主体内x不能为null 。

真是狡猾。 在Microsoft的TypeScript中可以观察到类似的即将发布的功能 。 但是Flow与TypeScript不同（或声称有所不同）。 Facebook Flow的精髓可以从Flow的官方公告中看到：

Flow的类型检查是可选的-您无需一次对所有代码进行类型检查。 但是，在Flow设计的基础上，假设大多数JavaScript代码是隐式静态类型化的。 即使类型可能不会出现在代码中的任何地方，但开发人员还是将它们视为推理代码正确性的一种方法。 Flow会尽可能自动地推断出这些类型，这意味着它可以发现类型错误，而根本不需要对代码进行任何更改。 另一方面，某些JavaScript代码（尤其是框架）大量使用了反射，而这些反射通常很难静态地进行推理。 对于这种固有的动态代码，类型检查将不太精确，因此Flow提供了一种简单的方法来明确信任此类代码并继续前进。 这种设计已通过我们在Facebook上庞大JavaScript代码库得到了验证：我们的大多数代码都属于隐式静态类型类别，在此类别中，开发人员可以检查其代码中是否存在类型错误，而不必用类型明确注释该代码。

让它沉入

大多数JavaScript代码都是隐式静态类型的

再次

JavaScript代码是隐式静态类型的

是!

程序员喜欢打字系统。 程序员喜欢正式地对自己的数据类型进行推理，并将其置于狭窄的约束中以确保程序正确。 这就是静态类型化的全部本质：减少由于设计良好的数据结构而引起的错误。

人们还喜欢将其数据结构以设计良好的形式放在数据库中，这就是为什么SQL如此流行并且“无模式”数据库将不会获得更多市场份额的原因。 因为事实上，这是同一回事。 您仍然可以在“无模式”数据库中拥有一个架构，只是不进行类型检查，因此就剩下了保证正确性的全部负担。

jooq在Java中写SQL的最佳方法

附带说明：显然， 一些NoSQL供应商一直在写这些荒唐的博客文章来拼命定位他们的产品，声称您确实根本不需要任何架构，但是很容易看出这种营销手段。 对无模式的真正需求与对动态类型的真正需求一样罕见。 换句话说，您最后一次编写Java程序并通过反射调用每个方法的时间是什么时候？ 究竟…

但是有一件事，过去静态类型语言没有，而动态类型语言却具有：避免冗长的手段。 因为尽管程序员喜欢类型系统和类型检查，但是程序员却不喜欢键入（就像在键盘上键入一样）。

非静态输入

考虑一下Java的发展：

Java 4 
List list = new ArrayList();
list.add("abc");
list.add("xyz");

// Eek. Why do I even need this Iterator?
Iterator iterator = list.iterator();
while (iterator.hasNext()) {
    // Gee, I *know* I only have strings. Why cast?
    String value = (String) iterator.next();

    // [...]
}
Java 5 
// Agh, I have to declare the generic type twice!
List<String> list = new ArrayList<String>();
list.add("abc");
list.add("xyz");

// Much better, but I have to write String again?
for (String value : list) {
    // [...]
}
Java 7 
// Better, but I still need to write down two
// times the "same" List type
List<String> list = new ArrayList<>();
list.add("abc");
list.add("xyz");

for (String value : list) {
    // [...]
}
Java 8 
// We're now getting there, slowly
Stream.of("abc", "xyz").forEach(value -> {
    // [...]
});

在旁注中，是的，您可能一直都使用Arrays.asList() 。

Java 8仍然远远不够完美，但是事情越来越好。 我最终不必再在lambda参数列表中声明类型的事实，因为它可以由编译器推断出来，这对于提高生产率和采用率确实很重要。

考虑一下Java 8之前的lambda等效项（如果之前有Streams）： 

// Yes, it's a Consumer, fine. And yes it takes Strings
Stream.of("abc", "xyz").forEach(new Consumer<String>(){
    // And yes, the method is called accept (who cares)
    // And yes, it takes Strings (I already say so!?)
    @Override
    public void accept(String value) {
        // [...]
    }
});

现在，如果我们将Java 8版本与JavaScript版本进行比较： 

["abc", "xyz"].forEach(function(value) {
    // [...]
});

我们几乎没有达到功能性，动态类型化的语言JavaScript那样的冗长程度（ 我真的不介意Java中那些缺少的列表和映射文字 ），唯一的不同是我们（和编译器） 知道 value是类型String 。 而且我们知道 forEach()方法存在。 而且我们知道 forEach()接受一个带有一个参数的函数。

归根结底，事情似乎可以归结为：

动态类型化语言（如JavaScript和PHP）之所以流行，主要是因为它们“刚刚运行”。 您不必学习经典的静态类型化语言所需的所有“繁重”语法（只需考虑一下Ada和PL / SQL！）。 您可以开始编写程序。 程序员“ 知道 ”变量将包含字符串，因此无需写下来。 没错，无需写下所有内容！

考虑一下Scala（或C＃，Ceylon，几乎是任何现代语言）： 

val value = "abc"

除了String以外，还能是什么？ 

val list = List("abc", "xyz")

除了List[String]以外，还可以是什么？

请注意，如果需要，您仍然可以显式键入变量-总是存在以下情况： 

val list : List[String] = List[String]("abc", "xyz")

但是大多数语法是“选择加入”的，并且可以由编译器推断出来。

动态类型语言已死

所有这些的结论是，一旦从静态类型的语言中删除了语法上的冗长和摩擦，使用动态类型的语言绝对没有任何优势。 如果使用正确的工具，则编译器的速度非常快，部署也会很快，并且静态类型检查的好处是巨大的。 （ 不相信吗？请阅读本文 ）

例如，SQL还是一种静态类型的语言，其中很多摩擦仍然是由语法造成的。 但是，许多人认为它是一种动态类型的语言，因为他们通过JDBC（即通过无类型的串联SQL语句字符串）访问SQL。 如果您使用jOOQ用Java编写PL / SQL，Transact-SQL或嵌入式SQL ，您将不会想到这种SQL，您会立即意识到您的PL / SQL，Transact-SQL或Java编译器将对所有SQL语句进行类型检查。

jooq在Java中写SQL的最佳方法

因此，让我们放弃我们创建的混乱局面，因为我们懒得键入所有类型（双关）。 打字愉快！

而且，如果您正在阅读Java语言专家组成员的内容，请务必将var和val以及对流敏感的类型添加到Java语言中。 为此，我们将永远爱你！

翻译自: https://www.javacodegeeks.com/2014/12/the-inconvenient-truth-about-dynamic-vs-static-typing.html

danpu0978
关注
基于STM32+Qt上位机设计的智慧停车场管理系统(207)
08-14 345
本项目设计了一套基于STM32+Qt上位机的智慧停车场管理系统。该系统融合了先进的嵌入式技术、图像识别技术、数据库技术和移动互联网技术，通过STM32硬件端实时采集车库现场信息，包括车牌识别、车位占用状态监测等，并将数据上传至Qt上位机进行处理与展示。利用MySQL数据库存储车辆出入库记录及车位使用情况，确保数据的安全性和可追溯性；通过Android手机APP为用户提供查询、支付等功能，实现远程交互与便捷服务。
Django安全性、缓存框架、性能与优化
JanLEE
07-07 505
跨站点脚本（XSS）保护 XSS攻击使用户可以将客户端脚本注入其他用户的浏览器中。通常，这是通过将恶意脚本存储在数据库中进行检索并将其显示给其他用户，或者通过使用户单击链接而导致攻击者的JavaScript由用户的浏览器执行来实现的。但是，只要未在包含在页面中之前对数据进行足够的清理，XSS攻击就可能源自任何不受信任的数据源，例如cookie或Web服务。 使用Django模板可以保护您免受大多数XSS攻击。但是，重要的是要了解其提供的保护及其限制。 Django模板会转义特定字符，这对于HTML来.
我终于了解了静态打字与动态打字，您也会！
编程故事的地方
12-08 256
当我决定要了解某事时，我会变得迷恋，直到我最终明白。 我最近的尝试？ 静态与动态键入 。 Stack Overflow的答案令人困惑，冗长甚至矛盾。 事实证明，这些术语通常会被误解，因此我的搜索将非常困难。 我继续阅读我能找到的任何东西，但没有任何东西满足我对平易近人和简明事物的渴望。 我将从一些基本术语入手，然后轻轻地带给您启示。 正确：“老兄，我也应该阅读有关类型系统的文章……” 编...
静态导入和动态导入
Guns_Rose_的博客
04-02 1667
参考：https://blog.csdn.net/fn_2015/article/details/70311495          https://www.cnblogs.com/wxgblogs/p/5602689.html静态导入：&lt;%@include file="XXX.xxx"%&gt;指令元素，将导入内容和jsp页面一起编译，最终生成一个java.class文件，所以应注意变量冲...
c++输入数据
Bobowen的博客
10-18 3105
c++输入数据分为静态输入和动态输入 静态输入需要指定好声明变量的大小，用cin和cout来进行输入输出： #include<iostream> using namespace std; int main() { int a[5]; for(int i=0;i<5;i++) { cin>>a[i]; } for(int i=0;i<5;i++) { cout<<a[i];
Pytorch复习笔记--导出Onnx模型为动态输入和静态输入
牵一只蜗牛去散步
01-11 8468
当使用 Pytorch 将网络导出为 Onnx 模型格式时，可以导出为动态输入和静态输入两种方式。动态输入即模型输入数据的部分维度是动态的，可以由用户在使用模型时自主设定；静态输入即模型输入数据的维度是静态的，不能够改变，当用户使用模型时只能输入指定维度的数据进行推理。在以下代码中，定义了一个网络，并使用动态导出和静态导出两种方式，将网络导出为 Onnx 模型格式。模型，其输出维度也是动态的，并且为对应关系，则表明导出的。显然，动态输入的通用性比静态输入更强。1--动态输入和静态输入。，即默认为静态输入。
ROS保姆级0基础入门教程⭐ |第一章 ROS的概述与环境搭建（4万字教程，建议收藏）
振华OPPO的博客世界
07-29 1万+
ROS全称Robot Operating System(机器人操作系统) ROS是适用于机器人的开源元操作系统； ROS集成了大量的工具，库，协议，提供类似OS所提供的功能，简化对机器人的控制； 还提供了用于在多台计算机上获取，构建，编写和运行代码的工具和库，ROS在某些方面类似于“机器人框架”； ROS设计者将ROS表述为“ROS = Plumbing + Tools + Capabilities + Ecosystem”，即ROS是通讯机制、工具软件包、机器人高层技能以及机器人生态系统的集合体。
服务器和应用系统迁移方案
夜澜偶作庄周梦 酒后聊为楚客狂
10-26 2万+
服务器和应用系统迁移方案一、迁移方案总体思路新旧系统的迁移是一个整体系统工程。迁移必须保证用户系统建设的相关要求，在迁移过程中，我们需要重点考虑几个问题：1、数据迁移如何保障“业务中断停机时间”。业务中断对用用户无论是生产环境还是测试环境均存在较大的恢复风险，这样的风险特别是对于时间敏感型数据还是对于数据完整性业务都是不可以接受的。我们基于这样的要求，考虑到如何将停机时间最小，能否实现0停机的建设
病毒加壳技术与脱壳杀毒方法解析【转载】
Missing
07-11 1730
点击阅读原文壳是什么？脱壳又是什么？这是很多经常感到迷惑和经常提出的问题，其实这个问题一点也不幼稚。当你想听说脱壳这个名词并试着去了解的时候，说明你已经在各个安全站点很有了一段日子了。下面，我们进入“壳”的世界吧。　　一、金蝉脱壳的故事 　　我先想讲个故事吧。那就是金蝉脱壳。金蝉脱壳属于三十六计中的混战计。金蝉脱壳的本意是：寒蝉在蜕变时，本体脱离皮壳而走，只留下蝉蜕还挂在枝头。此计用于军事，是指通...
静态注入的三种方式
u010638913的博客
09-29 6339
在一些工具类中可能会依赖 service 层的对象,一般情况下工具类都是使用静态方法,对应的成员变量也需要声明为静态的,此时如果直接使用 @Autowired 进行依赖注入,在方法调用的时候会报 NullpointerException. @Autowired private static AdvancedDatastore dsForRW; 可以试一下，dsForRW在这种状态下不能够被依赖注入，会抛出运行时异常java.lang.NullPointerException，为什么呢?静态变量/类变量不是
静态修改PE输入表
哒君的博客
07-21 772
通常情况下，程序加载DLL的时机主要有以下三个： 在进程创建阶段加载输入表中的DLL，即俗称的静态输入 通过调用`LoadLibrary (Ex) 主动加载，称为动态加载 由于系统机制的要求，必须加载系统预设的一些基础服务模块 此文仅记录修改静态输入表注入 找到输入表 https://blog.csdn.net/billvsme/article/details/39735823 输入表结构...
一维数组二维数组的动态,静态赋值写法
weixin_42232623的博客
12-13 1944
一维数组的动态和静态写法 /** * 一维数组的几种写法 */ // 1 动态输入 int[] arr = new int[5]; arr[0] = 75 ; arr[1] = 65 ; arr[2] = 71 ; arr[3] = 55 ; arr[4] = 95 ; // 2 静态输入 int[] str = new int[] {0,5,9,6,8...
go技术文章梳理（2018）
热门推荐
韩亚军的博客
06-22 8万+
gocn_news_2018-12-31 Go 入门简介：http://t.cn/EbjzeSt Go GraphQL 新手指南： https://tutorialedge.net/golang/go-graphql-beginners-tutorial/ 你需要 Go web 框架吗：https://medium.com/@tusharsoni/do-you-need-a-...
静态键入不适用于类型检查
danpu0978的博客
04-22 89
布鲁斯·埃克尔（Bruce Eckel）在他的文章《强类型测试与强测试》中描述了这种想法，即静态（或强）类型的语言不能给您太多，因为无论如何您都应使用测试来验证程序，并且这些测试也将检查类型。 –无需编译器执行此操作（尤其是如果这样做会使您的语言生产力降低）。 虽然这最初看起来很不错，但我有一些反对意见。 首先，他的术语不是公认的术语。 这个stackoverflow答案概述了静态类...
VS中静态库的创建及使用
F_123H的博客
06-20 5524
一、什么是静态库 以“.lib”为后缀名的文件是静态库。静态库可以实现代码复用，模块封装等功能。 二、静态库的创建步骤 此文以vs2019为开发工具创建静态库。 1、打开VS2019，“创建新项目->静态库->下一步->创建”。如下图所示： 项目创建完成后如下图所示，编译器会自动添加几个源文件和头文件。 2、创建与源文件同名的头文件。（注意：如果编译器创建的是一个空的静态库项目，则需要同时添加源文件"StaticLibTest.cpp"和头文件"StaticLibTest.h"）。
静态导入
lock_j的博客
11-02 227
现状要使用静态成员（方法和变量）我们必须给出提供这个静态成员的类。优点使用静态导入可以使被导入类的静态变量和静态方法在当前类直接可见，使用这些静态成员无需再给出他们的类名。比如先在一个包中定义一个这样的类： package com.example.learnjava;public class Common{ public static final int AGE = 10;
4.网络编程
最新发布
weixin_45476535的博客
09-14 408
程序注册端口：1024-49151。单个协议下，端口号不能冲突。公有端口0-1023。
Oracle EBS中AR模块的财务流程概览
qq_36620997的博客
09-14 717
AR模块的财务流程概览
layui框架实现动态与静态分页教程
"layui实现动态和静态分页" layui是一个轻量级的前端框架，它提供了丰富的组件和便捷的API，使得开发管理后台变得更加高效。在本文中，我们将探讨如何使用layui来实现动态和静态数据表的分页功能，以及相关的表格...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值