建议修改swMATH

我们感谢您的贡献，并将尽快将您的建议纳入swMATH中，尽管我们无法保证。任何贡献都将手动检查其正确性和相关性，并进行内部质量保证流程。请注意，我们保留修改任何提交信息的权利。

个人信息

你的名字*：

你的机构*：

您的电子邮件地址*：

软件元数据

请修改或补充以下信息。

软件包名称*：

软件主页：

软件作者：（例如：马克·史密斯、安东·梅尔）

软件简介：

<trans data-src="FranTk -- a declarative GUI language for Haskell. ">FranTk——Haskell的一种声明性GUI语言。</trans><trans data-src="FranTk is a new high level library for programming Graphical User Interfaces (GUIs) in Haskell. ">FranTk是一个新的高级库，用于在Haskell中编程图形用户界面（gui）。</trans><trans data-src="It is based on Fran (Functional Reactive Animation), and uses the notions of Behaviors and Events to structure code. ">它是基于Fran（Functional Reactive Animation，功能反应动画）的基础上，使用行为和事件的概念来构造代码。</trans><trans data-src="Behaviors are time-varying, reactive values. ">行为是随时间变化的反应性值。</trans><trans data-src="They can be used to represent the state of an application. ">它们可以用来表示应用程序的状态。</trans><trans data-src="Events are streams of values that occur at discrete points in time. ">事件是发生在离散时间点的值流。</trans><trans data-src="They can be used, for instance, to represent user input. ">例如，它们可以用来表示用户输入。</trans><trans data-src="FranTk allows user interfaces to be structured in a more declarative manner than has been possible with previous functional GUI libraries. ">FranTk允许以一种比以前的功能GUI库更具声明性的方式来构建用户界面。</trans><trans data-src="We demonstrate, through a series of examples, how this is achieved, and why it is important. ">我们通过一系列的例子来说明这是如何实现的，以及为什么它很重要。</trans><trans data-src="These examples are elements of a prototype, Air Traffic Control simulator. ">这些例子是一个原型，空中交通管制模拟器的要素。</trans><trans data-src="FranTk uses a binding to the popular Tcl/Tk toolkit to provide a powerful set of platform independent set of widgets. ">FranTk使用与流行的Tcl/Tk工具包的绑定来提供一组强大的独立于平台的小部件集。</trans><trans data-src="It has been released as a Haskell library that runs under Hugs and GHC.">它作为Haskell库发布，在Hugs和GHC下运行。</trans>

引用描述软件的已发表文章：
（例如，对于GAP：“GAP 4型系统组织代数算法”，Zbl 0918.68050）

描述软件的关键词：（例如：格氏基、有限元法、偏微分方程等）

适用领域：（如：教育、金融、工程等）

对其他软件的依赖性：（例如：Maple、Matlab等）

当前版本：（例如：1.2）

许可条款：（例如：GPL、商业等）

编程语言：（如：Java、C++、Python等）

操作系统：（例如：Linux、Windows XP等）

接口：（例如：Gnuplot export、C library等）

评论：

SOI-软件对象标识符（DOI）：

SVOI-软件版本对象id:

你自己抄送？

保密与保密
用户的个人资料仅用于执行此项服务，以及用于联络和支持用户。在执行此项服务所需的范围内，FIZ Karlsruhe有权以电子方式存储和处理用户的个人数据。

您同意使用您的个人资料：
注册服务后，您接受FIZ Karlsruhe对您的个人数据的上述使用。如果您撤销对您的个人数据的使用的接受或限制数据的使用，您可以访问服务并有权自动使用服务端。在这种情况下，请联系editor@zbmath.org.
请注意我们的隐私政策.