BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

他的粉丝

Elixir 1.7改进错误处理、日志和测试

作者 Sergio De Simone 关注 14 他的粉丝 ,译者 谢丽 关注 11 他的粉丝   发布于  2018年8月8日

Elixir 1.7致力于提升开发者体验,Elixir创建者José Valim这样写道。其中包括新增__STACKTRACE__结构检索堆栈堆栈踪迹,集成Erlang新增的:logger模块,改进Elixir的单元测试库ExUnit,支持文档元数据。

他的粉丝

Haskell使用率和用户满意度双双增长

作者 Sergio De Simone 关注 14 他的粉丝 ,译者 张兰月 关注 0 他的粉丝   发布于  2018年6月13日

FP Complete首席执行官Aaron Contorer写道,“2018年Haskell用户调查显示用户对Haskell的安全性、质量、可靠性、可维护性和高级功能均表示出了非常高的满意度。” InfoQ与其谈论了Haskell当前的情况和未来的前景。

他的粉丝

F# 2017回顾

作者 Sergio De Simone 关注 14 他的粉丝 ,译者 谢丽 关注 11 他的粉丝   发布于  2018年1月8日

据微软项目经理Phillip Carter介绍,2017年,F#达到了4.1版本,用户社区也得到了发展,基本上与.NET Core 2.0的发布保持了一致。同时,F#的工具变得更加强大,大会参与人数增加。

他的粉丝

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

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

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

他的粉丝

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

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

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

他的粉丝

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

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

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

他的粉丝

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

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

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

他的粉丝

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

作者 Michael Redlich 关注 14 他的粉丝 ,译者 肖鹏 关注 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 关注 14 他的粉丝 ,译者 肖鹏 关注 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 关注 14 他的粉丝 ,译者 谢丽 关注 11 他的粉丝   发布于  2017年4月14日

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

他的粉丝

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

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

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

他的粉丝

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

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

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

他的粉丝

Idris趋近发布1.0版

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

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

他的粉丝

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

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

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

他的粉丝

Javaslang 3.0之路

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

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

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


找回密码....

Follow

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

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

Like

内容自由定制

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

Notifications

获取更新

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

BT