19:12:37
icon

tesaguri/dhall-regex: An experimental Dhall type for Rust's regular expression syntax tree (RE2 syntax)
github.com/tesaguri/dhall-rege
数百行に及ぶDhallファイルで正規表現を組み立てたりしていると(`Text`以外の)型がないことが心許なくなってくるので、割と真剣にこれを実用したい気持ちがある。しかしDhallは文字列操作を制限する設計思想(<discourse.dhall-lang.org/t/tex>)なのであまり実用的な操作が出来ないと思われるのよなあ

Web site image
GitHub - tesaguri/dhall-regex: An experimental Dhall type for Rust''s regular expression syntax tree (RE2 syntax)
19:13:26
icon

> 例えば`"foo"`を`"[Ff][oO][oO]"`に変換するような処理を書こうにも、文字列の置換として書くしかなくて結果を構文木として取り出せないのであまり嬉しくない
twitter.com/tesaguriguma/statu

19:16:10
icon

コンストラクト時にユーザに文字列の代わりにコードポイントの列を手動で入力してもらう決まりにすれば(e.g. `["f", "o", "o"]`)やりようはあるかも知れないけど、苦行が過ぎるし、逆に誤りを招いて本末転倒になりかねない

19:51:47
icon

祝・3D化!「けものフレンズVぷろじぇくと」シマリス・ウサギコウモリ・ジャングルキャット3Dお披露目配信決定!|Age Global Networks株式会社のプレスリリース
prtimes.jp/main/html/rd/p/0000
【3Dお披露目配信】僕のしっぽもふもふしてええで!【 / 】 - YouTube
youtube.com/watch?v=A7sB2Fd037

Web site image
祝・3D化!「けものフレンズVぷろじぇくと」シマリス・ウサギコウモリ・ジャングルキャット3Dお披露目配信決定!
Attach YouTube