[GitHub] [incubator-opendal] Xuanwo opened a new issue, #1768: OpenDAL Idris Binding

["Xuanwo (via GitHub)" <gi...@apache.org>]

Xuanwo opened a new issue, #1768:
URL: https://github.com/apache/incubator-opendal/issues/1768

   > Idris is a [purely-functional](https://en.wikipedia.org/wiki/Purely_functional_programming) [programming language](https://en.wikipedia.org/wiki/Programming_language) with [dependent types](https://en.wikipedia.org/wiki/Dependent_type), optional [lazy evaluation](https://en.wikipedia.org/wiki/Lazy_evaluation), and features such as a [totality checker](https://en.wikipedia.org/wiki/Termination_analysis). Idris may be used as a [proof assistant](https://en.wikipedia.org/wiki/Proof_assistant), but it is designed to be a [general-purpose programming language](https://en.wikipedia.org/wiki/General-purpose_programming_language) similar to [Haskell](https://en.wikipedia.org/wiki/Haskell_(programming_language)).
   
   I want to play with `idris` for fun, and build an opendal binding for it is the best way. :rocket: 


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@opendal.apache.org.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

[GitHub] [incubator-opendal] Xuanwo closed issue #1768: OpenDAL Idris Binding

["Xuanwo (via GitHub)" <gi...@apache.org>]

Xuanwo closed issue #1768: OpenDAL Idris Binding
URL: https://github.com/apache/incubator-opendal/issues/1768


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@opendal.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org