タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
これまで、型駆動設計を実践することが何を意味するのか、簡潔でシンプルな説明を見つけるのに苦労してきました。誰かに「どうやってこのアプローチを思いついたのですか？」と尋ねられることが多いのですが、満足のいく答えを出せないことがよくあります。そのアイデアが突然のひらめきで浮かんだわけではなく、正しいアプローチを空から引っ張り出す必要がない、反復的な設計プロセスがあると分かってはいるのですが、そのプロセスを他の人にうまく伝えることができていませんでした。 しかし、およそ1ヶ月前、JSON を静的型付け言語で、そして動的型付け言語にパースしたときに経験した違いについてTwitter上で振り返っていた時、ついに私が探していたものを見つけました。そして、そのスローガンはたった3つの英単語で表せます。 Parse, don’t validate (バリデーションせずパースせよ) 型駆動設計のエッセンス
Intro Chrome 126 で筆者が実装した URL.parse が Ship された。 Chromium にコントリビュートしたことは何回かあったが、単体機能を Ship したのは初めてだった。 invalid URL の処理 new URL() によって、文字列の URL をパースすることができるようになって久しいが、この API は invalid な場合に例外を投げる。 例外処理をするよりも、先に URL としてパース可能かどうかを知るための URL.canParse() が提案され、先に実装が進んだ。 URL.canParse(str) // boolean しかし、これでは二回パースが必要になるため無駄が多い。 if (URL.canParse(str)) { // 1 回目のパース return new URL(str) // 2 回目のパース } そこで、失敗したら
Ruby Parser開発日誌 (6) - parse.yのMaintainabilityの話 - かねこにっき
前回のあらすじ Ruby Parser開発日誌 (5) - Lrama LALR (1) parser generatorを実装した - かねこにっき Error Recoveryを実装するためにLrama LALR (1) parser generatorを実装しました。 Error Recoveryについては目処がたったので今回はparse.yのMaintainabilityをいかにして改善するか考えたいと思います。 parse.yの難しさ Rubyのparse.yの難しさについては聞く人によって異なる回答が返ってくるところですが、おおよそ以下のようにまとめることができると思います。 ファイルの行数が多い shift/reduce conflictやreduce/reduce conflict時に何が起きているか分かりにくい Bisonが原始的な記法しか提供していないので全ての規則を書
Ruby Parser開発日誌 (10) - parse.y リファクタリングチャレンジ はじめました - かねこにっき
前回のあらすじ Ruby Parser開発日誌 (9) - RubyKaigi 2023で発表してきた ~ 世はまさに”大パーサー時代” ~ - かねこにっき RubyKaigiにいってきました。スライドや登壇時の動画は以下のリンクから参照できます。ぜひご覧ください。 rubykaigi.org parse.y リファクタリングチャレンジ "parse.y"を読んでいる時にrb_obj_hideやrb_builtin_class_name、RB_OBJ_WRITTENといった関数やマクロが出てきて驚いたことのある人は少なくないでしょう。RubyのparserではGCやRubyのObjectなどRuby本体の機能が多く使われています。それらはRubyの長い歴史のなかで洗練されてきた機能である一方、一定の御作法に従って使う必要があります。たとえばRB_OBJ_WRITEやRB_OBJ_WRIT
GitHub - Filimoa/open-parse: Improved file parsing for LLM’s
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - qnighy/bqpb: BigQuery UDF to parse protobuf messages
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.
Simply Parse in C
by Chloe Kudryavtsev People are terrified of parsers and parsing. To the point of using magical libraries with custom syntaxes to learn just to get started. In the hopes of completely shattering this preconception, I will write a parser for the “ini” file format in about 150 lines of pure and readable ISO C99. Furthermore, this parser will be something that's nice to use and has error correcting f
RubyKaigi 2023 https://rubykaigi.org/2023/presentations/coe401_.html#may12 shioimm / ruby-plusplus https://github.com/shioimm/ruby-plusplus
Scala 3のmatch typeでcompile timeにString literalをparseして評価する - xuwei-k's blog
Scala 3のmatch typeで何かのparserでも書くか?と思ったけど、コンパイル時にリテラルのStringを、型情報というか分解した場合の値情報？を、保ったままの分解が単純には出来そうにはないというか… あるいは一旦CharのHListにしたいんだけど、何か方法あるのかな— Kenji Yoshida (@xuwei_k) February 28, 2021 https://t.co/sNupBRy3rV type Substringが増えてるからいける…？— Kenji Yoshida (@xuwei_k) 2022年2月28日 できました。 parserなどに慣れてないので、とりあえず以下のクソ雑仕様？だけど、tokenにするのとparseとevalをなんとなくちゃんと分けたぞ！ みんなScala 3のmatch typeで、任意の言語などのparserや評価機を書こう！！
GitHub - formkit/tempo: 📆 Parse, format, manipulate, and internationalize dates and times in JavaScript and TypeScript.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - unjs/destr: 🚀 Faster, secure and convenient alternative for JSON.parse for arbitrary inputs
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Difyユーザー必見！JSON Parseツールで面倒な整形作業から解放 - Generative Agents Tech Blog
はじめまして！ジェネラティブエージェンツの清水れみおです！ 今流行りのLLMアプリ開発プラットフォーム『Dify』についてユースケースや実装方法をみなさんに提供していきます！ 今回はJSON Parse(整形)についてです！ ※2024年8月時点の環境です。Dify Ver.0.6.16 Dify で HTTP ブロックをよく使いますよね？ API からデータを取得して色々処理したい時に便利なんですが、返ってくる result の整形がちょっと面倒に感じることはありませんか？ 特に複雑な JSON データだと、必要な情報を取り出すのにコードを結構書かないといけなかったり…。 そこで今回は、Dify の JSON Parse ツール を使って、JSON データの整形を劇的に楽にする方法をご紹介します！ 例えば、画像のように GCP Vision API から返ってきた結果からテキストデータだ
GitHub - Filimoa/open-parse: Improved file parsing for LLM’s
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Moment.jsは非推奨だが安易にdate-fnsに変えるな。date-fnsのisValidではparseを活用せよ
問題点 面倒な日付処理をやってくれるMoment.jsですが、mutable設計が混乱を招くとして、今後は非推奨と発表しています。immutableに変更する作業も実施しないとのこと。 https://momentjs.com/guides/#/lib-concepts/mutability/ The moment object in Moment.js is mutable. This means that operations like add, subtract, or set change the original moment object. var a = moment('2016-01-01'); var b = a.add(1, 'week'); a.format(); "2016-01-08T00:00:00-06:00" // aも変更されてしまう。a.clone().
Ruby: JSON.parseのあまり知られていない機能（翻訳）｜TechRacho by BPS株式会社
概要 原著者の許諾を得て翻訳・公開いたします。 英語記事: A lesser known capability of Ruby's JSON.parse | Arkency Blog 原文公開日: 2021/10/23 原著者: Szymon Fiedler サイト: arkency 参考: 週刊Railsウォッチ20211110 RubyのJSON.parseが文字列キーのハッシュを返すことにうんざりしたことのある方、シンボルキーのハッシュが欲しい方、本記事は皆さんのためにあります。 こんなときは、Rails開発者ならおそらくご存知のHashのdeep_symbolize_keysメソッドが使えます。特に理想の世界では、データ構造が以下のようなハッシュになっています。 require 'json' json = <<~JSON { foo: { bar: "baz" } } JSON >
RubyKaigi 2023 LT https://rubykaigi.org/2023/presentations/lt/
GitHub - dominikg/tsconfck: A utility to find and parse tsconfig files without depending on typescript
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
週刊Railsウォッチ: JSON.parseの機能、Opal 1.3、async gem、Linuxコマンドチートシートほか（20211110後編）｜TechRacho by BPS株式会社
週刊Railsウォッチについて 各記事冒頭には🔗でパーマリンクを置いてあります: 社内やTwitterでの議論などにどうぞ 「つっつきボイス」はRailsウォッチ公開前ドラフトを（鍋のように）社内有志でつっついたときの会話の再構成です👄 お気づきの点がありましたら@hachi8833までメンションをいただければ確認・対応いたします🙏 TechRachoではRubyやRailsなどの最新情報記事を平日に公開しています。TechRacho記事をいち早くお読みになりたい方はTwitterにて@techrachoのフォローをお願いします。また、タグやカテゴリごとにRSSフィードを購読することもできます（例:週刊Railsウォッチタグ） 🔗 Ruby 🔗 RubyのJSON.parseのあまり知られていない機能（Ruby Weeklyより） 元記事: A lesser known capa
ども。 Datadogでログを取ってると「このログ、ぶっちゃけWARNINGでいいんだけど」みたいなのがある。 Datadogは自分でparseルールをカスタムできるので、それを利用してremapしてやるのだがそのやり方を毎回忘れる。 そして例によってわかりにくい公式ドキュメントとにらめっこしたくないので、備忘録。 Grok Parserでremapしたい値をparseさせる facetを作成 Category Processorで紐付ける Status Remapperで書き換える Piplineの順番に注意 おわりに 参考 Grok Parserでremapしたい値をparseさせる 例えばこのようなサンプルログ（[xxxx-xxxxx-xxxx]は本来uuidで、文字列ではないのでルール設定時注意） E, [2020-02-25T16:00:31.843110 #644] ERROR
Part of my job is to make JavaScript things go fast. Speed is a feature, and when working in an interpreted language, squeezing every last bit of performance can be the difference between a great product and unusable garbage. Anyway, how cool would it be to make JavaScript itself go faster? I’m not a C++ programmer, but that didn’t stop me before, so I thought I’d give it a try anyway! The objecti
はいさい！ ちゅらデータ ぬ オースティン やいびーん どー！ んな、 がんじゅー やいびーみ？ 概要 .csv拡張子のファイルをJavaScriptで解析し、ヘッダーと行を抽出する方法を紹介します。 背景 npmに公開しているCSV構文解析ソフトは他にあります。が、今回は使いません。 なぜこれを使わないか？ 筆者は不要であれば、第三者が作ったパッケージを極力組み入れたくないからです。 なぜ第三者パッケージを避けたいか？ 複数の理由があります。 セキュリティの脆弱性が懸念される。Leftpad事件のような事件は今後も起きる。 そのパッケージがいつ放棄されるかわからない。放棄された時に、自分の手で維持しなければいけなくなる。 仕事で携わっているプロジェクトの特徴で、第三者パッケージを入れると稟議を通すのに時間がかかり、にりー（だるい） 第三者パッケージの使い方を学ぶより、JavaScript
GitHub - adithya-s-k/omniparse: Ingest, parse, and optimize any data format ➡️ from documents to multimedia ➡️ for enhanced compatibility with GenAI frameworks
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
個人開発をしている時に、「Vueを使い、CSVファイルをアップロードすると、JSON形式に変換してくれる処理」を書きました。 検索しても、「CSV→JSONへの変換が簡単に出来るライブラリの使い方」について、詳しく書いている記事がありませんでした。ということで、「vue-papa-parse」というライブラリがすごく使いやすかったので、今回はその共有となります。 非常に簡単に変換処理が書くことが出来ましたので、vue-papa-parseの使い方はこの記事でマスターできます。 最終的には、以下のようなものを目指します vue-papa-parseを使うことで、非常に短い行数で書けます。とても便利なので、ぜひマスターして下さい。
proc-macro2 Procedural Macro では Rust のソースコードは proc_macro::TokenStream という型で表されます。 しかし、この型は Rust コンパイラから呼び出されることが前提の特殊な形態のプログラム内でのみ使用可能で、普通の Rust のプログラムからは使用できません。 main から始まるプログラムや #[test] が付けられたテストは Procedural Macro ではない普通の Rust のプログラムとなるので、Rust のソースコードを取り扱うプログラムはテストやデバッグ実行ができないという事になってしまいます。 しかし、それでは不便・・・という事で登場するのがこの proc-macro2 です。proc-macro2::TokenStream は proc_macro::TokenStream と同じ機能を持ち、普通のプ
下記の調査対象の日付を確認し、返り値がNaNではない場合、返り値をもとに日付を作成してDate.parseの引数とどのような違いがあるか確認します。 調査対象の日付 存在する日付(2023年2月10日) 存在しない日付(2023年2月99日) 特定の月には存在しない日付(2023年2月31日) 閏日(2024年2月29日) 調査対象のブラウザはそれぞれ使われているJSエンジンが異なる、Chrome、Safari、Firefoxを対象とします。 存在する日付の場合(2023年2月9日) // Chromeの場合 console.log(Date.parse('2023-02-09T00:00:00.000+0900')) // 1675868400000 console.log(new Date(1675868400000)) // Thu Feb 09 2023 00:00:00 GMT+
![[JavaScript]Date.parseの挙動の違いをブラウザ毎に調べてみた - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/fb2d9eff304791ec6130c698d1779531e20d36d5/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-9f5428127621718a910c8b63951390ad.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9JTVCSmF2YVNjcmlwdCU1RERhdGUucGFyc2UlRTMlODElQUUlRTYlOEMlOTklRTUlOEIlOTUlRTMlODElQUUlRTklODElOTUlRTMlODElODQlRTMlODIlOTIlRTMlODMlOTYlRTMlODMlQTklRTMlODIlQTYlRTMlODIlQjYlRTYlQUYlOEUlRTMlODElQUIlRTglQUElQkYlRTMlODElQjklRTMlODElQTYlRTMlODElQkYlRTMlODElOUYmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT01NiZ0eHQtY2xpcD1lbGxpcHNpcyZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPWI5ZTIxOWRlY2I1MTExMTNlYWMzM2M1ODgzYzIyNzY1%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTYxNiZ0eHQ9JTQwVGFpS2FpX3NhbXVpJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz05YmQwM2M2NTBlYjAzNzY3YjRhN2I3MTRiMjg4ZWRiMQ%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3D0b2ad0f0572433325b2fd42ac12bcbf4)
JSONを理解してJavaScriptのstringifyとparseで操作してみよう - TECH PLAY Magazine
最近はプログラミング言語を問わず広く使用されているJSONについて解説する記事です。JSONとは何なのか、JSONの書き方といった基本について詳しく解説します。JavaScriptでJSONを使うためstringify関数とparse関数を使用したエンコードとデコードの仕方も紹介します。 最近ではデータ通信が必要な場面では言語を問わず活用されているJSON。 データの受け渡しをするときにJSONを使えばとても便利なので、インタラクティブなサイトでは必須の技術といえるでしょう。 この記事では、JSONを使い始めるために必要な基本的な知識を実際のコードを紹介しながら解説していきます。 JSONは軽量なデータ交換フォーマット JSONとは JSONとは「JavaScript Object Notation」の略で、もともとはJavaScriptと連携する他の言語とデータのやりとりをするために考え
Web APIを使っていると、リクエストに対するレスポンスデータがJSONデータってことが一般的だ。JSONデータはキーと値のペア、すなわち連想配列になっているわけだが、これをparseすることで、キーを指定すれば値を取り出すことが可能となる。別にparseしなくても欲しい値を取り出することできるが、難儀して自分で取り出す処理を作ることになる。有難いことに、どなたかがparse用のライブラリを作成してGitHubに公開しているので、使わせてもらう。 VBA-JSON（JSONデータparse用ライブラリ）の導入まずはVBAでJSONデータをparseするためのライブラリをGitHubから落とす。以下サイトに移動する。 https://github.com/VBA-tools/VBA-JSON 図１の赤枠の「Code」→「Download ZIP」とクリックする。 ダウンロードされたファイル
GitHub - kgiszczak/shale: Shale is a Ruby object mapper and serializer for JSON, YAML, TOML, CSV and XML. It allows you to parse JSON, YAML, TOML, CSV and XML data and convert it into Ruby data structures, as well as serialize data structures into JSON, Y
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
本記事の概要 Zennで読むことのできるGoの日時の扱いについては、@hsaki さんの記事が大変分かりやすいですよね。 こちらでも解説されてはいるのですが、混乱しやすいポイントだけに焦点を当てた記事も需要があるかな？と思い、私の頭の整理もかねて記事を書きます。 本記事で着目するのは、「Parseする日時文字列にタイムゾーン名だけ(例：JST)がある時、得られるtime.Time型の時間オフセットはどうなるか？」という点です。同じようにハマったことがある人は多いかな、と思うので、「あーあるある」ぐらいで読んでいただければと思います。 本記事の対象読者 Goの基本的な日時の扱い方は知っている 本記事の結論 タイムゾーン名だけでは時間オフセットは適切に設定されない。実行環境のタイムゾーンへの依存がある。 解決策は環境変数TZの設定かParseInLocationを使うことだが、実行環境に必要な
CSVを簡単に扱えるPapa Parse
小ネタ。 業務で、jsonをCSVにパースしてダウンロードを行う処理が必要になった。（フロントエンドで） 今まで愚直に以下のような構成でコーディングしていた。 jsonをcsv用の文字列に編集（mapとかforEachを使って一個ずつ処理していく） 変換、拡張子、出力ファイル名などのconfigを作っておく BLOBに変換するnew Blob([csv], { type: 'text/csv;charset=utf-8;' }); 隠しaタグを用意してあげてブラウザからダウンロードさせる これを書くと結構なコード量になる。 そんな中会社の同僚にPapa Parseというライブラリを教えてもらった。 これがだいぶ優秀だった。 https://www.papaparse.com/ ドキュメントが詳しいのとDEMOが分かりやすいので、一度目を通せば何ができるかがすぐ分かる。 CSV to JSO
はじめに WebバックエンドとクライアントをともにTypeScriptで書くとします。また、バックエンドではJSON.stringifyで値をシリアライズし、クライアントサイドではJSON.parse相当の処理でレスポンスボディを取得すると仮定しましょう[1]。このとき、JSON.stringifyの挙動がわかれば、実際にクライアントにどのような値が返ってきうるかを型で表現できるはずです。例えば、 となるので、{ a: undefined }の型をJSON.stringifyしてからJSON.parseした値の型は{}とするべきです。 本稿では、JSON.stringifyの仕様に沿ってそのような型を定義する方法について解説していきます。また、その際の制限についても最後に軽く触れます。 背景 本稿の概要を理解をするためには不要ですが、この節ではそれを試みることになった背景についてお話ししま
【Kotlin】kotlinx.serializationを使ってjson parseをやってみる - Qiita
kotlinx.serializationとは Kotlin serialization consists of a compiler plugin, that generates visitor code for serializable classes, runtime library with core serialization API and JSON format, and support libraries with ProtoBuf, CBOR and properties formats. Serialize可能なクラスのvisitor codeを生成するコンパイラプラグインとcore serialization APIおよびJSON形式のランタイムライブラリで構成している。 つまり、Kotlinで作られたSerializerということですね。 また、そのほかの特徴として
The problem with new URL(), and how URL.parse() fixes that | Kilian Valkhof
As someone building a browser I need to parse a lot of URLs. Partially to validate them, but also to normalize them or get specific parts out of the URL. The URL API in browsers lets you do that, but it’s ergonomics aren’t ideal. The problem with new URL() The “new” in front of new URL() indicates that it’s used as a constructor: calling it creates a new URL instance for you. When you give it a ma
Goでtime.Parseを使うときのタイムゾーンについて
はじめにGo で、文字列から日時へパースする際にタイムゾーンの指定で困ったので調べました。 結論から先に述べると、time.Parseはデフォルトで UTC を設定されます。 基本的にはロケーションが設定できるtime.ParseInLocationを利用するのが妥当だろうという見解に至りました。 注意：本記事に記載しているコードはエラー処理を無視しています。実際に利用する場合はちゃんとエラー処理しましょう。 time.Parseはデフォルトで UTC になるパースする文字列が2018-01-01 00:00:00のように、タイムインジケータを指定していない場合は UTC として解釈されます。 日本時間にするには、2018-01-01 00:00:00 (JST)のようにタイムインジケータを指定する必要があります。 // タイムインジケータがないのでUTCと解釈される // => 2018
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
翻訳: Parse, don’t validate (バリデーションせずパースせよ)
URL.parse を Chromium で Ship するまで | blog.jxck.io
Implementing "++" operator, stepping into parse.y
Unexplored Region - parse.y -
Datadog Logsでparseして任意のログレベルに変えたいときのremap方法 - VTRyo Blog
I made JSON.parse() 2x faster
JavaScriptでCSVファイルを構文解析（Parse）する方法 - Qiita
VueでCSV→JSON変換。vue-papa-parseの使い方 | とあるエンジニアのエソラゴト
syn::parse::ParseBuffer::peek の謎に迫る
[JavaScript]Date.parseの挙動の違いをブラウザ毎に調べてみた - Qiita
VBAでparseしたJSONデータの要素を取得する方法
Goの日時のParseの分かりづらいところ: タイムゾーン名を含む場合
JSON.parse(JSON.stringify(x))に型をつけよう
www.news-postseven.com
l.smartnews.com
kani.wpx.jp
www.devex.com
www.google.com
www.devex.com