Scalaライブラリのプロジェクト設定にベストプラクティスを適用してくれるsbt-typelevel - 貳佰伍拾陸夜日記
この記事はScala Advent Calendar 2023の13日目です. Scalaのライブラリを作るとき, 複数のScalaバージョンに対応させてクロスプラットフォーム(JVM, Scala.js, Scala Native)に対応させて, CIも設定して...とやるのは割と面倒です. 実はsbt-typelevelというsbtプラグインを使うと, この辺の面倒な設定をほとんどいい感じにやってくれます. この記事では, sbt-typelevelの基本的な導入方法と, 細かい設定ノウハウを紹介します. sbt-typelevelとは 基本設定 プラグイン設定 build.sbt設定 コンパイラ設定 クロスプラットフォーム設定 CI設定 クロスバージョン ターゲットブランチ カバレッジ計測設定 リリース設定 アカウントの準備 古いアカウントを持っている人 リリースサイクルの指定 アー
Scala 3のマクロTips 100連発 - 貳佰伍拾陸夜日記
この記事はScala Advent Calendar 2023の12日目だ! Scala 3のマクロを書く上で役に立つ, メタれたTipsたちを紹介するぜ! 勢いに任せて書いていくからサンプルコードがちゃんと動かなかったらごめんな. 一応, Scala 3.3.1を想定しているぞ. マクロ 1. メソッドをマクロとして定義する 2. マクロの本体を実装する 3. マクロ実装の記法の意味を知る 4. マクロで生成されるコードの内容を確認する 5. 引数の式を評価せずに使う 6. 返り値の型をマクロの実行結果によって決める 7. マクロの返り値の型を制限する 8. マクロの返り値の型を書かない 9. マクロで計算された型をテストする 10. マクロで計算された型をScalaTestでテストする 式 11. 定数式の値を得る 12. 定数式でなければコンパイルエラーにする 13. 定数値の式を作
あらゆるプログラミング言語の最先端を行くScala 3のマクロ - 貳佰伍拾陸夜日記
この記事はScala Advent Calendar 2023の11日目です. 最近, 趣味でScala 3のコードをだいぶ書いていて, マクロの使い心地のよさに感心しました. 理論的な背景も含めて, 産業界で多く使われているプログラミング言語の中では筆者の知る限りぶっちぎりに優れたマクロを備えています. 他の言語にも見習ってほしいですね. たぶん見習おうとすると処理系を作り直す羽目になりますが. この記事ではScala 3のマクロのすごいところを例を使って紹介します. マクロの実践的な例 準備 実践的な例: NamedArray – 名前でアクセスできる配列 NamedArrayのマクロ実装 記述が明瞭 メタレベルのプログラムの扱い クォートとスプライスがある パターンマッチもある 生成コードに型がつく 多段階計算に基づいている クォートとスプライスの本当の意味 ネストしたスプライス ネ
AWS Lambda FunctionをScala.jsで書いて爆速Scalaを満喫しよう - Lambdaカクテル
この記事は、Scala Advent Calendar 2023の5日目の記事です。 qiita.com 大遅刻してしまいましたが、Scalaは遅延評価できるのでモーマンタイですね。 この記事では、Scalaをクラウドネイティブな環境で使う例の紹介として、ScalaをJavaScriptコードにトランスパイルしてAWS Lambdaで動作させる方法を紹介します。 愉快な遠足の始まりだ!!! Scalaプラットフォームの発展 Scalaはクラウドネイティブ時代に乗り遅れている？(いえいえ) 想定環境 Scala.jsで快適にLambda関数を書いてみよう 最低限のScala.jsを実装する 設定 トランスパイル Scala.jsコードをLambda関数の呼び出し規約に合わせる 規約を実装する Lambda関数を作成する イベントなどの入力 ここまでのまとめ Scala.jsでライブラリを利用
Scalaはもうだめなのか？…というかJVM言語がもうだめじゃん？｜sugitani
AndroidのためのJava/Kotlinはスコープ外とします まず断っておくと、俺はScalaが好きだ。 自分が作ったScalaプロダクトは二個現存している。うち一つはまだまだ自分が開発している。というか今は会社を作って1人でプロダクトを作っている身なのだが、それもScala3+ZIO2でゴリゴリ書いている。 でも残念、もうScalaというかJVM言語がオススメできません。TypeScriptかGoかRustをオススメします。 どういうこと？まずこの記事を見ていただくのが一番分かりやすい。 https://aws.amazon.com/jp/builders-flash/202310/java-serverless-saas-backend/?awsf.filter-name=*all 素晴らしいエントリーだ。読みに行かないせっかちな方のために概要を紹介する JavaプロダクトをAWS
Scala 3 boundary/break で optional chaining と error short circuit
また、Rust ではResult で失敗する関数や Option で None になる処理に ? をつけることで処理を short-circuit して抜け出せる. これは TypeScript や Kotlin の optional chaining を Result 型にも拡張したものとしてみることができる. Rust: Result の short-circuit pub fn f() -> Result<i32,String> { let str = may_fail_with_string()?; let i = str.parse::<i32>().map_err(|_| "error message".to_string())?; Ok(i) } fn may_fail_with_string() -> Result<String,String> { todo!() }
『データ指向プログラミング』読んだ / OOP以前とDOPとの対比と差分などについて - Lambdaカクテル
先々月あたりに邦訳が出た『データ指向プログラミング』を読んだ。めちゃくちゃざっくり言うとオブジェクト指向における「データと振舞いの一体化」というドグマを手放させるもので、めちゃくちゃざっくり見るとC言語的な構造化プログラミングの世界に回帰するようにも見えることから、世間的には色々な評価があるらしい。 イミュータビリティが良い、みたいな話は重々承知なので適宜飛ばしながら読んだ。また、lodashまわりの話は単なるライブラリ紹介であり、特筆することがないので飛ばした。 こういう感じで言及されている zenn.dev slides.com 自分なりに読んで思ったことをまとめる。面白い本だったし、自分の思想にも近しいものがある。僕は普段ScalaやTSを書いているので、その観点からの感想が多いです。OOPの歴史に詳しいわけではないので、不足があったらすみません。 OOP以前の世界との差異 イミュー
Scala 3 で一般の再帰型を作る - Qiita
再帰型（英: recursive type）とは、型の定義中にそれ自身の型が出現するような再帰する型のこと。 出典: 再帰データ型 - Wikipedia Scala で一般の equirecursive type を作る方法を述べる。特に、Scala 3 の match type を利用すると equirecursive type がキャスト無しで実現できることを述べる。 再帰データ型 まず、データ型 D が再帰データ型であるとは、 D の定義が D に言及することである。 Scala ではリスト構造を表現するために scala.collection.immutable.List という単方向連結リスト構造をよく使う。List は実際には共変型引数 A を持つ List[+A] として定義されているが、簡単のため A = Int と特殊化し、List[Int] のことを考えてみることにす
Google CloudのCloud FunctionsでScalaを実行する - Lambdaカクテル
仕事でCloud Functionsを触る機会があったのでメモ。この記事はScala Advent Calendar 2023の2日目の記事です。 qiita.com 昨日の記事はこちら。 zenn.dev AWSがLambdaを提供しているのと同じく、Google CloudはCloud Functionsというサービスを提供している。Cloud Functionsは様々なランタイムをサポートしているが、Java 17もサポートしているため、Scalaも動作させられる。 cloud.google.com この記事では、Cloud FunctionsでペライチのScalaファイルを動作させる方法を説明する。 Functionの概要 このFunctionは、JSON形式でHTTPリクエストを受け取り、nameフィールドを使って"Hello, $name!"を返す。 ファイルの準備 今回もSc
ScalaのRPCライブラリAirframe RPCを使うとNext.js風に簡単にサーバ=クライアント通信できる - Lambdaカクテル
Scalaの便利かつモジュラーなライブラリ群であるAirframeシリーズに収録されているAirframe RPCで遊んでみたところ、とても面白かったので紹介。 wvlet.org wvlet.org あらすじ Airframeとは Airframe RPC Scala(JVM)とScala.jsとでサーバクライアント通信を行う プロジェクト構成 API定義 サーバ実装 フロントエンド実装 まとめ あらすじ 先日社内でちょっとした理由があってNext.jsを集中的に書く機会があった。最近のNext.jsにはServer Actionsという機能があり、クライアントサイドからサーバサイドの関数をほぼ透過的に呼び出すことができる。これを使って、Prismaを使ったCloudSQLへの操作がものすごく短距離で可能になり、感銘を受けた。 nextjs.org Server Actionsを使うと、
Scala入門 - vjedogonia
入門というか再開 昔仕事でApacheSpark触ってて、そこでScalaを触った。 結構気に入って、マイ言語がJavaからScalaにかわりかけたけど、かわりきる前にJavaに戻ってた。 sbtが頻繁にバージョンアップしてた（バージョン1に到達してなかったし） Scalaが頻繁にバージョンアップしてた（2.9,10,11,12とどんどんかわっていってたｗ） 起動時間が長かった（Javaと比べて圧倒的に遅い） 上記がその理由だが、PCのスペックが上がった（HDD/i3/16GB→NVMe/Ryzen9/64GB）ので、再度入門してみようと思う。 ちょっとツールを書くときに Scala を選べるように。 要約 あまり手順をすべて記事にするつもりはなくて、ひっかかったところだけ書いていく。 基本的に、以下のサイトみながらやったんだけど、途中でとまらなかった。 めっちゃハードル下がったなぁ。 b
株式会社はてな後援、Scalaわいわい勉強会を開催しました！ #scala_waiwai - Scalaわいわいブログ
さる2023年10月13日にプログラミング言語Scalaの勉強会『Scalaわいわい勉強会』を開催しました。この記事では会場の様子や勉強会の理念、その他もろもろを紹介します(この記事はid:Windymeltとid:tanishiking24による共同執筆です)！ わいわいしている様子（活況でした） Scala Tokyo meetup is back! 🤩 26 engineers gathered for 2 presentations and 4 LTs. The meetup was friendly and lively, and everyone looked forward to the next one! Thanks to @hatenatech for providing the nice venue and food🍣🍱 #Scala #scala_waiwai
Scalaわいわい勉強会へ参加した - Magnolia Tech
scala-tokyo.connpass.com 最近、圧倒的なScala情報の発信でおなじみの id:Windymelt さんによる主催の「Scalaわいわい勉強会」に参加した。 場所は、「はてな東京オフィス」……1年に1回くらいビルの前を通ることは有っても、コロナ禍が始まってから中に入ることの無かった場所に久しぶりに入ることができた。 久しぶりの、はてな東京オフィスに来た https://t.co/KLKKrO9TCy— magnoliak🍧 (@magnolia_k_) 2023年10月13日 ちょっと遅れて会場に到着、その時点ですでに id:tanishiking24 さんの「Scala Days Madrid レポート」が始まっていた。発表の後も含めて海外のScalaの動向が聞けたのと、ScalaDaysの様子のオシャレ映像が良かった。 tanishiking24.hatena
Scalaわいわい勉強会 参加した - ふんわり放牧
scala-tokyo.connpass.com 株式会社はてな 東京オフィスで開催されたScalaわいわい勉強会に参加した。 発表内容の感想ではなく、参加して漠然と思ったことについて書く。個人の日記です。 Scala、10年前に本当に少しだけ触った程度で何も覚えていない（github.comに辛うじてコードが残っている）のだけれど、 この1年はJVM言語で仕事をしているのもあり、勉強会の運営をしている id:Windymelt にも紹介いただいたのもあって、ふらっと参加してきた。 Scalaのコミュニティというか関数型プログラミング言語のコミュニティ、ふらっと参加するには恐れ多い印象があったのだけれども*1、 これくらいのノリであれば全然次回も参加したいな〜となるくらいの感じであったな。 参加前に これだけ読めばOK！Scalaの環境構築2023 - Lambdaカクテル を読んでて、手
http4s で簡単な JWT 認証
この記事は以下の記事の続きです. http://localhost:8080/echo/name に GET リクエストを送ると name が返ってくるサーバーは以下のように書けます. （http4s の最小構成: サーバーのコードと同一.） // 非同期ランタイム //> using lib "org.typelevel::cats-effect:3.4.5" // http 関係 // http の基本型など //> using lib "org.http4s::http4s-core:1.0.0-M38" // ルーティング DSL など //> using lib "org.http4s::http4s-dsl:1.0.0-M38" // http サーバー //> using lib "org.http4s::http4s-ember-server:1.0.0-M38" impo
4年ぶりのScala国際カンファレンス、Scala Days Madrid 2023 に参加しました！ - たにしきんぐダム
画像元: https://twitter.com/scaladays/status/1701616520546206039 Scala の世界最大のオフラインカンファレンス、Scala Days Madrid 2023 に参加してきました。Scala Days は例年に2回、アメリカとヨーロッパで開催されており、今年は Madrid での開催でした。 scaladays.org コロナ期間中 Scala Days は開催されておらず、2019年以来4年ぶりの開催!(前回はLausanne開催でした) developer.hatenastaff.com 会場は世界中から集ったたくさんの人で賑わい、参加者の熱意の高さから感じられるとても良いイベントでした。その中で印象に残ったセッションの紹介を交えつつ、会場の様子をレポートしたいと思います。 カンファレンス本体の話に移る前に、周辺イベントを紹介
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
フロントエンド初心者の大学生が Scala.js で Web アプリを作ってみた話
From Tagless-Final to Typed-Final: Program Transformations in the Final Style
SNUnit | Scala Native NGINX Unit
2023/10/13 Scalaわいわい勉強会 まとめ #scala_waiwai
