mirror of
https://github.com/sayo-hs/heftia.git
synced 2024-11-23 02:42:06 +03:00
[fix] links to v0.3.0.
This commit is contained in:
parent
f275ec5231
commit
4ad2da9d93
14
README.md
14
README.md
@ -77,7 +77,7 @@ Example .cabal:
|
||||
This library has been tested to work with GHC 9.2.8.
|
||||
|
||||
## Getting Started
|
||||
To run the [SemanticsZoo example](https://github.com/sayo-hs/heftia/blob/232599fbdfaf13dcf009f40585369e0ec71fd0bd/heftia-effects/Example/SemanticsZoo/Main.hs):
|
||||
To run the [SemanticsZoo example](https://github.com/sayo-hs/heftia/blob/v0.3.0/heftia-effects/Example/SemanticsZoo/Main.hs):
|
||||
```console
|
||||
$ git clone https://github.com/sayo-hs/heftia
|
||||
$ cd heftia/heftia-effects
|
||||
@ -112,7 +112,7 @@ are some examples:
|
||||
In handling higher-order effects, it's easy to work with **multi-shot delimited continuations**.
|
||||
This enables an almost complete emulation of "Algebraic Effects and Handlers".
|
||||
For more details, please refer to
|
||||
the [example code](https://github.com/sayo-hs/heftia/blob/232599fbdfaf13dcf009f40585369e0ec71fd0bd/heftia-effects/Example/Continuation/Main.hs).
|
||||
the [example code](https://github.com/sayo-hs/heftia/blob/v0.3.0/heftia-effects/Example/Continuation/Main.hs).
|
||||
|
||||
### Two interpretations of the `censor` effect for Writer
|
||||
|
||||
@ -165,7 +165,7 @@ Pre-applying: Goodbye world!
|
||||
Post-applying: Hello world!!
|
||||
```
|
||||
|
||||
For more details, please refer to the [complete code](https://github.com/sayo-hs/heftia/blob/develop/heftia-effects/Example/Writer/Main.hs) and the [implementation of the elaborator](https://github.com/sayo-hs/heftia/blob/develop/heftia-effects/src/Control/Effect/Interpreter/Heftia/Writer.hs).
|
||||
For more details, please refer to the [complete code](https://github.com/sayo-hs/heftia/blob/v0.3.0/heftia-effects/Example/Writer/Main.hs) and the [implementation of the elaborator](https://github.com/sayo-hs/heftia/blob/v0.3.0/heftia-effects/src/Control/Effect/Interpreter/Heftia/Writer.hs).
|
||||
|
||||
Furthermore, the structure of Heftia is theoretically straightforward, with ad-hoc elements being
|
||||
eliminated.
|
||||
@ -176,10 +176,10 @@ This may be useful when writing concurrent effectful code.
|
||||
Heftia is the current main focus of the [Sayo Project](https://github.com/sayo-hs).
|
||||
|
||||
## Documentation
|
||||
The example codes are located in the [heftia-effects/Example/](https://github.com/sayo-hs/heftia/tree/232599fbdfaf13dcf009f40585369e0ec71fd0bd/heftia-effects/Example) directory.
|
||||
The example codes are located in the [heftia-effects/Example/](https://github.com/sayo-hs/heftia/tree/v0.3.0/heftia-effects/Example) directory.
|
||||
Also, the following *HeftWorld* example: https://github.com/sayo-hs/HeftWorld
|
||||
|
||||
Examples with explanations in Japanese can be found in the [docs-ja/examples/](https://github.com/sayo-hs/heftia/tree/master/docs-ja/examples) directory.
|
||||
Examples with explanations in Japanese can be found in the [docs-ja/examples/](https://github.com/sayo-hs/heftia/tree/v0.3.0/docs-ja/examples) directory.
|
||||
|
||||
## Comparison
|
||||
|
||||
@ -241,12 +241,12 @@ This is indeed true in terms of its internal mechanisms as well.
|
||||
* Benchmarking
|
||||
|
||||
## License
|
||||
The license is MPL 2.0. Please refer to the [NOTICE](https://github.com/sayo-hs/heftia/blob/232599fbdfaf13dcf009f40585369e0ec71fd0bd/NOTICE).
|
||||
The license is MPL 2.0. Please refer to the [NOTICE](https://github.com/sayo-hs/heftia/blob/v0.3.0/NOTICE).
|
||||
Additionally, this README.md and the documents under the `docs-ja` directory are licensed
|
||||
under CC BY-SA 4.0.
|
||||
|
||||
## Your contributions are welcome!
|
||||
Please see [CONTRIBUTING.md](https://github.com/sayo-hs/heftia/blob/232599fbdfaf13dcf009f40585369e0ec71fd0bd/CONTRIBUTING.md).
|
||||
Please see [CONTRIBUTING.md](https://github.com/sayo-hs/heftia/blob/v0.3.0/CONTRIBUTING.md).
|
||||
|
||||
## Credits
|
||||
Parts of this project have been inspired by the following resources:
|
||||
|
@ -363,7 +363,7 @@ prog'' :: ('[] :!! '[B]) a
|
||||
|
||||
## コード全体
|
||||
|
||||
コードの全体は以下のようになる。タグ付きエフェクトのコードは[GitHub](https://github.com/sayo-hs/heftia/blob/9639e3aeb3fcfd641f19b7cdccc10e686e6fca5d/heftia-effects/Example/Teletype/Main.hs)にある。
|
||||
コードの全体は以下のようになる。タグ付きエフェクトのコードは[heftia-effects/Example/Teletype/](https://github.com/sayo-hs/heftia/blob/v0.3.0/heftia-effects/Example/Teletype/Main.hs)にある。
|
||||
|
||||
```haskell
|
||||
{-# LANGUAGE AllowAmbiguousTypes #-}
|
||||
|
@ -742,4 +742,5 @@ liftIO $ putStrLn "------"
|
||||
|
||||
---
|
||||
|
||||
パートの例で使用したコードの全体は[GitHub](TODO)にある。
|
||||
本パートの例で使用したコードの全体は[heftia-effects/Example/Logging/](https://github.com/sayo-hs/heftia/blob/v0.3.0/heftia-effects/Example/Logging/Main.hs)にある。
|
||||
|
||||
|
@ -108,10 +108,5 @@ scope exited. result: (1,1)(1,2)(1,3)(1,4)(2,1)(2,2)(2,3)(2,4)(3,1)(3,2)(3,3)(3,
|
||||
|
||||
Haskell上でEffect Systemを実現するライブラリは数多くあるが、いわゆる「Algebraic Effects and Handlers」で可能なこと(限定継続の取り出しとそれを用いたモジュラーな高階エフェクトのハンドリング)をほぼフルでエミュレートできるのは、Hefty Algebrasに基づくElaboration方式のみのようだ。
|
||||
|
||||
以上で、本ライブラリの入門編は終わりになる。本ライブラリの"感覚"を掴むための最低限の説明をしたつもりだ。まだまだ説明できなかった事柄がたくさんあるので、各自Haddockを辿るか、次のシリーズである応用編が書かれるのを待ってほしい!Haddockに関してはほとんどドキュメントは書けていない。ドキュメントの整備を手伝ってくれる人は大歓迎だ!
|
||||
本パートの例で使用したコードの全体は[heftia-effects/Example/Continuation/](https://github.com/sayo-hs/heftia/blob/v0.3.0/heftia-effects/Example/Continuation/Main.hs)にある。
|
||||
|
||||
本シリーズを英訳してくれる人も募集中です。
|
||||
|
||||
---
|
||||
|
||||
本パートの例で使用したコードの全体は[GitHub](TODO)にある。
|
||||
|
Loading…
Reference in New Issue
Block a user