Frege Day

马上开始. 它是免费的哦
注册 使用您的电邮地址
Frege Day 作者: Mind Map: Frege Day

1. Open Questions

1.1. Dierk

1.1.1. Name language "Haskell"?

1.1.2. resolve minor differences

1.1.2.1. true/True

1.1.2.2. --- vs --|

1.1.2.3. (@)

1.1.2.4. instance constraints

1.1.2.5. deriving

1.1.3. Maven or Hackage -friedly

1.1.3.1. TemplateHaskell

1.1.4. greek, fraktur, latin?

1.1.5. Tail call handling

1.1.6. cope with late binding

1.1.7. release pipeline

1.1.7.1. maven/bintray upload

1.1.7.2. release notes

1.1.7.3. roadmap

1.1.7.4. update dependent projects

1.1.7.4.1. Repls

1.1.7.4.2. build system plugins

1.1.7.4.3. eclipse plugin

1.1.7.4.4. fregeFx

1.2. Ingo

1.2.1. Frege-Hoogle

1.2.2. library repository

1.3. Rahel

1.3.1. Mechanics of native declarations

2. Still open areas

2.1. UI

2.1.1. Web

2.1.2. Desktop

2.1.3. Mobile

2.1.4. FRP

2.1.4.1. OpenDolphin

2.2. DB

2.2.1. Haskell

2.2.1.1. HDBC

2.2.1.2. HaskellDB

2.2.1.3. Esqueletto

2.2.1.4. persistent

2.2.2. Java

2.2.2.1. JDBC

2.2.2.2. JPQL, HQL

2.2.2.3. CriteriaQuery

2.3. IDE support

2.4. Debugger

2.5. Profiler

2.6. Build tool integration

2.7. Logging

3. Introduction

3.1. Who is everybody

3.2. Special interest in Frege

3.3. Expectations for the day

4. Presentation

4.1. Ingo

4.2. Dominikus/Volker

4.2.1. Topic: Parallelism - Frege vs. Haskell

4.2.2. ESOP-Paper? http://www.etaps.org/index.php/2016/esop

4.2.3. Way forward: Investigation/research?

4.3. Simon via Video

4.4. Dierk

4.4.1. FregeFX

4.4.2. HowTo

4.4.2.1. use FregeFX REPL

4.4.2.2. use Gradle-Frege-Plugin

5. Purpose & Goals

5.1. Main benefits

5.1.1. Areas of use

5.1.1.1. Current

5.1.1.2. Future

5.1.2. Reason for existence

5.1.2.1. Killer app

5.1.2.2. Structure transformations

5.1.2.3. modularity

5.1.2.4. Incremental development

5.1.2.5. Refactoring

5.1.2.6. Parallelism

5.1.2.7. QuickCheck

5.1.2.8. Parsers/Combinators

5.1.2.9. DSLs

5.1.2.10. Logical puzzles

5.2. Audience

5.2.1. Haskellers

5.2.2. Java/Groovy/Scalaists/Clojurians

5.3. Domain

5.3.1. Industry

5.3.1.1. Finance

5.3.1.2. Logistics

5.3.1.3. Trade

5.3.2. Academia

5.3.2.1. Research

5.3.2.2. Education

5.4. Architecture

5.4.1. Service Impl

5.4.1.1. In-memory

5.4.1.2. Remote