# birds

Combinators implemented in Rust named after Raymond Smullyan's birds.

_This is just a hobby project to give myself an excuse to explore combinatory logic and Rust generics._

Lambda calculus and Haskell use single argument functions that return another function to "simulate" multiple arguments. Implementing such ideas in Rust can quickly get annoying in Rust both due to the `()` syntax used to invoke functions and the need to `Box` our closures. Therefore I've simply used multiple arguments in such cases. (If you have any better ideas please file an [issue](https://github.com/ArchitBhonsle/birds/issues) detailing your idea)

## Combinators

- [x] Bluebird
- [x] Cardinal
- [x] Dove
- [x] Eagle
- [x] Finch
- [x] Goldfinch
- [x] Hummingbird
- [x] Identity Bird
- [x] Jay
- [x] Kestrel
- [x] Lark
- [x] Mockingbird
- [x] Owl
- [x] Queer Bird
- [x] Quixotic Bird
- [x] Quirky Bird
- [x] Robin
- [x] Sage bird
- [x] Starling
- [x] Thrush
- [x] Turing bird

## Credits

- [To Mock a Mockingbird](https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird) for the cute names.
- [data.aviary.birds](https://hackage.haskell.org/package/data-aviary-0.4.0/docs/Data-Aviary-Birds.html) for providing the awesome type signatures and the idea for this library.
- [Combinator birds](https://www.angelfire.com/tx4/cus/combinator/birds.html) for providing a nice list of all the birds.