BT

你的观点很重要! 快来参与InfoQ调研吧!

他的粉丝

Racket 6.11提供了稳定的细化类型和依赖函数特性

作者 Sergio De Simone 关注 5 他的粉丝 ,译者 盖磊 关注 1 他的粉丝   发布于  2017年11月17日

Typed Racket是Racket语言的一种静态类型方言。Racket 6.11为Typed Racket提供了细化类型(Refinement Type)和依赖函数(Dependent Function)特性。

他的粉丝

函数式编程语言时代已经来临

作者 薛命灯 关注 11 他的粉丝 发布于  2017年11月9日

英国著名计算机科学家、微软首席研究员及Haskell主要贡献者Simon Peyton Jones在一次访谈中说,函数式编程语言的时代已经来临。

他的粉丝

IntelliJ IDEA 2017.2发布:更智能,更利落,更快速

作者 Matt Raible 关注 4 他的粉丝 ,译者 盖磊 关注 1 他的粉丝   发布于  2017年8月30日

JetBrains最近发布了其Java IDE旗舰产品IntelliJ IDEA的季度版本2017.2。根据Trisha Gee在博客帖子中给出的发行说明,该版本做了不少可用性上的改进,并给出了一些新类别的警告,包括创建了空的Collection或是字符串、数字超出了数组的范围等。它还改进了对空值的分析功能。。

他的粉丝

IBM和Lightbend宣布构建新认知开发平台的战略

作者 Michael Redlich 关注 6 他的粉丝 ,译者 Rays 关注 1 他的粉丝   发布于  2017年7月3日 1

IBM近期宣布将对Lightbend做战略投资。Lightbend是响应式编程的先行者,同时也是Scala语言的支持公司。两家公司将在认知发展所用新平台上开展合作。就此,InfoQ专访了Lightbend公司CEO Mark Brewer。

他的粉丝

2017新兴技术企业大会:第二日回顾

作者 Michael Redlich 关注 6 他的粉丝 ,译者 肖鹏 关注 0 他的粉丝   发布于  2017年5月11日

4月19日,第十二届年度新兴技术企业大会(Emerging Technologies for the Enterprise Conference,ETE)在美国宾州费城迎来了第二个活动日。大会有两个活动日,Blair MacIntyre(增强现实先驱)和Scott Hanselman(播客主播)分别带来了他们的主题演讲。大会还包含如下演讲嘉宾:GitHub工程经理Kyle Daigle、IBM首席工程师Holden Karau和来自甲骨文公司的JVM技术主管Karen Kinnear。

他的粉丝

2017新兴技术企业大会:首日回顾

作者 Michael Redlich 关注 6 他的粉丝 ,译者 肖鹏 关注 0 他的粉丝   发布于  2017年5月4日 2

本周二(4月18日),第十二届年度新兴技术企业大会(Emerging Technologies for the Enterprise Conference,ETE)在美国宾州费城迎来了首个活动日。大会有两个活动日,Blair MacIntyre(增强现实先驱)和Scott Hanselman(播客主播)分别带来了他们的主题演讲。大会还包含如下演讲嘉宾:甲骨文公司JVM顾问Monica Beckwith、Ember.js框架联合作者Yehuda Katz和Atomist首席工程师Jessica Kerr。

他的粉丝

依赖类型语言Idris发布1.0版本

作者 Sergio De Simone 关注 5 他的粉丝 ,译者 谢丽 关注 4 他的粉丝   发布于  2017年4月14日

英国圣安德鲁大学讲师、Idris创建者Edwin Brady写道,在达到alpha版本几个月之后,Idris 1.0发布。

他的粉丝

Lightbend就收购OpsClarity一事与InfoQ的对话

作者 Michael Redlich 关注 6 他的粉丝 ,译者 宋康婧 关注 0 他的粉丝   发布于  2017年3月16日

在收购了咨询公司BoldRadius九个月后,Lightbend宣布了其收购OpsClarity的消息。OpsClarity是一家专业做交互式应用监控的公司。为了对这种新的合作关系做进一步了解,InfoQ采访了Lightbend的董事长兼CEO,Mark Brewer,以及Alan Ngai,OpsClarity的联合创始人,现任Lightbend的云服务VP。

他的粉丝

Java类型推断将不再支持可变性规范

作者 Abraham Marín Pérez 关注 6 他的粉丝 ,译者 王纯超 关注 0 他的粉丝   发布于  2017年1月3日

最近的报道显示,由于社区内无法就区分可变和不可变变量的实现方式达成一致意见,Java类型推断将不再支持使用关键字区分可变的和不可变变量。为了避免对细枝末节的长期讨论,一些关键字提议将被排除以求简洁。尽管JEP并没有透露目标版本,Java 10可能会实现这些功能。

他的粉丝

Idris趋近发布1.0版

作者 Sergio De Simone 关注 5 他的粉丝 ,译者 Rays 关注 1 他的粉丝   发布于  2016年12月30日

基于依赖类型的Idris语言即将完成0.99版本,其1.0版有望于2017年2月左右发布。Idris是一种纯函数式编程语言,目标在于注重语言通用性及满足系统编程所需效率的同时,让更多的编程人员使用基于类型的程序验证技术。

他的粉丝

2016企业开发趋势:Lightbend关于JVM开发者的调查

作者 Michael Redlich 关注 6 他的粉丝 ,译者 足下 关注 0 他的粉丝   发布于  2016年11月22日

Lightbend最近调查了2100个JVM开发者来研究开发趋势和IT基础设施趋势之间的相互关系。成果发表在一篇白皮书中,显示微服务和轻量级容器在挑战重量级的J2EE应用服务器。

他的粉丝

Javaslang 3.0之路

作者 Michael Redlich 关注 6 他的粉丝 ,译者 张卫滨 关注 5 他的粉丝   发布于  2016年11月22日 1

Javaslang是一个开源的函数式库,为Java 8及以上提供了持久化的数据类型和函数式的控制结构,最近,它发布了主版本3.0的路线图,承诺要对这个库进行比较明显的变更,移除不必要和废弃的特性。

他的粉丝

Racket 6.7最新版本:提供对Android App的支持及改进的REPL等等

作者 Sergio De Simone 关注 5 他的粉丝 ,译者 刘嘉洋 关注 0 他的粉丝   发布于  2016年11月7日

PLT Design发布了新版本的Racket,类Scheme通用多模式编程语言Racket 6.7可以支持在Android上构建图形类应用程序,它同时改进了REPL、包管理器,还支持扩展的Typed Racked。

他的粉丝

F#创建者Don Syme谈F#设计原则

作者 Pierre-Luc Maheu 关注 2 他的粉丝 ,译者 谢丽 关注 4 他的粉丝   发布于  2016年9月19日

在.Net Fringe 2016大会上,F#创建者Don Syme谈了他对F#现状的看法以及F#的二元性。F#是以一个为面向对象语言构建的运行时为基础构建的函数式语言。

他的粉丝

BuckleScript 1.0发布,面向OCaml的开源JavaScript编译器

作者 Sergio De Simone 关注 5 他的粉丝 ,译者 任美芒 关注 0 他的粉丝   发布于  2016年9月12日

BuckleScript 1.0几乎完全兼容OCaml特性,同时改进了外部函数接口(FFI)以避免编写不安全的JavaScript存根。近日,InfoQ采访了BuckleScript作者张宏波。

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT