あらゆるプログラミング言語の最先端を行くScala 3のマクロ - 貳佰伍拾陸夜日記
この記事はScala Advent Calendar 2023の11日目です. 最近, 趣味でScala 3のコードをだいぶ書いていて, マクロの使い心地のよさに感心しました. 理論的な背景も含めて, 産業界で多く使われているプログラミング言語の中では筆者の知る限りぶっちぎりに優れたマクロを備えています. 他の言語にも見習ってほしいですね. たぶん見習おうとすると処理系を作り直す羽目になりますが. この記事ではScala 3のマクロのすごいところを例を使って紹介します. マクロの実践的な例 準備 実践的な例: NamedArray – 名前でアクセスできる配列 NamedArrayのマクロ実装 記述が明瞭 メタレベルのプログラムの扱い クォートとスプライスがある パターンマッチもある 生成コードに型がつく 多段階計算に基づいている クォートとスプライスの本当の意味 ネストしたスプライス ネ
Scala.js + Javy で Scala を WebAssembly 上で動かす
TeaVMのsbt pluginを作った 〜 酢豚とお茶の出合い 〜 ScalaからWebAssemblyへの変換 - xuwei-k's blog
JavaScriptでScalaのFutureを表現する
GitHub - softwaremill/tapir: Declarative, type-safe web endpoints library
With tapir, you can describe HTTP API endpoints as immutable Scala values. Each endpoint can contain a number of input and output parameters. An endpoint specification can be interpreted as: a server, given the "business logic": a function, which computes output parameters based on input parameters. Currently supported: Akka HTTP Routes/Directives Http4s HttpRoutes[F] Netty Finatra FinatraRoute Pe
Pantsbuild
Pantsbuild: The ergonomic build system Welcome to the Pants documentation hub! Pants is a fast, scalable, user-friendly build system for codebases of all sizes. It's currently focused on Python, Go, Java, Scala, Kotlin, Shell, and Docker, with support for other languages and frameworks coming soon. Here you'll find guides to help you get started with Pants, comprehensive documentation on how to co
ZIO | ZIO
Type-safe, composable asynchronous and concurrent programming for Scala
%25E7%25B6%25B2%25E7%25BE%2585%25E6%2580%25A7%25E5%2588%25A4%25E5%25AE%259A.html)
貧者の Algebraic Data Types と(浅い)網羅性判定
こんにちは､びしょ～じょです｡ これは TypeScript アドベントカレンダー 2020 の3日目の記事です｡ ちなみに12月3日は冴草きいちゃんの誕生日です｡大変めでたいですね｡ 1. はじめに 関数型プログラミングといえばなんですか? はい円楽さん早かった! はいはい､ パターンマッチング､いいですね｡ パターンマッチングといえばプリミティブな数値や文字列のリテラルのみならず､ユーザが定義した型もその構造によってマッチできます｡回りくどい言い方をしましたが代数的データ型(Algebraic Data Types, ADTs)です｡ listing 1.1. 例えば OCamltype 'a option = | None | Some of 'a let to_default default o = match o with | None -> default | Some v -
経験5年のHaskellユーザがScalaを仕事で半年使ってみた
不動点コンビネータを用いた無名再帰関数の実行まとめ - Qiita
諸般の理由で『Pythonのlambda式を用いたラムダ計算の基礎表現』を書いた後にHaskellに触れたところ，無名再帰関数を実行する不動点コンビネータfixがとんでもなく簡単に書けたため，同じ方法で他のプログラミング言語でもできないか試したところ，これまたあっさりできたので，まとめメモ的に新しく記事にした． このような内容がQiitaや書籍，ネット上に星の数の更に星の数乗ほどあることは承知しているが，この手の話はYコンビネータが大きな割合を占めており（実際，元記事でも取り上げている），関心のある人々の数多ある参考資料のひとつ程度に捉えてもらえると幸いである．ツッコミ，編集リクエスト歓迎． 不動点コンビネータの定義 不動点コンビネータとは，$f(g(f))=g(f)$が成り立つ関数$g$を指す．この記事では，Haskellの呼称であるfixを不動点コンビネータの関数名とする． Haske
Open-sourcing Polynote: an IDE-inspired polyglot notebook
We are pleased to announce the open-source launch of Polynote: a new, polyglot notebook with first-class Scala support, Apache Spark integration, multi-language interoperability including Scala, Python, and SQL, as-you-type autocomplete, and more. Polynote provides data scientists and machine learning researchers with a notebook environment that allows them the freedom to seamlessly integrate our
10年モノのサービスをアーキテクチャから再設計─はてなブックマークがScalaとDDDを使う理由｜ハイクラス転職・求人情報サイト AMBI（アンビ）
10年モノのサービスをアーキテクチャから再設計─はてなブックマークがScalaとDDDを使う理由 10年以上運用されているサービスには、さまざまな技術的な負債が発生しています。今後の継続的な改善のため、いったん新規開発を止めて4年かけて全面的なリニューアルを実施した「はてなブックマーク」の開発者に、プロジェクトの課題や解決する手法などを聞きました。 改善1つに数カ月かかるなら全てを書き換えられないか 2000年代にトレンドだった開発手法の負債 過去の開発意図を探る考古学的手法 データセンター移行も見据えて刷新しよう ドメインモデル設計とScalaとマイクロサービス化 コアロジックにはScalaを採用 きちんとしたドメインモデルによる設計と実装を継続したい 段階的なリリースとデータの移行という2つの大きな課題 求められる機能に沿ったデータベーススキーマに再構築 新旧の2システムを維持しながら
Open Recursion in scala もしくは関数型もオブジェクト指向も仲良くしようよぉのお話 - ろじかるんるんものがたり
「例外を投げない」という選択肢をとる言語 - Qiita
Freer doesn’t come for free
The question on how to best structure functional programming applications in either Haskell or Scala is still out with various ways to achieve modularity, encapsulation and testability. In the past I have been an advocate of the `Eff` monad, based on Oleg Kiselyov’s work on “Freer monads, more extensible effects”. However, after being involved with 2 large applications (both in Scala and Haskell)
Finagle
Finagle is an extensible RPC system for the JVM, used to construct high-concurrency servers. Finagle implements uniform client and server APIs for several protocols, and is designed for high performance and concurrency. Most of Finagle’s code is protocol agnostic, simplifying the implementation of new protocols. Finagle is written in Scala, but provides both Scala and Java idiomatic APIs. GitHub p
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
From Tagless-Final to Typed-Final: Program Transformations in the Final Style
GitHub - topshell-language/topshell: TopShell - a purely functional, reactive scripting language
GitHub - oleg-py/better-monadic-for: Desugaring scala `for` without implicit `withFilter`s
anopara
