Jakarta EE の移植性を支える Technology Compatibility Kit (TCK) のソースコードを覗いてみる
この記事は， Jakarta EE / Java EE Advent Calendar 2025 の 11 日目の記事です． 先日，Jakarta EE 仕様の最新版である Jakarta EE...
5
0
Comment0
23 search resultsShowing 1~20 results
Stocked
You need to log-in
Scala プログラムの再帰関数を 3 つの方法でコンパイル時計算しようとしてみた
この記事は， Scala Advent Calendar 2024 の 23 日目の記事です． Scala 3 の インライン (inline) を使ったメタプログラミングで，再帰関数をコンパイ...
2
0
Comment0
Glasgow Haskell Compiler の書換え規則における高階型のパターン照合
この記事は Haskell Advent Calendar 2023 の 18 日目の記事です． はじめに 2023 年 10 月にリリースされた GHC 9.8 で，GHC の書換え規則におけ...
7
0
Comment0
Glasgow Haskell Compiler の WebAssembly バックエンドを一足早く動かしてみる
この記事は Haskell Advent Calendar 2022 の 19 日目の記事です． はじめに 2022 年 11 月，Glasgow Haskell Compiler (GHC) ...
10
2
Comment0
正規表現の微分を Haskell で実装してみる
この記事は 正規表現 Advent Calendar 2022 の 19 日目の記事です． いったい何番煎じかわかりませんが，正規表現の微分を Haskell で書いてみたときのメモが残っていた...
16
4
Comment0
Scala 3 で導入されたカインド多相 (kind polymorphism) とは
この記事は Scala Advent Calendar 2021 の 20 日目の記事です． はじめに 2021 年 5 月にリリースされた Scala 3 には，型システムや構文に大幅な改善が...
4
1
Comment0
Scala で「1: 1」を書けるようになった話
この記事は Scala Advent Calendar 2020 の 15 日目の記事です． はじめに Scala 2.13 で 1: 1 という一見不可解な式を書けるようになったので紹介します...
5
0
Comment0
JAX-RS/SSE と Redis Pub/Sub でリアクティブなチャットアプリを作る
はじめに リアクティブプログラミングとメッセージングのお勉強で，JAX-RS の SSE (Server-Sent Events) API と Redis の Pub/Sub を使って簡単なチャ...
2
1
Comment0
Haskell の 3 つのバナナ
この記事は Haskell Advent Calendar 2019 の 16 日目の記事です． Haskell プログラマとして知っておくべき 3 つのバナナを紹介します． その 1: Arr...
16
9
Comment0
Haskell の Fixity Resolution を試してみる
この記事は Haskell Advent Calendar 2018 の 19 日目の記事です． Haskell の言語仕様書にある，演算子を含む式の構文解析アルゴリズムを試してみます． はじめ...
20
7
Comment0
TestNG で実行中のテストメソッドをリスナで可視化する
TestNG あるある「ここはどこ？」 コンソール上で TestNG のテストをふつうに流すと，どのテストメソッドを実行中かといった情報を何も出してくれません． 全部のテストがすんなり流れてくれ...
0
0
Comment0
"Open with Code" メニューを Nautilus に追加する (Ubuntu)
この記事は Visual Studio Code Advent Calendar 2018 の 12 日目の記事です。 Windows で VS Code をインストールすると，ファイルブラウザ...
11
5
Comment0
Jersey で見えない例外をログに流す
はじめに Jersey で内部エラーが起こると，ステータス 500 でエラーメッセージとともにレスポンスが返ってきますよね．ところが，ときどき困ったことに， レスポンスに詳細なエラーメッセージが...
2
2
Comment0
YAML のハマりどころ
Ansible とかで YAML 書いててハマったところ． YAML にはデータ型がある 何をいまさらといった話ですが，YAML のスカラ型には文字列型以外に数値型や論理型もあるということを意識...
3
4
Comment0
VS Code でフロントマターのある AsciiDoc を扱う
Jekyll とか Hugo とかで AsciiDoc や Markdown を書くとき，ファイルの先頭に YAML (たまに TOML) を入れることがあります． フロントマター (front...
16
26
Comment0
Hugo で AsciiDoc しようとしてハマった話
環境 OS: Ubuntu 16.04 Hugo: v0.37 Hugo は snap install hugo でインストールした． 事象 .adoc ファイルを含むサイトをビルドしようとする...
0
0
Comment0
Coq のカリー・ハワード同型周辺について
Coq のカリー・ハワード同型周辺についてメモ．間違いあればご指摘ください． Coq と CoC Coq は元々，Thierry Coquand 氏により提案された Calculus of Co...
9
9
Comment0
Visual Studio Code の画面のちらつきを解消する
Ubuntu にインストールした VS Code で、ステータスバーなどがちらつく現象が起こったので、その解決方法を調べました。 調べると、VS Code のイシューに関連する投稿がありました。...
6
6
Comment0
スーパーモナドについて
この記事は Haskell Advent Calendar 2017 (その1) の 10 日目の記事です。 スーパーモナド (supermonad) という気になる概念を見かけたので、ちょっと...
29
10
Comment0
F# Data 型プロバイダの内部について
この記事は F# Advent Calendar 2016 の20日目の記事です。 今年発表された PLDI 2016 の論文 "Types from data: Making structur...
5
2
Comment0
23 search resultsShowing 1~20 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles