【Scala】値制約（Refined依存型）をmatchのcase条件節で使う方法：case classを使え！
以前書いた記事では、ユーザ定義の依存型のクラス名（type別名）を使って、型レベルのパターンマッチを試みに成功しませんでした。 Refinedで定義した値制約に、__typeキーワード__で__...
1
0
Comment0
106 search resultsShowing 1~20 results
Stocked
You need to log-in
Scalaの依存型refinedをList型の変数に適用すると「リテラル値でない」エラーになる => refineVで解決！
直面した問題 リテラル値__List(1,2)を格納（名前束縛）した変数ints__で、値制約を付けたListオブジェクトをval宣言すると、エラーになる。 REPL(Terminal) sca...
1
0
Comment0
Scala：ユーザ定義の依存型のクラス名（type別名）を使って、型レベルのパターンマッチを試みたらすべて失敗した件
（ 後記 ） 以下の記事に、「ユーザ定義の依存型のクラス名（type別名）を使って、型レベルのパターンマッチ」を行う方法を解節しています。 このコードが実行エラーになる。 Refinedで定義し...
0
0
Comment0
Scalaの依存型制約を使って、優良顧客リストをクラスレベルの型安全性を担保して生成するコード
以下の２つのステップで、課金額を格納する数値リスト__に、「10,000〜10,000,000の範囲内の数値しか格納できない」という制約条件__を、データ型制約として付加してみます。 この記事の...
2
0
Comment0
【Scala】関数の引数にRefined値制約を付ける場合、その引数にリテラル値ではない「変数x」が渡された場合も正常に動作させる方法
Refinedで定義された値制約が付いたオブジェクトは、数値リテラル（1, 175など）や文字列リテラル（"abc"など）を与えると、オブジェクトを初期化宣言させることができます。 他方で、すで...
1
0
Comment0
【Scala】依存型の値制約付きのオブジェクトを、別の定義済み変数を代入して初期化宣言するコード〜 変数.RefinedV.right.get
Refinedの値制約付きのオブジェクトは、数値リテラル（1, 175など）や文字列リテラル（"abc"など）を与えると、初期化宣言出来ます。 他方で、すでに定義済みの変数（x, y, cust...
2
1
Comment0
【Scala】型シグネチャにユーザ定義の依存型refinedの値制約を付けると、val初期化宣言時に変数代入（名前束縛）できない
（ 後記 ） 以下のコードで実行できることがわかりました。 【 わかったこと 】 Refinedは、コンパイル時にオブジェクトの値制約が充足されているかどうかをチェックする。 リテラル値（5, ...
0
0
Comment0
【解決済】ScalaのRefinedがnot foundになる ==>> refined "0.9.27"でインストール成功！
（ 後日追記 ） The latest version of the library is 0.9.27, which is available for Scala and Scala.js v...
1
1
Comment0
Scalaの依存型ライブラリrefinedで「W.`数字`.T」・「W.`"文字列".T」とせずに「数字」・「”文字列”」と書いても動いた件
以下の記事では、 W.数字.T W."文字".T でないとコンパイルエラーになると書かれていました。 refined "0.9.27"を動かしたところ、 W.数字.T 数字 W."文字".T "...
1
0
Comment0
Scala：コンストラクタに「上限境界」制約をかけて、条件を充足しないインスタンスの生成を禁じる
次のスクリプトファイルをコンパイルして実行する （ クラス間の継承関係 ） HighLoyalityCustomerクラス --> NormalCustomerクラス --> Cus...
1
1
Comment0
MacBookにScalaを入れて、REPL環境・スクリプト実行・コンパイル実行で動作テスト
MacBookにJava（AdoptOpenJDK）とScalaをインストールする手順です。 参考にさせていただいたウェブページ scalaはまだインストールされていない状態 Terminal ...
1
0
Comment0
MacBookでElixirの２ノード間通信を試してみる
__Dave Thomas（著）&笹田・鳥井（共訳）『プログラミングElixir 第２版』（Ohmsha） pp.226-227__を、MacBookで実行してみました。 Node１ N...
2
1
Comment0
Elixirのobserver.start（ ）で、マシンの論理コア数を確認する
今回は、MacBookの論理コア数を、Ellixirのobserver.start（ ）で確認してみました。 IExの__observer.start( )__関数で調べる IEx electr...
2
0
Comment0
Erlang：プロセス間の並行プラミング入門１
Erlangでプロセス間の並行プログラミングを動かしてみました。 MacBook環境を使いました。 MacBookには、以下の記事でElixirを入れた際に、自動的に入るErlangを使いました...
1
2
Comment0
ElixirをMacbookに入れて、IExを動かした
homebrewを最新化 最初に、homebrewを最新化する。 Terminal electron@diynoMacBook-Pro ~ % brew update electron@diyn...
3
0
Comment0
圏論プログラミング言語 CPLをMacbookで使う
__cabal get CPL__で、Macbookに圏論プログラミング言語 CPL：Categorical Programming Languageをインストールしました。CPL言語については...
1
0
Comment0
MacBookにliquidhaskellをインストール
データ型が持つことが許される値の範囲を定義したり（依存型 dependent type）、型が持つことを許される値を関数で定義（篩型 refinement type）した上で、Haskellで定...
1
0
Comment0
Standard ML（SML）をMacBookに入れる
１. brew installでインストール There is also a Homebrew cask that wraps the 64-bit installation package. ...
1
0
Comment0
Common lisp（clisp）をMacbookに入れる
１. clispを入れる（brew install） Terminal electron@diynoMacBook-Pro ~ % brew install clisp Updating Hom...
1
0
Comment0
Racket言語：Typed Racketをraco pkg installで入れるときは、"typed-racket"と指定する
RacketにTyped Racketを入れるときに、少しハマったので備忘録を残します。 TypedRacketの特徴については、次のサイト他があります。 インストール前 __#lang typ...
1
0
Comment0
106 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