Scala2.10.0のDependent method typesと型クラスを組み合わせた『The Magnet Pattern』がヤバい件 - ( ꒪⌓꒪) ゆるよろ日記
これが……型の力かッ……!! spray | Blog » The Magnet Patternという記事で、「The Magnet Pattern」というデザインパターンが紹介されている。 これは、メソッドオーバーロードで解決していた問題を、型クラスとDependent method typesを組み合わせて置き換えることで、オーバーロードの際の様々な制約(Type Erasureなど)を突破し、より柔軟な拡張性を得ることができるというもの。このパターンでは、引数の型に応じて異なる結果型を返すようにできる。 この記事で、今まで何のために使われるのかわからんかったDependent method typesの有効性が理解でき、あらためて型の力を思い知った。 以前に"Generalized type constraints"(Scalaで<:<とか=:=を使ったgeneraliz
This is the web site for a textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation. I'm following an unusual philosophy in this book, so it may be of interest even to long-time Coq users. At the same time, I hope that it provides an easier introduction for newcomers, since s
A very quick introduction to dependent type and its usage in TypeScript
IntroductionIn my previous feature on CSS layouts, I talked a bit about the different CSS layout approaches available to a designer when building a web site. In this feature, I’d like to focus on a dynamic resolution dependent layout implementation that I think provides a strong alternative for those trying to find a balance between fluid and fixed layouts. With dynamic layouts, the possibilities
GitHub - travisjeffery/timecop: A gem providing "time travel", "time freezing", and "time acceleration" capabilities, making it simple to test time-dependent code. It provides a unified method to mock Time.now, Date.today, and DateTime.now in a single cal
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
gem の内部を書き換える2つの方法 + おまけ(後から明示的に dependent: :destroy を止める方法 Rails3 限定) - MUGENUP技術ブログ
皆さん、こんにちは。MUGENUP の osada です。 いきなりですが、 gem の内部を書き換えたい! と思ったことはありませんか？ globalize というgem が、内部で has_many :translations, dependent: :destroy を実行するのですが、このdpendent: :destroyを止めたい、という要望から発生した、 gemの内部の挙動をオーバライドする方法のご紹介です。 想定する読者は、ruby を使い始めたばかりで、オープンクラスやメタプログラミングを使ったことがない人です。 概要 dpendent: :destroyを止める方法として、下記の方法を紹介します。 オープンクラスを使ったパッチを当てる module_evalを使ってパッチを当てる has_many を再定義する (Rails 3.2) destroy 用のメソッドをオー
自分の tweets.zip をみてたら発掘された文章. Dependent Types (依存型) と Refinement Types (篩型) は目指すところは似ているが, 導入スタイルに根本的な違いがある. TL;DR Refinement types は (Curry-style typing のように) extrinsic で, Dependent types は (Church-style typing のように) intrinsic である. 前提 一般に, プログラム言語への型の導入スタイルには Curry-style と Church-style の2種類がある. Curry-style: 型付けは 既に存在する項を 分類するもの Church-style: 項が存在するとは 型付けされているということ 前者は動的型付き言語での型アノテーションなどが当てはまり, 型アノ
GitHub - JFryy/qq: jq inspired (and gojq dependent) interoperable config format transcoder with interactive querying.
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
twitter facebook hatena google pocket フォームなどで段階的に選択内容を絞り込ませられるとユーザビリティが向上しそうです。 jQueryプラグインDependent Selectでは複数のselect要素を連動させることが可能です。 sponsors 使用方法 Dependent Selectからjquery.dependent.jsをjQueryからjquery.jsをダウンロードします。 <script type="text/javascript" src="jquery-1.3.2.js"></script> <script type="text/javascript" src="jquery.dependent.js"></script> <script type="text/javascript"> $(document).ready(func
フォームなどで段階的に選択内容を絞り込ませられるとユーザビリティが向上しそうです。 jQueryプラグインDependent Selectでは複数のselect要素を連動させることが可能です。 sponsors 使用方法 Dependent Selectからjquery.dependent.jsをjQueryからjquery.jsをダウンロードします。 <script type="text/javascript" src="jquery-1.3.2.js"></script> <script type="text/javascript" src="jquery.dependent.js"></script> <script type="text/javascript"> $(document).ready(function(){ $('#id2').dependent({ parent:'
class: center, middle # <strong>Dependent method types</strong><br/>を利用した<br/>軽量<span style="color: blue;">Clean Architecture</span><br/>の紹介 Scala関西Summit 2019 10/26 --- class: left, middle ## 自己紹介 * 中村 学(Nakamura Manabu) * [@gakuzzzz](https://twitter.com/gakuzzzz) * Tech to Value 代表取締役 * Opt Technologies 技術顧問 <img src="../images/opt_logo_1.jpg" alt="Opt Technologies" width="450" style="margin-lef
dependent: :restrict_with_error と :restrict_with_exception の違い - Qiita
dependent: :restrict_with_error と :restrict_with_exception の違いRails はじめに：dependent オプションとは？ dependent オプションはRailsであるモデルが子のレコードを持っている場合、親レコードを削除するときに子レコードをどうするのかを決めるオプションです。実際の挙動はいくつかの選択肢の中から選ぶことができます。 オプションの種類 :destroy 親と一緒に子レコードも削除する。（無理心中パターン） :delete_all 親と一緒に子レコードも削除する。ただし、直接DBのレコードを削除するので、子レコードのコールバック処理は実行されない。 :nullify 子レコードの外部キーを NULL 更新する。（みなしごパターン） :restrict_with_exception 子レコードがある場合は Act
Part I: Dependent Types in Haskell - School of Haskell | School of Haskell
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post In this series, we will see how to write dependently-typed programs and prove their correctness within haskell. At first, let's start with the standard example of Vector to understand how to write the dependently-typed programs in Haskell. The topic of this series is already implemented in
Experiment Resolution Dependent Layout Date created 21 September, 2004 Date last modified 19 January, 2006 Discussion Visit the discussion Resize your browser window below (or above) 800 pixels wide to change the layout of the content. Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Morbi consectetuer faucibus nulla. Nulla at enim eu lacus fementum elementum. Proin pulvinar ante ac erat.
当ウェブページのコンテンツは、独自ドメイン“http://esdiscovery.jp/”に移転しました。「新しいURLのページ」に移動しての閲覧をお願い致します。 トップページ> 心の病気>現在位置 プライバシーポリシー Copyright(C) 2004- Es Discovery All Rights Reserved
Ruby on Rails/has_manyのdependentオプション - アークウェブシステム開発SandBox
アークウェブシステム開発SandBox Web制作会社アークウェブのスタッフが、システム開発のTips・ノウハウをまとめているWikiです アークウェブシステム開発SandBox アークウェブWebマーケティングSandBox アークウェブWebデザインSandBox アークウェブ アクセシビリティWiki http://www.ark-web.jp/sandbox/wiki/390.html トップ ] [ 編集 | 凍結 | 差分 | バックアップ | 添付 | リロード ] [ 新規 | 一覧 | 単語検索 | 最終更新 | ヘルプ ] http://railsapi.masuidrive.jp/module/ActiveRecord::Associations::ClassMethods/has_many :dependent - if set to :destroy all th
InfoQ Software Architects' Newsletter A monthly overview of things you need to know as an architect or aspiring architect. View an example
Hi, I’m Vladislav Zavialov. For the last couple of months, my job at Serokell has been to lead our efforts to improve our primary tool – the Glasgow Haskell Compiler (GHC). I’m focusing on making the type system more powerful, inspired by Richard Eisenberg’s thesis that introduces Dependent Haskell. Dependent types are a feature I’d love to see in Haskell the most. Let’s talk why. There’s a tensio
ちゃんと覚えてなくて毎回確認していたのでメモ。 ここは掲示板アプリ的なモデルで説明してみると、投稿を扱うPostモデルと、それに対するコメントを扱うCommentモデルがあるとする。 # 投稿 class Post < ActiveRecord::Base has_many :comments end # コメント class Comment < ActiveRecord::Base belongs_to :post end この時、親にあたる投稿が削除されたら（=Post::destroy()が呼ばれたら）子にあたるコメントの扱いをどうするか、というのがdependentオプションの趣旨である。 この場合、以下の4通りの動作がある。 # 投稿が削除されたらそれに紐付くコメントも削除する has_many :comments, :dependent => :destroy # 投稿が削除さ
Seven neurons memorizing sequences of alphabetical images via spike-timing dependent plasticity - Scientific Reports
Artificial neural networks have been studied as means of automatic pattern recognition1,2,3 for a long time and the recent breakthrough of deep learning4,5,6,7,8 has brought them once again to the forefront of artificial intelligence studies. A characteristic of an artificial neural network is associative memory, which stores multiple patterns in such a way that a particular pattern can be retriev
Dependent type - Wikipedia
In computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, Idris, and Lean, dependent types help reduce bugs by
It was drawn to my attention that there is an active Reddit thread about the future of dependent types in Haskell. (Thanks for the heads up, @thomie!) Instead of writing a long response inline in Reddit, it seems best to address the (very knowledgeable, respectful, and all around heartening) debate here. When can we expect dependent types in GHC? The short answer: GHC 8.4 (2018) at the very earlie
Rails 6.1: 関連付けをバックグラウンド削除する「dependent: :destroy_async」（翻訳）｜TechRacho by BPS株式会社
2021.01.18 Rails 6.1: 関連付けをバックグラウンド削除する「dependent: :destroy_async」（翻訳） 概要 原著者の許諾を得て翻訳・公開いたします。 英語記事: Rails 6.1 adds support for destroying dependent associations in the background | Saeloun Blog 原文公開日: 2020/11/18 著者: Prasad Walvekar サイト: Saeloun Blog | Ruby on Rails Consulting Company based in San Francisco and Boston 日本語タイトルは内容に即したものにしました。 Rails 6.1: 関連付けをバックグラウンド削除するdependent: :destroy_async（翻訳）
ブラウザの表示幅によって変化するレイアウト Resolution dependent layout-WEBデザイン BLOG
ブラウザの表示幅を取得して、そこからスタイルシートを置き換えるjavascriptです。800ピクセル以上で4コラムのレイアウトで表示されますが、表示幅が800ピクセル未満になると1コラムレイアウトに代わります。アクセシビリティには、とてもいい手法だと思います。 今後こういったアクセシビリティを考えての、javascriptを使ったスタイルシートの置き換え手法は増えてくるのかも。DOMの属性を変えることで実現しているようです。（只今勉強中）興味のある方は、一度覗いてみてください。
GitHub - bahmutov/dont-break: Checks if the current version of your package would break dependent projects
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
Scala 2.10 に dependent method types というのが入るらしいよ - xuwei-k's blog
gistに書いたものを、ほとんど書き写すだけの簡単なお仕事(｀・ω・´) 以下が最新版をゴニョゴニョしてみた結果。(このblog書いている時点の最新の安定版である) 2.9.1で同じことやろうとすると def withFoo(foo: Foo): foo.Bar = foo.f という部分がコンパイル通らないはず。fooという 引数 の抽象型であるBarに依存した型だからっていう感じ? 追記: 例としての自分の書いたコードが適切なのかどうかあやしい気がしてきたがががが(´・ω・｀) StackOverflowの解説がかなり詳しいのでちゃんと知りたい人はそっち読んで！(ぉぃ 以下参考URL StackOverflowの解説がなぜかやたら詳しい このコミットらしい gist上でのちょっとした議論 そして、こんなこと言ってたら #Scala で新しく入る予定の depend type がなんとな
Maven で出る警告、 Using platform encoding (MS932 actually) to copy filtered resources, i.e. build is platform dependent! の対処法 - public: typedef Takel::Diary Observable;
前々から気になっていた警告 [WARNING] Using platform encoding (MS932 actually) to copy filtered resources, i.e. build is platform dependent! の対処法 POM に以下に該当するような事を書く事で UTF-8 でコピーするように明示できるようだ。 <project> <properties> <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding> </properties> </project> Maven 2.2.1 で確認した。
ちゃんと覚えてなくて毎回確認していたのでメモ。 ここは掲示板アプリ的なモデルで説明してみると、投稿を扱うPostモデルと、それに対するコメントを扱うCommentモデルがあるとする。 # 投稿 class Post < ActiveRecord::Base has_many :comments end # コメント class Comment < ActiveRecord::Base belongs_to :post end この時、親にあたる投稿が削除されたら（=Post::destroy()が呼ばれたら）子にあたるコメントの扱いをどうするか、というのがdependentオプションの趣旨である。 この場合、以下の4通りの動作がある。 # 投稿が削除されたらそれに紐付くコメントも削除する has_many :comments, :dependent => :destroy # 投稿が削除さ
before_destroy時点でdestroyされてしまう、dependentの罠 - 無気力生活 (ノ ´ω｀)ノ ~゜
まずはこれを見て欲しい # == Schema Information # # Table name: users # # id :integer not null, primary key # name :string(255) # class User < ActiveRecord::Base has_many :articles, dependent: :destroy after_create do articles.import(%w"1 2 3 4 5".map{|text| Article.new(text:text)}) end before_destroy do p articles.map(&:text) end end # == Schema Information # # Table name: articles # # id :integer not null,
C++言語の持つオシャレな機構の一つにADL(Argument Dependent Lookup)というものがあります。 和訳すると「実引数依存の名前検索」となり、読んで字の如く、「実引数」に依存した「名前検索」となります。なるほどわからん。 ADLの挙動 コードを見ながら順を追って理解してみましょう。
Certified Programming with Dependent Types Introduction Some Quick Examples Introducing Inductive Types Inductive Predicates Infinite Data and Proofs Subset Types and Variations General Recursion More Dependent Types Dependent Data Structures Reasoning About Equality Proofs Generic Programming Universes and Axioms Proof Search by Logic Programming Proof Search in Ltac Proof by Reflection Proving i
Functional programming provides a fundamental basis for reasoning about our programs and building out principled abstractions. However, it is not enough on its own and we also rely on other programming tools to aid in constructing programs correctly and efficiently. An advanced example of such a tool is dependent types; that is, types that depend on values. Dependent types can be used to provide s
Density-dependent mating behaviors reduce male mating harassment in locusts
Density-dependent mating behaviors reduce male mating harassment in locusts View ORCID ProfileKoutaro Ould Maeno, View ORCID ProfileCyril Piou, Sidi Ould Ely, Sid’Ahmed Ould Mohamed, Mohamed El Hacen Jaavar, View ORCID ProfileSaïd Ghaout, and View ORCID ProfileMohamed Abdallahi Ould Babah Ebbe aLivestock and Environment Division, Japan International Research Center for Agricultural Sciences (JIRCA
distance dependent Chinese Restaurant Process - nozyhの日記
お久しぶりです。nokunoさんにも紹介されてしまったので頑張って月1ぐらいは更新したいと思ってます…。今回は面白かった論文の紹介です。去年のICMLのBleiの論文で、相変わらずCRPとかです。ICML版はこちらで、longer versionもあり、こちらからダウンロード出来ます。ICML版でほとんどの部分は説明されてて、理論的に詳しいところが知りたい人はlonger versionも補足的に読むといいかもしれません。 以前のエントリーで、DPMを説明するときに、CRPを介して説明出来るということを書きました。これはつまり、データをクラスタリングする場合、データの事前分布にCRPを仮定し、CRPの事後分布（レストランの状態の分布）がどうなるかを考え、同じテーブルに座ったデータ=客を同じクラスタとすることでクラスタリング出来ることを意味しています。この場合、背後にあるDPという構造を考え
Dependent Function Types
A dependent function type describes functions where the result type may depend on the function's parameter values. Example: trait Entry { type Key; val key: Key } def extractKey(e: Entry): e.Key = e.key // a dependent method val extractor: (e: Entry) => e.Key = extractKey // a dependent function value // ║ ⇓ ⇓ ⇓ ⇓ ⇓ ⇓ ⇓ ║ // ║ Dependent ║ // ║ Function Type ║ // ╚═══════════════════╝ Scala already
Racket 6.11で篩型(refinement type)と依存関数型(dependent function type)が安定機能に
Spring BootによるAPIバックエンド構築実践ガイド 第2版 何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎を学んだ。この本では、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...
2012年05月20日11:25 カテゴリ dependent direct salesとは depedent direct salesとは 工藤冬里さんとこのサイトを管理させていただいてますkayoが始めた 手書きCD-Rシリーズをリリースしていくレーベルです。 過去のライブ音源や宅録など工藤さんと相談しながらリリースしていければと思っています。 第一弾としまして マヘル・シャラル・ハシュ・バズ 工藤 冬里 「L.A.」 2003年9月11日 L.A. Spacelandでレッドクレイオラと対バンした際の音源です。 メンバーはテニスコーツのさやさん、植野隆司さん先日JOJO広重さんの新アルケミーレーベル第1弾としてリリースされた日曜のうたに参加されてます穂高亜希子さん中崎博生さん、大谷直樹さん、工藤冬里さんでのライブ音源です。書き下ろしライナー、曲タイトルつき1500円です。 ddsサイ
Ruby on Rails/has_manyのdependentオプション - アークウェブシステム開発SandBox
アークウェブシステム開発SandBox Web制作会社アークウェブのスタッフが、システム開発のTips・ノウハウをまとめているWikiです アークウェブシステム開発SandBox アークウェブWebマーケティングSandBox アークウェブWebデザインSandBox アークウェブ アクセシビリティWiki http://www.ark-web.jp/sandbox/wiki/390.html トップ ] [ 編集 | 凍結 | 差分 | バックアップ | 添付 | リロード ] [ 新規 | 一覧 | 単語検索 | 最終更新 | ヘルプ ] http://railsapi.masuidrive.jp/module/ActiveRecord::Associations::ClassMethods/has_many :dependent - if set to :destroy all th
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Certified Programming with Dependent Types
Dependent type and TypeScript // Speaker Deck
Particletree » Dynamic Resolution Dependent Layouts
Dependent Types と Refinement Types の違い - SevenColoured
複数のselect要素を連動させるJavaScript「Dependent Select」
複数のselect要素を連動させるJavaScript「Dependent Select」
Dependent method types を利用した軽量Clean Architecture の紹介
Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1)
Resolution dependent layout
依存性人格障害(dependent personality disorder)
Scala vs Idris: Dependent Types, Now and in the Future
Why Dependent Haskell is the Future of Software Development
ActiveRecord::has_manyのdependentオプション
mixup: Data-Dependent Data Augmentation
Dependent types in Haskell: Progress Report
ActiveRecord::has_manyのdependentオプション
Argument Dependent Lookup | 闇夜のC++
Certified Programming with Dependent Types
Tic Tac Type: Dependent Types with Idris
Dependent Direct Sales