yoshihiro503

注意: こちらもご参照ください fialyzer環境開発構築2019.md

fialyzer の開発環境を構築する方法 2018

構築する環境

• opam 2.0.0
• ocaml 4.07.1
• dune 1.2.1

gakuzzzz

あなたの sbt update を爆速にする sbt-coursier の紹介

この記事は Scala Advent Calendar 2016(Adventar) 10日目の記事です。

今は 12/10 の 625時です。年明けなんて無かった。いいね？

さてさて、sbt の依存jarのダウンロードが遅い、というのは割とよく言われる事であります。

で、この原因の一旦に、sbtが Apache Ivy を使っている、という点があります。

travisbrown

class TC[A](val x: String)

object TC {
  def getX[A: TC](a: A): String = implicitly[TC[A]].x

  implicit def anyTC[A]: TC[A] = new TC[A]("*")
  implicit val stringTC: TC[String] = new TC[String]("String")
}

object Example {

omochi

class A() {
    init {
        val s: String = getStr()
        println("${s.length}") // java.lang.NullPointerException
    }

    fun getStr(): String {
        return str
    }
    

sile

発表資料メモ: 簡潔データ構造について

1. 主題

---

• 数千万オーダーの文字列集合(およびマップ)を如何にサイズ効率良く表現するか、の話
  • 諸事情で集合をメモリ上に保持したいことがあるが、サイズは節約したい
  • 実際にはサイズのみを追求するのではなく、諸々のトレードオフを加味しつつバランスを取る
• 今回はそれを実現するための方法の一つである 簡潔データ構造 について説明する:

Hamayama

MSYS2/MinGW-w64 (64bit/32bit) インストール手順 メモ

• 自分がインストールしたとき (2022年9月) の参考用のメモです。
  (情報が古くなっている可能性があります)

1. MSYS2 のページ
   https://msys2.github.io/
   から、MSYS2 のインストーラ ( msys2-x86_64-20220904.exe ) を取得して実行します。
   (注意：32bit 版のインストーラは、提供されなくなりました。

paulp

package p

/** Super basic map/flatMap fusion ADT.
 */
sealed trait View[A] {
  def map[B](f: A => B): View[B]           = CView(this, Mapped(f))
  def flatMap[B](f: A => View[B]): View[B] = CView(this, FlatMap(f))

  def foreach(f: A => Unit): Unit = this match {
    case IdView(xs)            => xs foreach f

xuwei-k

package com.example

case class Foo[F[_], A](step: F[Foo.Step[A]])

object Foo {
  class Step[A]
  object Done {
    def unapply[A](a: Step[A]): Boolean = true
  }
}

halcat0x15a

import javafx.application.Application
import javafx.event.EventHandler
import javafx.scene.input.MouseEvent
import javafx.stage.Stage
import javafx.scene.{Scene, Group}
import javafx.scene.control.Button

import scalaz.concurrent.Future

class GUI extends Application {

xuwei-k

package sample

import akka.actor._

object Main{
  def main (args: Array[String]) {
    val system = ActorSystem("aaa")
    system.eventStream.subscribe(system.actorOf(Props[DeadLetterLogger]), classOf[DeadLetter])
    val a = system.actorOf(Props[Parent], "parent")
    Thread.sleep(3000)