Type inference. ML等の静的に強く型付けされた言語において,変数や関数の型をプログラマが明示しなくても,処理系が自動的に決定してくれる仕組みのこと.型理論の知見に基づく. 型推論が可能な型システムとしてはHindley-Milner型システムが有名.これを拡張したものがOCamlを始めとしたML系言語やHaskell等の言語処理系に搭載されている.
型推論 letで定義した時に型を自動で決定し、決定した型以外を代入するとエラーになる let moji = '文字'; let suuji = 1; 以下でエラーが発生。letで定義した時に型推論でstringとnumberで型指定している moji = 1; suuji = '1'
こんにちは。みなみんです。C#入門シリーズの続きです。 今回は「var」キーワードについて記事にしました。
こちらに移行しました. www.drumato.com
この記事について バックグラウンド 本業はTypeScriptを主に書いているWebエンジニアで社会人5年目。副業ではデータサイエンティスト/機械学習エンジニアをやっていてこちらも5年目。 この記事を書いた理由 最近読んだ「科学的根拠に基づく最高の勉強法」という本の中に、「思い出す頻度が高ければ高いほど定着する」という話があった。 なので、読んだ本の内容を思い出し定着させるきっかけとするためにこの記事を書いている。 科学的根拠に基づく最高の勉強法作者:安川 康介KADOKAWAAmazon 紹介する本のラインナップについて 統計や機械学習の理論をガチガチにするのは難しいと判断して、理論寄りの書…
Javaの概要 JavaとTypeScriptの比較 Springとは/Spring Bootとの違い Javaの概要 https://qiita.com/KenyaSaitoh/items/22f32b9d7aea5844d77 Javaの言語特性(抜粋) プラットフォーム非依存の言語 Java Virtual Machine JVMとは、LinuxやWindowsといった様々なOSに対応したJavaプログラムの仮想的な実行環境 Javaは、コンパイル型言語の一種である 通常コンパイラによって機械語に一括翻訳し、生成したバイナリファイルを実行することで、プログラムが動作する Javaは機械語…
はじめに シャーッ! nikkieです。 春ですね(* ̄ω ̄*)🌸1 ということで、環境構築していきましょう! 目次 はじめに 目次 F# F#の開発環境 macOSで環境構築 終わりに F# F# は、簡潔性、堅牢性、パフォーマンスの高いコードを書くためのユニバーサル プログラミング言語です。 OCamlから多くの要素を引き継いだ関数型とオブジェクト指向のマルチパラダイムである。 型安全であり、型推論の機能をもつ。 F#の開発環境 絶対必要:.NET SDK 以下が合わせて紹介されることが多そう2 Visual Studio Code F# Ionide 拡張機能 macOSで環境構築 .N…
2020年に導入されたというDataStoreオブジェクトを用いて、設定値を保存する方法を聞きました。 SharedPreferencesを改善するために導入されたものだそうですが、キー・値のペアを保持する際、キーに値の型情報を持たせるという手法を用いていたり、非同期処理での読み書きに対応するため、値の読み込みをFlowを用いて行ったりと、かなり独特な使い方です。 慣れるかな・・。 ちなみに以下の例では、Composable関数の変更をトリガーするために、FlowのオブジェクトにたいしてさらにcollectAsState()が呼び出されています。 Jetpack Composeで、Prefer…
2024年3月22日に『PPL 2024 非公式ふりかえり会』を開催しました。イベントでお話した内容を文字起こし形式で紹介します。こちらは後編です。 前編はこちら▼ product.st.inc 量子論理、型のエイリアス 藤村:次は『Automated Quantum Program Verification in Dynamic Quantum Logic』ですね。量子論理で形式検証するのは大変そうだし、どうするのかなと思ったんですけど、量子論理と動的論理っていうのがまずわからない。わからないものが2個接続されていて、なかなか難しかったです。まず量子論理自体が何なのかっていうのをよく理解する…
Ask Epic:Verse回答祭り第4回(完結編)です。今回はVerseの型システムに関係する質問がメインです。 今回まとめた分はマニアックな質問が多く、土屋自身がついていけてない物もありました(結果誤訳してる可能性があります)。多くのユーザ-がVerseの言語仕様に強い興味を持っていて、回答側もそれに答えようとしている雰囲気が伝わればと思います。 MaxVerseはいつやってくる? https://forums.unrealengine.com/t/ask-epic-verse-march-28-10-00-am-et/1765393/82?u=t.tutiya Q:VerseがSimon…
みなさまご機嫌よう、OLTA株式会社でフロントエンドエンジニアをしている林です。 OLTAは請求書や見積書などの帳票を簡単に作成・管理できるINVOYというサービスを提供しています。INVOYのフロントエンドにはNuxt2が使われていましたがEOLに伴いNuxt3に移行したので、移行においてうまくいったことや苦労したことなどについて共有します。 移行方針 Next.jsには移行しない Nuxt2からNuxt3へ一気に移行 ライブラリは積極的にリプレース 可能な範囲でComposition API化 移行規模 移行前後の環境の違い 技術的に嬉しいこと Composition APIによる関心の分…
はじめに こんにちは、マネーフォワードでモバイルアプリエンジニアをしているサカイです。 普段は「マネーフォワード Pay for Business」のiOSアプリ開発を担当しており、プライベートでは「2024年の恵方コンパス」というiOSアプリの開発・運用をしています。 さて、先日try! Swift Tokyo 2024に参加、およびLT枠にて登壇しました。これはSwiftを使う開発者が国内外から集まる国際カンファレンスで、今年は3/22〜3/24での開催でした。 また、マネーフォワードはシルバースポンサーを務めました。 この記事ではLTのプロポーザル提出時に意識していたことや登壇当日に感じ…
STORES は try! Swift Tokyo 2024 に参加&スポンサーをしました! こんにちは! STORES レジ の開発をしている iOSエンジニアの @satoryo056 です。 try! Swift Tokyo 2024 お疲れさまでした!STORES は BRONZE および DIVERSITY & INCLUSION スポンサーとして協賛し、当日は6名で現地参加しました。 本記事では STORES が現地参加して取り組んだことや、参加したメンバーが印象に残ったセッションや出来事、アフターイベントについて紹介します。 try! Swift Tokyo 2024 で取り組ん…
* 変数 var xxx * クラスありきではないのでトップレベルに関数をかける エントリーポイント fun main(args: Array<String>) { val name: String = "サンタ" println("こんちは ${name}さん") } * 型 プリミティブ(基本型)という概念はない Boolean Byte Short Int Long Floag Double Char -> JVMではプリミティブとなる String 型指定しなくても、型推論によって型が決まる 型を指定しない場合は初期値は必須 * 数値リテラル 整数: Int 小数点:Doubleが規定…
株式会社スタメンでiOSエンジニアをしている青木 (@38Punkd)です。 スタメンは、2024年3月22日~24日の3日間、ベルサール渋谷ファーストにて開催される「try! Swift Tokyo 2024」に初めてスポンサーとして協賛し、ブース出展をしました。 今回はカンファレンスやブースの様子をご紹介できればと思います! try! Swift Tokyo 2024、2日目終了。最高のセッションをありがとうございました🥳明日はワークショップの開催です。try! Swift Tokyo 2024, Day 2 has ended. Thank you for the amazing ses…
こんにちは。GunosyでiOSアプリ開発をしている吉岡(@rikusouda)です。 try! Swift Tokyo 2024に参加してきたのでレポートを書きます。
GMOメイクショップ コアグループでフロントエンドエンジニアをしている池田です。 主にTypescriptとVue.jsを用いた開発をしています。 当記事ではJS・TSでモックサーバーとして利用できるライブラリMSWの紹介と、フロントエンド開発での導入方法について触れていきたいと思います。 MSWとは どのようなケースで使えるか 開発時のmockサーバーとして利用 APIリクエストを含むテストでの利用 類似ライブラリとの比較 API 環境 導入方法 mockServiceWorker.jsは本番ビルドに含めない モックの定義 REST GraphQL ワーカーを起動するコードを書く 最後に 参…
こんにちは!マンガアプリチームでiOSアプリエンジニアをしています id:fxwx23 です。 2024年3月22日から24日にかけてベルサール渋谷ファーストにて try! Swift Tokyo 2024 が開催されました。はてなは今回シルバースポンサーとして協賛させていただき、はてなの一員として参加してきました。聴講した中で印象深かったセッションについていくつかピックアップしてご紹介します。 tryswift.jp try! Swift Tokyo 2024 に参加してみて try! Swift Tokyo 2024 において印象深かったセッション AIによる言語学習の変革:Duoling…
はじめに こんにちは。DevRelブロックの@wirohaです。2024年3月22日〜24日に「try! Swift Tokyo 2024」が開催されました。ZOZOはGOLDスポンサー・DIVERSITY & INCLUSIONスポンサーとして協賛し、ブースを出展しましたので現地のレポートをお届けします!