TSC

こんにちは、デジスマチームでエンジニアをやっている堀田です。 先日、社内のTechTalkで「TypeScriptをAWS Lambdaで実行する」というテーマで話をしました。 TSは型で色々できるのだから、Lambdaの実装を型だけでやれたら嬉しいですよね？という内容です。 この記事ではその時の話を紹介します。

2024年11月26日に、QYResearchは「リフトボートジャッキングシステム―グローバル市場シェアとランキング、全体の売上と需要予測、2024～2030」の調査資料を発行しました。本報告書は、リフトボートジャッキングシステムの世界市場を分析し、主要企業の売上、動向、市場規模、市場シェア、ランキングなどを掲載しています。また、地域別、国別、製品タイプ別、用途別に市場を分析しています。2019-2030年の売上に基づいて、リフトボートジャッキングシステムの市場規模を推計と予測しています。企業が事業成長戦略を策定し、競争環境を評価し、市場ポジションを分析し、リフトボートジャッキングシステム関連…

こんにちは。iimonでエンジニアをしている林と申します。 mockについての解説記事を過去3回に渡って書いてきましたが、 spyを最近多用しているのでspyについても纏めてみました。 今回の記事は前回までの記事の知識を前提に記載させて頂きます。 よろしくお願いします。 https://tech.iimon.co.jp/entry/2023/12/11/121847 https://tech.iimon.co.jp/entry/2024/02/26/162500 https://tech.iimon.co.jp/entry/2024/06/18/160000 spyとは spyとは以下の特徴が…

こんにちは。エンジニアの nishida です。giftee Point Base というポイントシステムのプロダクトを開発しております。 今回、会社の dev training 制度を使用して TSKaigi Kansai 2024 に参加しましたので、特に印象に残ったセッションについて書こうと思います。 セッションレポート① 型チェック 速度改善 奮闘記⏳ Kenta TSUNEMI さんによるセッションです。 セッションの内容は、とあるプロダクトにおいて型チェックに数十秒かかっている状況を半減させたというものでした。 （特に Naming Complex Types を考慮することが一番…

の続き。eslint-plugin-neverthrow に手を入れて動くようにしてみるぞー！そして記事を書き終わるぞー！ eslint-plugin-neverthrow に手を入れてみる そのままでは動かなさそうだから手を入れて動くようにしてみたい。パッケージを作ればできそうではあるけど、もうちょっと簡単にできないかな？と思って探してみたら、こんな記事を見つけた。ありがたい。 srcのとなりにコードを置いて、それを使うようにできるのかー。これなら簡単に eslint-plugin-neverthrow に手を入れられそう。この記事や、ESLintのプラグイン自作ページを見ながら試してみたら…

TypeScriptでサーバーサイドのアプリケーションを書いていて、エラーをThrowするより型安全に失敗を返したいなと思って、簡単なResult型をペラっと作って使ったことがある。 あまり複雑なことはしたくないからそれで満足しているんだけど、TSKaigiやTSKaigi KansaiでResult型の話をよく耳にしたので、ちゃんとライブラリを一個くらい勉強しようかなと思った。 最初にあらすじ neverthrowとeslint-plugin-neverthrowを入れてNeverThrowを触ろうとしたら、eslint-plugin-neverthrowがESLintのFlat Confi…

こんにちは、切削チームの石川です。 前回に引き続き、フォルダアップロードに絡んだフロントエンドのテクニックの解説を行います。 今回のテーマはドラッグ&ドロップです。 ※前回の記事は以下です。 techblog.dt-dynamics.com ドラッグ&ドロップの基本 ブラウザにおけるドラッグやドロップに関する処理は、HTML Drag and Drop APIを使うことで実装できます。 HTML ドラッグ & ドロップ API https://developer.mozilla.org/ja/docs/Web/API/HTML_Drag_and_Drop_API ブラウザにファイルをドロップし…

まずは、node.jshttps://nodejs.org/enをインストール これで、npm（Node Package Manager）が自動的にインストールされるため、 下記のようにしてtypescript のコンパイラ(tsc)をインストールする。 npm config set proxy http://proxy.example.com:8080 npm config set https-proxy http://proxy.example.com:8080 npm install -g typescript そして、プロジェクトごとにTypeScriptの設定ファイル(tsconfi…

ファッションど素人（むしろ鬼ダサ）オタクが9/27 そスTSC感想言うだけ 勉強も込み 下書きに眠ってたもの 冬のTSCを近々開催するそうなので公開… あのですね。 SnowManさんがガチで選んだ服がカッコよくないわけないのですよ！！！！！！！！！！！！！！！！！！！！ 現にファッションは良かったよって褒められてたわけですし。 てなわけで好きなように語ります。 ていうかSnowManさんが選んだガチデート服が見られるとかなんのご褒美？？？ そんなに徳を積んだ覚えはないのだが まずは渡辺さん。 チェックにチェック。しかもチェック柄の袋をもらうとわかっていてのチェック柄の羽織。大胆に行ったな！？…

参加しました。みやこめっせは非常に近いので気軽に行けて便利ですね。みやこめっせに同人イベント以外で行ったのは大学の卒業式以来なので、実に5～6年ぶりとかになるんじゃないか、マジか～。 kansai.tskaigi.org トーク docs.google.com canalunさんのキーノート。いきなり宇宙人に連れ去られる寸劇から始まってなんなんだという感じでした。クワインを構成可能であることの証明は何気に初めて目にしたかも。スマートコントラクトの世界では意図的に言語をチューリング完全じゃなくしている、という話は知らなかったです。 tocomiさんの「型チェック 速度改善 奮闘記」は、まさに明日…

2024/11/16 https://kansai.tskaigi.org/ TypeScriptの型システムは万能機械の夢を見るか？ canalun(かなるん)さん https://docs.google.com/presentation/d/1hnvPiSCI2UBIZ0x5OTl3ZFHvIGMIl3g37It1_Qd7hNA/edit 型システム 型システムでどこまで複雑な処理を解けるか 有限オートマトン booleanで返す問題を解ける チューリングマシン スタックを無限に伸びるテープにする アルゴリズムを実現できる これを超える仕組みはない TSの型システムでチューリングマシンを実…

2024年11月14日に、QYResearchは「油圧キャットウォーク―グローバル市場シェアとランキング、全体の売上と需要予測、2024～2030」の調査資料を発行しました。本報告書は、油圧キャットウォークの世界市場を分析し、主要企業の総売上高、収益、価格、市場シェア、ランキングなどを掲載しています。また、地域別、国別、製品タイプ別、用途別に市場を分析しています。2019年から2030年までの油圧キャットウォークの市場規模を販売量と売上高に基づいて推計と予測しています。企業が事業成長戦略を策定し、競合状況を評価し、市場ポジションを分析し、油圧キャットウォークに関連する情報に基づいてビジネス上の…