ABAB↑↓BA

Flixの勉強用のdiscordを作りました！ 個人的な備忘録な感じですが、学習の覗き見、質問やイベント告知など大歓迎です！ discord.gg/Kj5MTdXV6E

FlixでLibGDX使ってOXゲーム作った 論理型で勝利判定書いた気持ちい

既に一昨日の自分より良いコード書けそう

Flixよさそう。そしてZennはシンタックスハイライト対応してほしい。 zenn.dev/ababup1192/art…

「Ghosttyの凄さを 技術的に深ぼってく」の発表資料です！ RTして！ docswell.com/s/fumiya-kume/… #terminalnight

@Lugendre 型クラスあるし、モナドあるし、do記法あるし effectあるし　実質、尖ったhaskellぞ！？ doc.flix.dev/monadic-for-yi…

@ababupdownba でたな、マイナー言語マン！

実は、Haskellerが全然いない

@k2works zenn.dev/ababup1192/art… 記事量産しているので、よろしければ…！

この言語面白そう The Flix Programming Language

@_Nnwww zenn.dev/ababup1192/art… 記事量産しているので、よろしければ…！

Haskellとかも書かなくなって幾星霜、golangでお金をもらう生活してるけど、flixとかいう言語がすさまじすぎて遅ればせながらぶちあがってしまった flix.dev

またFlix記事を書きました 代数的Effectについて、結構詳しめに説明 副作用のテストはあるあるの苦痛なので、大多数に結構刺さるかと Java->Flix 副作用中心の設計をEffect指向へ転換し、テスタビリティを飛躍的に向上させるリファクタリング手法｜ABAB↑↓BA zenn.dev/ababup1192/art… #zenn

@miura1729 なるほど、あまりコンパイラの知識には明るくないですが、メタ情報としてパースのフェーズなどをeffectで表現したりなどですかね…？ flixだと、機能ではなく型としてのEffectもある？ようなので、そういう意味では、副作用だと意味が狭いかもしれません！学びです

@ababupdownba ある関数がtrueを返す時に満たさなければならない条件式、みたいな感じのものです。自作しているRubyのAOTコンパイラではこんな感じの情報を抽出してイテレータから自動SIMD命令変換とかロックの自動挿入を実現しています。

effectシステムは副作用の有無だけではなく、関数・メソッドの処理の概要を抽象的に表現できるので有効だと思っている。なので副作用にこだわるべきではないと思う

zennさん　flixのシンタックスハイライトをお願いします

勢いに乗って、3記事目 x.com/ababupdownba/s…

Flix 新たな記事を公開しました！ プログラミング言語Flixで実験的にWebフレームワークFlame_Flixを実装しました｜ABAB↑↓BA zenn.dev/ababup1192/art… #zenn

引き続き、Flixいじいじしているけど Effect多相の管理がとても難しい 容易にhandlerストップする

Flix の発表楽しみ！

@lagenorhynque 言語のコアとしては、実用のハードルを超えていて、使いたくなってます！ ただ、例えばWEBサーバ立てるなどのケースでは、リフレクションやマクロ多用している既存のフレームワークは相性悪いので、 自分でシンプルな(honoとか)フレームワークを作るアプローチでいけないかといじり始めてます

@ababupdownba うれしいです! エフェクトシステムに興味が高まって、ライブラリではなく言語レビルで標準対応しているものを探る過程でたまたま認識しました。 実用的なJVMの関数型言語というと長らくScalaとClojureという印象でしたが、公式ドキュメントに一通り触れてみてFlixも実用していきたくなっています。

非常に熱い言語、わかる。 effect systemに限らず、個人的に言語レベルで求めていた機能群と言語設計の方向性が良い感じだなと。 私も今年の「関数型まつり」で発表テーマにしようと数日前から考えていました。 x.com/i/status/20360…

さっくり書きました。非常に熱い言語です。 究極のマルチパラダイム次世代プログラミング言語Flix｜ABAB↑↓BA zenn.dev/ababup1192/art… #zenn