1. KotlinでContext parametersが導入されたらネストの浅いeffect handlersが実装できるな～
2. コルーチンでeffectを実装しようと思ったらshift/resetがほしいな～
3. shift/resetを実装するのにcallCCがほしいな～
4. 単純なcallCCの実装なら簡単だけど、kotlinx.coroutinesの非同期処理と協調させようと思ったらとても難しい～ ←いまここ
2. コルーチンでeffectを実装しようと思ったらshift/resetがほしいな～
3. shift/resetを実装するのにcallCCがほしいな～
4. 単純なcallCCの実装なら簡単だけど、kotlinx.coroutinesの非同期処理と協調させようと思ったらとても難しい～ ←いまここ
January 13, 2025 at 6:18 AM
1. KotlinでContext parametersが導入されたらネストの浅いeffect handlersが実装できるな～
2. コルーチンでeffectを実装しようと思ったらshift/resetがほしいな～
3. shift/resetを実装するのにcallCCがほしいな～
4. 単純なcallCCの実装なら簡単だけど、kotlinx.coroutinesの非同期処理と協調させようと思ったらとても難しい～ ←いまここ
2. コルーチンでeffectを実装しようと思ったらshift/resetがほしいな～
3. shift/resetを実装するのにcallCCがほしいな～
4. 単純なcallCCの実装なら簡単だけど、kotlinx.coroutinesの非同期処理と協調させようと思ったらとても難しい～ ←いまここ
出たばかりのEffective Rustを読んでいるよ
November 15, 2024 at 5:57 PM
出たばかりのEffective Rustを読んでいるよ
カリー・ハワード同型対応によれば型を命題として実装がその証明に対応するけど、逆に任意の実装についてそれが一意になるような型を与えることができるのではないか？
うまく型を考えれば、型によって実装の一意性を保証できて、多くの場合で実装を省略できるのではないか？
うまく型を考えれば、型によって実装の一意性を保証できて、多くの場合で実装を省略できるのではないか？
November 4, 2024 at 4:06 PM
カリー・ハワード同型対応によれば型を命題として実装がその証明に対応するけど、逆に任意の実装についてそれが一意になるような型を与えることができるのではないか？
うまく型を考えれば、型によって実装の一意性を保証できて、多くの場合で実装を省略できるのではないか？
うまく型を考えれば、型によって実装の一意性を保証できて、多くの場合で実装を省略できるのではないか？
クソザコなので、あまりプロセス置換を使えてない
たまにあれこれプロセス置換でいいじゃんってなる
たまにあれこれプロセス置換でいいじゃんってなる
October 27, 2024 at 5:22 AM
クソザコなので、あまりプロセス置換を使えてない
たまにあれこれプロセス置換でいいじゃんってなる
たまにあれこれプロセス置換でいいじゃんってなる
Rustの抽象化のパワーに惚れ込んだ人、Haskellも触ってほしい
October 27, 2024 at 5:13 AM
Rustの抽象化のパワーに惚れ込んだ人、Haskellも触ってほしい
テック企業の億万長者、OSS開発者にお金を出してくれればいいのに
October 22, 2024 at 4:08 PM
テック企業の億万長者、OSS開発者にお金を出してくれればいいのに
Kotlinのcontext receivers、contextsがcont.resumeを貫通してほしい
```kotlin
suspend fun <T> with(
block: (context(T) () -> Unit) -> Unit,
) {
return suspendCoroutine { cont ->
block {
cont.resume(Unit)
}
}
}
```
```kotlin
suspend fun <T> with(
block: (context(T) () -> Unit) -> Unit,
) {
return suspendCoroutine { cont ->
block {
cont.resume(Unit)
}
}
}
```
June 16, 2024 at 7:44 AM
Kotlinのcontext receivers、contextsがcont.resumeを貫通してほしい
```kotlin
suspend fun <T> with(
block: (context(T) () -> Unit) -> Unit,
) {
return suspendCoroutine { cont ->
block {
cont.resume(Unit)
}
}
}
```
```kotlin
suspend fun <T> with(
block: (context(T) () -> Unit) -> Unit,
) {
return suspendCoroutine { cont ->
block {
cont.resume(Unit)
}
}
}
```
implトレイト、すごい
内部的にはジェネリクスを使ってるのかな
内部的にはジェネリクスを使ってるのかな
April 7, 2024 at 9:31 AM
implトレイト、すごい
内部的にはジェネリクスを使ってるのかな
内部的にはジェネリクスを使ってるのかな
Rust、やはり良い言語だ
undafeに首を突っ込んだ瞬間CかC++で良くねってなったけど、これは用途が悪いんだろう
fat pointerにいつまで経っても慣れないけど、どうしてpointer側でvtableのアドレスを持つだろうな
undafeに首を突っ込んだ瞬間CかC++で良くねってなったけど、これは用途が悪いんだろう
fat pointerにいつまで経っても慣れないけど、どうしてpointer側でvtableのアドレスを持つだろうな
April 5, 2024 at 7:20 PM
Rust、やはり良い言語だ
undafeに首を突っ込んだ瞬間CかC++で良くねってなったけど、これは用途が悪いんだろう
fat pointerにいつまで経っても慣れないけど、どうしてpointer側でvtableのアドレスを持つだろうな
undafeに首を突っ込んだ瞬間CかC++で良くねってなったけど、これは用途が悪いんだろう
fat pointerにいつまで経っても慣れないけど、どうしてpointer側でvtableのアドレスを持つだろうな
Rust、文法だけ勉強してずっと使ってなかったんだけど、いざ使ってみるとすごい思い通りに動いてうれしい
cargoもとてもいい
cargoもとてもいい
April 4, 2024 at 7:37 AM
Rust、文法だけ勉強してずっと使ってなかったんだけど、いざ使ってみるとすごい思い通りに動いてうれしい
cargoもとてもいい
cargoもとてもいい
暗算でbase64のデコードができるようになりたい
March 17, 2024 at 6:58 AM
暗算でbase64のデコードができるようになりたい
最近Verifiable CredentialのW3Cドラフト読んでる
一段落したらライブラリ書くかも
www.w3.org/TR/vc-data-m...
www.w3.org/TR/vc-data-i...
www.w3.org/TR/vc-jose-c...
一段落したらライブラリ書くかも
www.w3.org/TR/vc-data-m...
www.w3.org/TR/vc-data-i...
www.w3.org/TR/vc-jose-c...
Verifiable Credentials Data Model v2.0
Credentials are a part of our daily lives; driver's licenses are used to
assert that we are capable of operating a motor vehicle, university degrees
can be used to assert our level of education, and g...
www.w3.org
February 16, 2024 at 12:56 PM
最近Verifiable CredentialのW3Cドラフト読んでる
一段落したらライブラリ書くかも
www.w3.org/TR/vc-data-m...
www.w3.org/TR/vc-data-i...
www.w3.org/TR/vc-jose-c...
一段落したらライブラリ書くかも
www.w3.org/TR/vc-data-m...
www.w3.org/TR/vc-data-i...
www.w3.org/TR/vc-jose-c...
Kokaの`a.f(b, c)`が`f(a, b, c)`のシンタクスシュガーというやつ、好き
February 10, 2024 at 10:17 AM
Kokaの`a.f(b, c)`が`f(a, b, c)`のシンタクスシュガーというやつ、好き
ハッシュ木の供養
play.haskell.org/saved/vZ40pL9X
play.haskell.org/saved/vZ40pL9X
Haskell Playground
play.haskell.org
January 27, 2024 at 3:56 PM
ハッシュ木の供養
play.haskell.org/saved/vZ40pL9X
play.haskell.org/saved/vZ40pL9X
今までFからAへの普遍射にこの可換図式を使っていたんだけど、uの矢印の向きを極限の図式に合わせたいなあと思い始めてる
January 20, 2024 at 2:17 PM
今までFからAへの普遍射にこの可換図式を使っていたんだけど、uの矢印の向きを極限の図式に合わせたいなあと思い始めてる
供養
```javascript
type PartiallyRequired<T, K extends keyof T> = Omit<T, K> & Required<Pick<T, K>>;
```
```javascript
type PartiallyRequired<T, K extends keyof T> = Omit<T, K> & Required<Pick<T, K>>;
```
January 13, 2024 at 3:49 PM
供養
```javascript
type PartiallyRequired<T, K extends keyof T> = Omit<T, K> & Required<Pick<T, K>>;
```
```javascript
type PartiallyRequired<T, K extends keyof T> = Omit<T, K> & Required<Pick<T, K>>;
```
アイコンをかわいいサメにした
iconbu.com/illust/4728
iconbu.com/illust/4728
可愛いサメのフリーアイコン｜かわいいフリーアイコン・イラストの無料�...
浮き輪をしたサメのフリーアイコン（無料素材） 浮き輪をしている、かわいいタッチの鮫のフリーイラストです。 よければtwi
iconbu.com
January 9, 2024 at 3:09 PM
アイコンをかわいいサメにした
iconbu.com/illust/4728
iconbu.com/illust/4728
Haskell のAPIサーバーといえば、昔Servantを使って小さなアプリを書いたときは良い感じだったな
今どうなのかは分からないけれど……
今どうなのかは分からないけれど……
January 5, 2024 at 3:49 AM
Haskell のAPIサーバーといえば、昔Servantを使って小さなアプリを書いたときは良い感じだったな
今どうなのかは分からないけれど……
今どうなのかは分からないけれど……
いや、コードブロックをサポートしたビューアを作るか、拡張機能あたりでコードブロックを検出してうまいことやってやればいいんじゃないか？
December 30, 2023 at 11:08 AM
いや、コードブロックをサポートしたビューアを作るか、拡張機能あたりでコードブロックを検出してうまいことやってやればいいんじゃないか？
いつかコードブロックがサポートされることに賭けてツイートしてるけど、たぶんされないんだよな
December 30, 2023 at 9:01 AM
いつかコードブロックがサポートされることに賭けてツイートしてるけど、たぶんされないんだよな
命名がお気に入りの型クラス
```Haakell
class (Functor f, Functor g) => f -| g
| f -> g, g -> f where
counit :: f (g a) -> a
unit :: a -> g (f a)
leftAdjunction :: (f a -> b) -> a -> g b
rightAdjunction :: (a -> g b) -> f a -> b
```
```Haakell
class (Functor f, Functor g) => f -| g
| f -> g, g -> f where
counit :: f (g a) -> a
unit :: a -> g (f a)
leftAdjunction :: (f a -> b) -> a -> g b
rightAdjunction :: (a -> g b) -> f a -> b
```
December 30, 2023 at 8:55 AM
命名がお気に入りの型クラス
```Haakell
class (Functor f, Functor g) => f -| g
| f -> g, g -> f where
counit :: f (g a) -> a
unit :: a -> g (f a)
leftAdjunction :: (f a -> b) -> a -> g b
rightAdjunction :: (a -> g b) -> f a -> b
```
```Haakell
class (Functor f, Functor g) => f -| g
| f -> g, g -> f where
counit :: f (g a) -> a
unit :: a -> g (f a)
leftAdjunction :: (f a -> b) -> a -> g b
rightAdjunction :: (a -> g b) -> f a -> b
```