我正在阅读一个幻灯片，上面写着“JavaScript 未输入类型”。这与我认为的真实情况相矛盾，因此我开始挖掘以尝试了解更多信息。
对 Is JavaScript an untyped language? 的每个回答说 JavaScript 不是无类型的，并提供了我熟悉和满意的各种形式的静态、动态、强和弱类型的示例......所以这不是要走的路。
于是我问了 JavaScript 的创造者 Brendan Eich，他说:
academic types use "untyped" to mean "no static types". they are smart enough to see that values have types (duh!). context matters.
专注于学术的计算机科学人员是否将“无类型”用作“动态类型”的同义词(这是否有效？)还是我缺少更深层次的东西？我同意 Brendan 的观点，即上下文很重要，但任何对解释的引用都会很好，因为我目前的“入门”书籍并没有在这个主题上发挥作用。
我想确定这一点，以便提高我的理解，因为即使是 Wikipedia 也没有提到这种替代用法(无论如何我都能找到)。如果我错了，我不想在将来使用该术语或质疑该术语的使用:-)
(我还看到一位顶级 Smalltalker 说 Smalltalk 也是“无类型”的，所以这不是一次性的，这让我开始了这个任务!:-))
最佳答案
是的，这是学术文献中的标准做法。要理解它，知道“类型”的概念是在 1930 年代在 lambda 演算的背景下发明的(事实上，甚至更早，在集合论的背景下)，这会有所帮助。从那时起，出现了一个完整的计算逻辑分支，即所谓的“类型论”。程序设计语言理论就是建立在这些基础之上的。在所有这些数学上下文中，“类型”具有特定的、公认的含义。
术语“动态类型”是在很久以后才发明的——与“类型”这个词的常见数学用法相比，它在术语上是矛盾的。
例如，这里是 Benjamin Pierce 在他的标准教科书中使用的“类型系统”的定义 Types and Programming Languages :
A type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute.
他还说:
The word “static” is sometimes added explicitly--we speak of a “statically typed programming language,” for example--to distinguish the sorts of compile-time analyses we are considering here from the dynamic or latent typing found in languages such as Scheme (Sussman and Steele, 1975; Kelsey, Clinger, and Rees, 1998; Dybvig, 1996), where run-time type tags are used to distinguish different kinds of structures in the heap. Terms like “dynamically typed” are arguably misnomers and should probably be replaced by “dynamically checked,” but the usage is standard.
大多数从事该领域工作的人似乎都同意这一观点。
请注意，这不是意味着“无类型”和“动态类型”是同义词。相反，后者是前者特定情况的(技术上具有误导性的)名称。
PS:FWIW，我碰巧既是类型系统的学术研究员，又是 JavaScript 的非学术实现者，所以我不得不忍受这种 split 。 :)
关于javascript - "untyped"在学术 CS 世界中是否也意味着 "dynamically typed"？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/9154388/
我正在尝试测试是否存在表单。我是Rails新手。我的new.html.erb_spec.rb文件的内容是:require'spec_helper'describe"messages/new.html.erb"doit"shouldrendertheform"dorender'/messages/new.html.erb'reponse.shouldhave_form_putting_to(@message)with_submit_buttonendendView本身，new.html.erb，有代码:当我运行rspec时，它失败了:1)messages/new.html.erbshou
我在从html页面生成PDF时遇到问题。我正在使用PDFkit。在安装它的过程中，我注意到我需要wkhtmltopdf。所以我也安装了它。我做了PDFkit的文档所说的一切......现在我在尝试加载PDF时遇到了这个错误。这里是错误:commandfailed:"/usr/local/bin/wkhtmltopdf""--margin-right""0.75in""--page-size""Letter""--margin-top""0.75in""--margin-bottom""0.75in""--encoding""UTF-8""--margin-left""0.75in""-
给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？ 最佳答案 在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru
为了将Cucumber用于命令行脚本，我按照提供的说明安装了arubagem。它在我的Gemfile中，我可以验证是否安装了正确的版本并且我已经包含了require'aruba/cucumber'在'features/env.rb'中为了确保它能正常工作，我写了以下场景:@announceScenario:Testingcucumber/arubaGivenablankslateThentheoutputfrom"ls-la"shouldcontain"drw"假设事情应该失败。它确实失败了，但失败的原因是错误的:@announceScenario:Testingcucumber/ar
这个问题在这里已经有了答案:Checktoseeifanarrayisalreadysorted?(8个答案)关闭9年前。我只是想知道是否有办法检查数组是否在增加？这是我的解决方案，但我正在寻找更漂亮的方法:n=-1@arr.flatten.each{|e|returnfalseife
我遵循MichaelHartl的“RubyonRails教程:学习Web开发”，并创建了检查用户名和电子邮件长度有效性的测试(名称最多50个字符，电子邮件最多255个字符)。test/helpers/application_helper_test.rb的内容是:require'test_helper'classApplicationHelperTest在运行bundleexecraketest时，所有测试都通过了，但我看到以下消息在最后被标记为错误:ERROR["test_full_title_helper",ApplicationHelperTest,1.820016791]test
我有一个包含多个键的散列和一个字符串，该字符串不包含散列中的任何键或包含一个键。h={"k1"=>"v1","k2"=>"v2","k3"=>"v3"}s="thisisanexamplestringthatmightoccurwithakeysomewhereinthestringk1(withspecialcharacterslike(^&*$#@!^&&*))"检查s是否包含h中的任何键的最佳方法是什么，如果包含，则返回它包含的键的值？例如，对于上面的h和s的例子，输出应该是v1。编辑:只有字符串是用户定义的。哈希将始终相同。 最佳答案
我正在尝试从Postgresql表(table1)中获取数据，该表由另一个相关表(property)的字段(table2)过滤。在纯SQL中，我会这样编写查询:SELECT*FROMtable1JOINtable2USING(table2_id)WHEREtable2.propertyLIKE'query%'这工作正常:scope:my_scope,->(query){includes(:table2).where("table2.property":query)}但我真正需要的是使用LIKE运算符进行过滤，而不是严格相等。然而，这是行不通的:scope:my_scope,->(que
我需要检查DateTime是否采用有效的ISO8601格式。喜欢:#iso8601?我检查了ruby是否有特定方法，但没有找到。目前我正在使用date.iso8601==date来检查这个。有什么好的方法吗？编辑解释我的环境，并改变问题的范围。因此，我的项目将使用jsapiFullCalendar，这就是我需要iso8601字符串格式的原因。我想知道更好或正确的方法是什么，以正确的格式将日期保存在数据库中，或者让ActiveRecord完成它们的工作并在我需要时间信息时对其进行操作。 最佳答案 我不太明白你的问题。我假设您想检查
我正在尝试编写一个将文件上传到AWS并公开该文件的Ruby脚本。我做了以下事情:s3=Aws::S3::Resource.new(credentials:Aws::Credentials.new(KEY,SECRET),region:'us-west-2')obj=s3.bucket('stg-db').object('key')obj.upload_file(filename)这似乎工作正常，除了该文件不是公开可用的，而且我无法获得它的公共(public)URL。但是当我登录到S3时，我可以正常查看我的文件。为了使其公开可用，我将最后一行更改为obj.upload_file(file
