並び順

ブックマーク数

期間指定

  • から
  • まで

1 - 4 件 / 4件

新着順 人気順

scalaの検索結果1 - 4 件 / 4件

  • 関数型言語テイスティング: Haskell, Scala, Clojure, Elixirを比べて味わう関数型プログラミングの旨さ | ドクセル

    「楽しく楽にcoolにsmartに」を理想とするprogrammer/philosopher/liberalist/realist。 好きな言語はClojure, Haskell, Elixir, English, français, русский。 読書、プログラミング、語学、法学、数学が大好き! イルカと海も大好き🐬

      関数型言語テイスティング: Haskell, Scala, Clojure, Elixirを比べて味わう関数型プログラミングの旨さ | ドクセル
    • Cyclic Barrierで安全なじゃんけんを実装する feat. Scala + Cats Effect - Lambdaカクテル

      じゃんけんという遊びがある。 じゃんけんは、離散的に定義された三つの手(グー・チョキ・パー)の非推移的な優劣関係――グーはチョキに勝ち、チョキはパーに勝ち、パーはグーに勝つ――を用いて勝敗を決定する二人以上参加可能な競技的ゲームです。遊戯手順は、参加者が向き合って「じゃんけん」の掛け声とともに拳を振り下ろし、合図(「ぽん」「ほい」など)で選択した手を同時に提示し、その瞬間に優劣規則を適用して勝者・敗者・あいこ(同手による引き分け)を判定し、あいこの場合は同一手順を繰り返すだけという、実装・解析が容易で確率論やゲーム理論の導入例としても活用される簡潔なゲームです。 -- ChatGPT o3 この知的なゲームには問題がある。「じゃん」「けん」「ぽん」のタイミングで各プレイヤーが同期しなければならないのだ。同期せずに手を出すことは重大なルール違反だ。 Scalaの並行プログラミング用のライブラ

        Cyclic Barrierで安全なじゃんけんを実装する feat. Scala + Cats Effect - Lambdaカクテル
      • より安全で単純な関数定義

        class: center, middle # より安全で単純な関数定義 関数型まつり 2025 2025/06/14<br> @gakuzzzz --- class: left, top ## 自己紹介 * 中村 学/Manabu NAKAMURA * Twitter: [@gakuzzzz](https://twitter.com/gakuzzzz) * Tech to Value Co.,Ltd. CEO * [Alp, Inc.](https://thealp.co.jp/) Tech Lead --- class: center, middle ## 前置き --- class: center, middle ## このセッションでは ##<strong>モナド</strong>の話はしません! ## 安心して聞いて下さい --- class: left, top ## はじめに

        • ドメインモデリングにおける抽象の役割、tagless-finalによるDSL構築、そして型安全な最適化

          関数型まつり2025の発表資料です。 https://fortee.jp/2025fp-matsuri/proposal/f3a8809b-d498-4ac2-bf42-5c32ce1595ea

            ドメインモデリングにおける抽象の役割、tagless-finalによるDSL構築、そして型安全な最適化
          1