Ambient-Oriented Programming

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

~~NOTOC~~
====== Pattern Matching ======
[[http://soft.vub.ac.be/soft/members/stijnmostinckx|Stijn Mostinckx]]

Research topic which contemplates the extension of AmbientTalk's type tag system, such that type tags can have optional arguments.  These arguments can be used to deconstruct objects in pattern matching expressions as will be shown below.

Pattern matching rules can be applied to:
| **Objects** | Matching a single object against a set of pattern matching rules can be used to distinguish based on its value type. This can be used for instance to easily perform an external tree traversal.|
| **Collections** | Matching a collection against a set of rules can be used to filter or split that collection.  As is illustrated below, it can also be used to pair elements of that collection, etc.|

It is also worth noting that [[research:rp|reactive]] objects and collections can also be matched against a set of pattern matching rules.  Hence, if an application's context is modeled as a reactive collection, this is an expressive means to determine its  [[research:recap|window on the world]]. 

===== Pattern matching in AmbientTalk =====
== Object Matching ==
== Collection Matching ==

===== Pattern Matching in AmbientTalk/R =====
== Object Matching ==
== Collection Matching ==

Ambient-Oriented Programming

User Tools

Site Tools

Page Tools