码迷,mamicode.com
首页 >  
搜索关键字:类型系统    ( 414个结果
包装类
概述 Java提供了两个类型系统,基本类型与引用类型,使用基本类型在于效率,然而很多情况,会创建对象使用,因为对象可以做更多的功能,如果想要我们的基本类型像对象一样操作,就可以使用基本类型对应的包装类。如下 装箱与拆箱 基本类型与对应的包装类对象之间,来回转换的过程称为”装箱“与”拆箱“:由于我们经 ...
分类:其他好文   时间:2019-04-27 09:35:57    阅读次数:149
编程语言的类型系统为何如此重要?
程序是类型的证明。 计算机程序是建立在计算机硬件和一系列规则、协议、规范、算法基础之上的; 程序是建立在逻辑和严格证明基础之上的; 逻辑学的基本要素是:概念、判断、推理; 类型系统相当于逻辑和科学中的概念,在此基础上才能进行运算和推理; 编程语言不过是建立了类型系统和在类型系统基础上的一些列运算法则 ...
分类:编程语言   时间:2019-04-20 13:07:50    阅读次数:201
Go 匿名函数与闭包的使用
匿名函数:没有函数名的函数基本概念闭包是可以包含自由(未绑定到特定对象)变量的代码块,这些变量不在这个代码块内或者任何全局上下文中定义,而是在定义代码块的环境中定义。要执行的代码块(由于自由变量包含在代码块中,所以这些自由变量以及它们引用的对象没有被释放)为自由变量提供绑定的计算环境(作用域)。闭包的价值闭包的价值在于可以作为函数对象或者匿名函数,对于类型系统而言,这意味着不仅要表示数据还要表示代
分类:其他好文   时间:2019-04-09 18:31:55    阅读次数:148
Nginx详解二十六:Nginx架构篇之性能优化
一、性能优化考虑点 1、当前系统结构瓶颈 通过压力测试观察指标、日志检测、性能分析 2、了解业务模式 接口业务类型、系统层次化结构 3、性能与安全 二、ab接口压力测试工具 1、安装:yum -y install httpd-tools 2、使用: ad -n 2000 -c 2 http://12 ...
分类:其他好文   时间:2019-03-17 15:43:28    阅读次数:149
【深入理解C#】第2章 C#1所搭建的核心基础
1)委托类型 基本理解: 类型安全的函数指针。 可以间接完成某种操作,虽增加了复杂性,但也增加了灵活性。 可以看作方法的占位符。 为什么要用委托: 可以传递函数意味着可以将业务逻辑作为参数传递。 间接调用 想要执行某些操作,但无需知道操作细节(Thread类) 2)C 1的类型系统是静态的,显式的和 ...
分类:Windows程序   时间:2019-03-02 00:45:31    阅读次数:174
需要润色的 博客
我还有一大堆可以写下来的东西,也必须要写下来。 即使不是最终的解决方案,把自己的思考过的问题、踩过的坑、见识过的内容 写下来 也是可以的。 暂且列几个: 1. Java 对比 C#, 可以提到的材料: 老赵的对比、 知乎上的问题 2. Haskell的水 3. 类型系统 4. lambda演算 5. ...
分类:其他好文   时间:2019-01-27 11:32:13    阅读次数:225
GraphQL-前端开发的利剑与桥梁
GraphQL 前端开发的利剑与桥梁 基本概念 GraphQL GraphQL 是一种用于 API 的查询语言,由Facebook开发和开源,是使用基于类型系统来执行查询的服务端运行时(类型系统由你的数据定义)。GraphQL并没有和任何特定数据库或者存储引擎绑定,而是依靠你现有的代码和数据支撑。 ...
分类:其他好文   时间:2019-01-26 20:01:23    阅读次数:190
C#和.Net的关系
1、.net(dot net) .net是一个平台,抽象的平台概念。 实现形式是库:①定义了基本的类型(通用类型系统CTS,common type system)。 ②包含.net公共语言运行库(CLK,common language runtime,负责管理用.net库开发的所有应用程序的运行)。 ...
分类:Windows程序   时间:2019-01-25 11:37:38    阅读次数:300
Linux进阶第五天
管道符、重定向与环境变量输入输出重定向,重定向把多个Linux命令组合到一起,更高效的处理数据,输入为小于符号<输出为大于符号>举个例子:将uptime打印到屏幕上的内容输入到lgm.txt文件中:而追加输入为>>:再次将uptime打印到屏幕上的内容输入到lgm.txt文件中:另外,需要提一下的是标准输出重定向与错误输出重定向的区别比如我们分别查看两个文件的属性信息,lg
分类:系统相关   时间:2019-01-23 10:39:35    阅读次数:219
我害怕了。我想工作了。
8个月 我先后去学了 C++, Haskell, Lisp ... 其实真正拿得出手的项目只有 EOPL ..【也是唯一一项写了较多代码的】 模板元 类型系统 计算理论 习惯了看英文。。 我本来还想深入 学习编译器、学习游戏、图形学。 现在看,我在这条路上已经注定平庸。 【我认了】 还有一大堆不过是 ...
分类:其他好文   时间:2019-01-21 22:52:34    阅读次数:219
414条   上一页 1 ... 5 6 7 8 9 ... 42 下一页
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!