The GNAT-LLVM project provides an opportunity to port Ada to new platforms, one of which is WebAssembly. We conducted an experiment to evaluate the porting of Ada and the development of bindings to use Web API provided by the browser directly from Ada applications.
Subtotals
As a result of the experiment, the standard language library and runtime library were partially ported. Together with a binding for the Web API, this allowed us to write a simple example showing the possibility of using Ada for developing applications compiled into WebAssembly and executed inside the browser. At the same time, there are some limitations both of WebAssembly and of the current GNAT-LLVM implementation:
- the inability to use tasks and protected types
- support for exceptions limited to local propagation and the last chance handler
- the inability to use nested subprograms
Example
Here is small example of an Ada program that shows/hides the text when pressing the button by manipulating attributes of document nodes.
with Web.DOM.Event_Listeners;
with Web.DOM.Events;
with Web.HTML.Buttons;
with Web.HTML.Elements;
with Web.Strings;
with Web.Window;
package body Demo is
function "+" (Item : Wide_Wide_String) return Web.Strings.Web_String
renames Web.Strings.To_Web_String;
type Listener is
limited new Web.DOM.Event_Listeners.Event_Listener with null record;
overriding procedure Handle_Event
(Self : in out Listener;
Event : in out Web.DOM.Events.Event'Class);
L : aliased Listener;
------------------
-- Handle_Event --
------------------
overriding procedure Handle_Event
(Self : in out Listener;
Event : in out Web.DOM.Events.Event'Class)
is
X : Web.HTML.Elements.HTML_Element
:= Web.Window.Document.Get_Element_By_Id (+"toggle_label");
begin
X.Set_Hidden (not X.Get_Hidden);
end Handle_Event;
---------------------
-- Initialize_Demo --
---------------------
procedure Initialize_Demo is
B : Web.HTML.Buttons.HTML_Button
:= Web.Window.Document.Get_Element_By_Id
(+"toggle_button").As_HTML_Button;
begin
B.Add_Event_Listener (+"click", L'Access);
B.Set_Disabled (False);
end Initialize_Demo;
begin
Initialize_Demo;
end Demo;
As you can see, it uses elaboration, tagged and interface types, and callbacks.
Live demo
Setup & Build
To compile the examples you need to setup GNAT-LLVM & GNAT WASM RTL following instructions in README.md file.
To compile specific example use gprbuild to build application and open index.html in the browser to run it.
Next steps
The source code is published in a repository on GitHub and we invite everyone to participate in the project.
Attachments
以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，也希望大家多多支持 码农网
猜你喜欢:
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
Python算法教程
[挪威] Magnus Lie Hetland 赫特兰 / 凌杰、陆禹淳、顾俊 / 人民邮电出版社 / 2016-1-1 / 69.00元
本书用Python语言来讲解算法的分析和设计。本书主要关注经典的算法，但同时会为读者理解基本算法问题和解决问题打下很好的基础。全书共11章。分别介绍了树、图、计数问题、归纳递归、遍历、分解合并、贪心算法、复杂依赖、Dijkstra算法、匹配切割问题以及困难问题及其稀释等内容。本书在每一章结束的时候均有练习题和参考资料，这为读者的自我检查以及进一步学习提供了较多的便利。在全书的最后，给出了练习题的提......一起来看看 《Python算法教程》 这本书的介绍吧!
