本文目录导航：

• 作为设计师的你应该了解的6款工具
• 学电脑UI编程用什么电脑软件
• 怎么看待“智能化编程言语”Sketch

作为设计师的你应该了解的6款工具

随着Sketch的遍及，矢量绘图工具开局变得更为干流。

Figma区别于其余工具，主打同步单干配置。

就像开发人员远程共享同一画面写代码一样，如今设计师也有望远程单干了。

或许你会质疑：多名设计师同时编辑一个画面的状况会很多吗?构想一下在一个会议上，团队成员们盯着一个画面各执一词的局面，这时Figma就会成为最适合的设计工具。

ProtoPie让设计师无需写任何代码就可以轻松制造微交互原型。

其余工具觉得就像让设计师带着编程的思想来做视觉作品。

而ProtoPie则是站在设计师的角度，它的概念模型可以让设计师对交互的解读愈加明晰。

此外，它的不同之处还有就是，ProtoPie不只思考手机画面上要看到什么，还允许多指手势、传感、设施交互等在更多交互方式，让交互变得更智能。

最近，ProtoPie减少了条件式交互，而且Windows版也正在开发中。

其实Adobe也花了很长期间不时在钻研原型工具。

虽然2012年抛出了Edge Tool，惋惜的是2015年发表对其中断保养。

不过在2016年，Adobe仰仗AdobeXD又杀了回来。

XD是矢量绘图工具，同时也可以制造像流程这样的便捷交互。

有人说XD剽窃了Sketch，也有人说XD是Sketch和Invision或许Sketch和Craft(别名Silverflow)的分崩溃。

虽然如此，Adobe还是会继续推行XD，并寻求和其余Adobe系列产品的衔接。

此外，和允许Mac OS X的Sketch不同，XD还允许Window系统。

Zeplin是和Sketch衔接的插件中比拟闻名的一个。

它协助开发人员更容易地审核界面属性参数。

此外这款工具还允许在界面上间接减少评论，开发人员更可以从Zeplin下载须要的图像素材。

设计师不须要像以前一样把图像的数值一个个标志进去;开发人员也不用向设计师索取参数和素材。

Pixate和Form被谷歌收买以后，据说两个团队合二为一开局开发新的工具。

Stage是交互原型工具，Gallery说是设计单干工具。

不过详细的内容并未对当地下。

我猜想这两款工具或许会联合谷歌云服务。

framer和其余原型设计工具不同，须要编写代码(Coffeescript)制造原型。

区别于这篇文中提到的其余工具，framer的学习老本最高。

在既有的版本中，用户不得不去编写代码。

学电脑UI编程用什么电脑软件

首先要明白你要成为一个什么样的UI设计师。

是视觉设计师，还是交互设计师。

还是综合的。

视觉设计方向，须要熟练把握一款像素软件，例如Photoshop，相熟一款矢量软件，例如AI sketch等。

交互方向，须要熟练把握一款能论述分明逻辑思绪、界面规划的软件。

例如Axure、墨刀等。

有些交互设计师也会拿sketch来做。

怎么看待“智能化编程言语”Sketch

这属于程序生成(Program synthesis), 是方式验证(Formal verification)一个偏运行的分支. 它的口号就是能够让机器智能生成满足需求(配置性需求, 安保性需求)的代码, 并且生成的代码通过方式验证. 通过方式验证的代码, 切实上不须要写测试. 程序员再也不用不假思索想测试用例了, 由于机器帮咱们验证了在一切或许的输入下程序的行为是契合要求的. 这个保障是极强的. 如果无人驾驶车的管理程序里有一个变量叫distance_to_wall(车到墙的距离), 而后咱们的生成的代码保障这个变量永远大于0, 于是咱们就有了一辆不会撞墙的无人驾驶车了. 然而如今的技术还没有这么成熟, 不过迷信家们在致力. 这样的结果, 人人都是产品经理了, 只需提需求就好了. 关于不时谋求终极智能化的计算机迷信家来说, 这样的未来是如许有吸引力啊. Sketch就是做得比拟有影响力的一个名目. 然而如你所说, 运行还是比拟有限. 程序生成重要依赖于解放求解(Constraint Solving)的技术. 一切人高中都接触过解放求解. 求解线性方程组就是解放求解的一个例子. SAT疑问也是解放求解. 咱们可以发现解放求解并不是一个算法, 只是一个很抽象的称说. 关于不同的解放, 其实有不同的求解算法(Decision procedure). Satisfiability Modulo Theories技术是把不同的求解算法集成起来的框架. 我的好友, 卡耐基梅隆大学的Sicun Gao博士和Soonho Kong博士开发了一个SMT solver叫dReal(dReal), 允许解放条件里有微分方程. 很巧的是, Sicun Gao如今就在Sketch的作者所在的试验室做钻研. 程序生成的技术大略就是将源代码转化成一个解放表白式, ??被转化成未知的变量, 而后扔给解放求解器找出一组解来. 加州伯克利大学的Ras Bodik传授开了一门程序生成的课(Ras Bodik - EECS), 可以看看.