Skip to content
This repository was archived by the owner on Jun 23, 2018. It is now read-only.

Conversation

@UnkindPartition
Copy link
Contributor

No description provided.

More complex types can be built out of primitive ones:

* Tuples: ``(type1, type2, ...)``. A tuple must have at least two fields.
* Structs: ``{ name1: type1, name2: type2, ... }``
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Any reason not to include

Sums: ``Name1 type1a ... | Name2 type2a ... | ...``

?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No reason — I totally missed it. Thanks!

``A.y`` must be a function that produces "optional" (potentially missing) values,
in which case ``filter A.y`` is a function that filters out missing values.

* Type application. Some functions (notably, sources and sinks) can be specialized
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

"notably, some sources and sinks" / "notably, the built-in sources and sinks"? I don't think sources and sinks in general have to be polymorphic (The websocket ones aren't, right?)

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

But "the built-in sources and sinks" is imprecise in exactly the same way, no?

Adding "some" works, though.

``self.args["foo"]``.

The workflow language supports line and block comments.
Line comments start with ``--`` and extend until the end of line.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we're // not --

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You're right — apparently Mandeep silently changed the comment syntax :)

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

foiled by git blame :) sorry about that!

Copy link
Contributor

@rjmk rjmk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Awesome!

@mands mands merged commit 75081e9 into master Mar 31, 2017
@mands mands deleted the language-spec branch March 31, 2017 15:47
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants