https://github.com/snowleopard/ideas

Just a playground
https://github.com/snowleopard/ideas

Last synced: over 1 year ago
JSON representation

Just a playground

• Host: GitHub
• URL: https://github.com/snowleopard/ideas
• Owner: snowleopard
• License: mit
• Created: 2020-10-28T18:13:20.000Z (over 5 years ago)
• Default Branch: main
• Last Pushed: 2024-05-19T23:23:36.000Z (about 2 years ago)
• Last Synced: 2025-03-23T20:51:15.490Z (over 1 year ago)
• Language: Haskell
• Homepage:
• Size: 31.3 KB
• Stars: 5
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGES.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Ideas

[![Build status](https://img.shields.io/github/actions/workflow/status/snowleopard/ideas/ci.yml?branch=main)](https://github.com/snowleopard/ideas/actions)

Just a playground for experimenting with some random ideas:

* [Async](https://github.com/snowleopard/ideas/blob/main/src/Async.hs):

  A basic concurrency monad with links to asynchronous circuits.

* [Components](https://github.com/snowleopard/ideas/blob/main/src/Components.hs):

  A family of Concurrent Connected Components algorithms.

* [Countable](https://github.com/snowleopard/ideas/blob/main/src/Countable.hs):

  Countable types whose values can be aggregated in a fixed sequence.

* [Early](https://github.com/snowleopard/ideas/blob/main/src/Early.hs):

  Composable monads and early `return` for `do`-expressions.

* [GraphSearch](https://github.com/snowleopard/ideas/blob/main/src/GraphSearch.hs):

  Experimenting with generic DFS and BFS graph search algorithms.

* [Lem](https://github.com/snowleopard/ideas/blob/main/src/Lem.hs):

  An encoding of the law of excluded middle.

* [Metamorphisms](https://github.com/snowleopard/ideas/blob/main/src/Metamorphisms.hs):

  Playing with metamorphisms.

* [Moore](https://github.com/snowleopard/ideas/blob/main/src/Moore.hs):

  Playing with Moore machines.

* [Nested](https://github.com/snowleopard/ideas/blob/main/src/Nested.hs):

  Nested functors, i.e., computations of the shape `f (f a)`.

* [SelectiveZero](https://github.com/snowleopard/ideas/blob/main/src/SelectiveZero.hs):

  Extending the `Selective` type class with `zero`.

* [Task](https://github.com/snowleopard/ideas/blob/main/src/Task.hs):

  Using impredicative types for modelling tasks.