发布于 2016-11-08 00:24:05 | 125 次阅读 | 评论: 0 | 来源: 网友投递
PureScript 静态类型语言
PureScript 是个小巧而强大的静态类型语言,可以编译成 JavaScript。purescript 主要是由 Haskell 和 PureScript 编写的。
PureScript v0.10.2 发布了,
该版本更新内容如下:
类型导向搜索 (@kRITZCREEK)
This extends the typed holes error messages to include suggested replacements for a typed hole, by using type subsumption to determine which identifiers in scope are appropriate replacements.
A blog post will accompany this feature soon.
psc-package
(@paf31)This is an experimental package manager for PureScript packages. It supports the following commands:
init
- create a new project using the package set for the current compiler version
update
- sync the local package collection with the package set
install
- install a specific package from the current set and add it to the package config
build
- run psc
on any active packages
sources
- list source globs for active package versions
dependencies
- list transitive dependencies of the current project
For example:
$ psc-package init $ psc-package install transformers $ psc-package build
Eventually, psc-package
might replace the use of Bower, but that will require support from tools like Pulp. For now, package authors should continue to publish packages using Bower and Pursuit.
Data.Generic.Rep.Generic
的派生 (@paf31)
This is an alternative generic programming implementation based on GHC.Generics
. It should allow deriving of more interesting classes, such as Semigroup
. See the purescript-generics-rep
package for examples.
#2374: Add error message for ambiguous type variables in inferred contexts (@bbqbaron)
Allow symbols in data constructors (@brandonhamilton)
Fix inliner for integer bitwise operators (@brandonhamilton)
Use SSL for pursuit queries (@guido4000)
Better error messages for bad indentation (@paf31)
Fix inliner for Data.Array.unsafeIndex
(@brandonhamilton)
Fix issue with typed holes in inference mode (@paf31)
Fix scope traversal for do-notation bind. (@LiamGoodacre)
Handle TypeLevelString
when checking orphans (@joneshf)
Move unsafeIndex to Data.Array (@brandonhamilton)
Pretty-print suggested types differently (@paf31)
Traversal should pick up bindings in all value declarations. (@LiamGoodacre)
Treat type annotations on top-level expressions as if they were type declarations (@paf31)
Refactor subsumes function (@paf31)
Refactor to use lens
(@kRITZCREEK)
Small cleanup to Language.PureScript.Interactive.IO
(@phiggins)
Speeds up parsing by reading files as Text
(@kRITZCREEK)
Update outdated comments about Prim types (@rightfold)