smaws: An AWS SDK for OCaml
summary
smaws is an OCaml AWS SDK generated from Smithy IDL that currently implements the AWS JSON protocols covering about 36% of services (SQS, DynamoDB, CloudWatch logs, EventBridge) and passes Smithy HTTP request compliance tests. It uses OCaml 5 effects with Eio for concurrency, ppxlib for code generation, first‑class modules to swap HTTP implementations, exceptions-then-result for fast deserialization, and module aliasing to avoid pulling unused dependencies; a Lambda demo shows SQS→DynamoDB integration working end-to-end.
AI-written summary · about
chapters (19)
- 0:00Introduction
- 1:03Motivation for Smalls
- 2:47SDK design principles
- 3:51Consistent interfaces
- 5:16Operation call structure
- 6:18Error handling
- 7:21HTTP implementation
- 9:28Efficiency and size
- 10:51Code size optimization
- 12:57Deserialization performance
- 14:01Smithy test compliance
- 15:47Documentation
- 17:10Smithy type system
- 18:34PPX and Dune
- 19:39Live Lambda demo
- 21:49Current state and services
- 23:52Future plans
- 24:35Key takeaways
- 25:21Q&A
related talks
46mOCaml for Fun & Profit: An Experience Report
40mAsk Me Anything with Byron Cook
45mWasmer Things: An Upside-Down Guide to WebAssembly
51mBuilding Distributed Applications in OCaml
43mOCaml at LexiFi
40mWhamm! A WebAssembly Bytecode Instrumentation DSL
30mGenerating Conforming Programs With Xsmith
26mAn Invitation to OCaml