Masaya
banner
m-simplifier.bsky.social
Masaya
@m-simplifier.bsky.social
型理論・低レイヤーの話に興味があるプログラミング好き

Web開発のお仕事をしたい (学んでいるのはReactとFastAPIメイン)

推し言語:Rust、Haskell

趣味の開発:ゲーム開発、プログラミング言語の自作
gist.github.com/M-simplifier...

reactive-bananaとglossを組み合わせるためのコピペで使えるglue codeを書いた

ここ最近ずっとHaskell周りばかり触ってる

ちょっと書いてみてる感じだと、FRPかなり楽しいぞと思った

関数型関係は本当に中毒性が高いなあ・・・

#haskell #frp #関数型プログラミング #関数型リアクティブプログラミング #gloss #reactive-banana
Glue code for using reactive-banana with gloss.
Glue code for using reactive-banana with gloss. GitHub Gist: instantly share code, notes, and snippets.
gist.github.com
April 7, 2025 at 11:52 AM
Reposted by Masaya
qiita.com/advent-calen...

Haskellアドベントカレンダーの枠を作成しました。

#Haskell #qiita #adventcalender
Haskell - Qiita Advent Calendar 2024 - Qiita
Calendar page for Qiita Advent Calendar 2024 regarding Haskell.
qiita.com
November 3, 2024 at 10:40 AM
zenn.dev/lotz/article...

全問正解できて本当に嬉しかった。

やっぱり自分はHaskellが好きみたいだ。解くのも考えるのもすごく楽しかった。

モナドって単なる型クラスのはずなのに、いろいろなことを統一的なインターフェイスでスッキリと表現できて、関数型の中に手続き的な記述も自然に埋め込める。すごいなあと思った。

まだ自分は数学的(圏論的)な理論的背景の理解が追いついていないから実用的な側面でしか見れないけど、それでもすごいと感じる。きっと理論も深堀りすれば感動ももっと深まるんだろうなと思う。

もっとHaskellを、型システムを学びたい。

#haskell
「Haskellのモナド完全に理解した」試験問題
zenn.dev
November 7, 2024 at 6:25 AM
先日公開した記事です。

【Siv3D】関数型×ゲーム開発に挑戦してみた~テトリス編~
zenn.dev/m_simplifier...

#Siv3D #ゲーム開発 #プログラミング #cpp #gamedev
【Siv3D】関数型×ゲーム開発に挑戦してみた~テトリス編~
zenn.dev
October 27, 2024 at 11:57 AM
Bluesky始めました!

プログラミングが好きで、主にWeb開発を学んでいます。

他には型理論と低レイヤーに興味があり、推し言語はRustとHaskellです!

技術を中心に、いろいろなつながりを広げられたらと思っています。

よろしくお願いします!

#自己紹介 #プログラミング #Web開発 #Rust #Haskell
October 27, 2024 at 9:44 AM