-
Notifications
You must be signed in to change notification settings - Fork 8
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
start on README, disable test on other languages for now
- Loading branch information
Showing
4 changed files
with
23 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,20 @@ | ||
# SQSExtended | ||
|
||
This project serves as an example of a common pattern: | ||
using `smithy-dafny` to build a thick client library for a remote service, | ||
such as an AWS service. | ||
The single source implementation is in Dafny, | ||
but `smithy-dafny` transforms this into a full library with an idiomatic API | ||
in multiple other common programming languages, | ||
such as Java, Rust and Python. | ||
This transformation is known as "polymorphing". | ||
|
||
The language-agnostic API of the library is | ||
[defined in Smithy here](Model/sqsextended.smithy). | ||
This looks very similar to a remote service definition, | ||
with a few extra traits used to specify that this is a "local service". | ||
|
||
|
||
# Building your own Polymorph library | ||
|
||
We hope to provide a `smithy init` template for this soon. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters