内容简介:Futhark 0.2.0 已发布,与第一个版本相比,该版本没有添加主要的编译器优化特性,相反,该版本专注于各种提升使用体验的改进,具体更新如下: Added Run-time errors due to failed assertions now include a sta...
Futhark 0.2.0 已发布,与第一个版本相比,该版本没有添加主要的编译器优化特性,相反,该版本专注于各种提升使用体验的改进,具体更新如下:
Added
Run-time errors due to failed assertions now include a stack
trace.Generated OpenCL code now picks more sensible group size and count
when running on a CPU.scatter
expressions nested inmap
s may now be parallelised
("segmented scatter").Add
num_bits
/get_bit
/set_bit
functions to numeric module
types, including a newfloat
module type.Size annotations may now refer to preceding parameters, e.g:
let f (n: i32) (xs: [n]i32) = ...
futhark-doc
: retain parameter names in generated docs.futhark-doc
: now takes-v
/--verbose
options.futhark-doc
: now generates valid HTML.futhark-doc
: now permits files to contain a leading documentation
comment.futhark-py
/futhark-pyopencl
: Better dynamic type checking in
entry points.Primitive functions (sqrt etc) can now be constant-folded.
Futlib: /futlib/vec2 added.
Removed
The built-in
shape
function has been removed. Uselength
or
size parameters.
Changed
The
from_i32
/from_i64
functions of thenumeric
module type
have been replaced with functions namedi32
/i64
. Similarly
functions have been added for all the other primitive types
(factored into a newfrom_prim
module type).The overloaded type conversion functions (
i32
,f32
,bool
,
etc) have been removed. Four functions have been introduced for
the special cases of converting betweenf32
/f64
andi32
:r32
,r64
,t32
,t64
.Modules and variables now inhabit the same name space. As a
consequence, we now usex.y
to access fieldy
of recordx
.Record expression syntax has been simplified. Record
concatenation and update is no longer directly supported.
However, fields can now be implicitly defined:{x,y}
now creates
a record with fieldx
andy
, with values taken from the
variablesx
andy
in scope.
Fixed
The
!=
operator now works properly on arrays (#426).Allocations were sometimes hoisted incorrectly (#419).
f32.e
is no longer pi.Various other fixes.
Futhark 是一个小型全新的函数式编程语言,可编译为高性能的 GPU 代码。使用静态类型、并行数据以及纯函数数组语言。该语言对编译器提前进行重度的优化,通过 OpenCL 生成 GPU 代码。Futhark 并非为图形编程而设计,通过使用 GPU 来加速并行的数组计算,支持常规嵌套的数据并行化处理。
Futhark 使用 Haskell 语言开发。
下载地址:
【声明】文章转载自:开源中国社区 [http://www.oschina.net]
以上就是本文的全部内容,希望本文的内容对大家的学习或者工作能带来一定的帮助,也希望大家多多支持 码农网
猜你喜欢:- 编程语言特性:函数
- Go 语言函数式编程系列教程(十八) —— 函数篇:函数的基本定义和调用
- Go 语言函数式编程系列教程(十九) —— 函数篇:函数的传参和返回值
- Elixir 1.8 发布,函数式编程语言
- OCaml 4.08.0 发布,函数式编程语言
- OCaml 4.09.0 发布,函数式编程语言
本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们。
凸优化
Stephen Boyd、Lieven Vandenberghe / 王书宁、许鋆、黄晓霖 / 清华大学出版社 / 2013-1 / 99.00元
《信息技术和电气工程学科国际知名教材中译本系列:凸优化》内容非常丰富。理论部分由4章构成,不仅涵盖了凸优化的所有基本概念和主要结果,还详细介绍了几类基本的凸优化问题以及将特殊的优化问题表述为凸优化问题的变换方法,这些内容对灵活运用凸优化知识解决实际问题非常有用。应用部分由3章构成,分别介绍凸优化在解决逼近与拟合、统计估计和几何关系分析这三类实际问题中的应用。算法部分也由3章构成,依次介绍求解无约束......一起来看看 《凸优化》 这本书的介绍吧!