Frege Day

Get Started. It's Free
or sign up with your email address
Frege Day by Mind Map: Frege Day

1. Introduction

1.1. Who is everybody

1.2. Special interest in Frege

1.3. Expectations for the day

2. Presentation

2.1. Ingo

2.2. Dominikus/Volker

2.2.1. Topic: Parallelism - Frege vs. Haskell

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

2.2.3. Way forward: Investigation/research?

2.3. Simon via Video

2.4. Dierk

2.4.1. FregeFX

2.4.2. HowTo

2.4.2.1. use FregeFX REPL

2.4.2.2. use Gradle-Frege-Plugin

3. Open Questions

3.1. Dierk

3.1.1. Name language "Haskell"?

3.1.2. resolve minor differences

3.1.2.1. true/True

3.1.2.2. --- vs --|

3.1.2.3. (@)

3.1.2.4. instance constraints

3.1.2.5. deriving

3.1.3. Maven or Hackage -friedly

3.1.3.1. TemplateHaskell

3.1.4. greek, fraktur, latin?

3.1.5. Tail call handling

3.1.6. cope with late binding

3.1.7. release pipeline

3.1.7.1. maven/bintray upload

3.1.7.2. release notes

3.1.7.3. roadmap

3.1.7.4. update dependent projects

3.1.7.4.1. Repls

3.1.7.4.2. build system plugins

3.1.7.4.3. eclipse plugin

3.1.7.4.4. fregeFx

3.2. Ingo

3.2.1. Frege-Hoogle

3.2.2. library repository

3.3. Rahel

3.3.1. Mechanics of native declarations

4. Purpose & Goals

4.1. Main benefits

4.1.1. Areas of use

4.1.1.1. Current

4.1.1.2. Future

4.1.2. Reason for existence

4.1.2.1. Killer app

4.1.2.2. Structure transformations

4.1.2.3. modularity

4.1.2.4. Incremental development

4.1.2.5. Refactoring

4.1.2.6. Parallelism

4.1.2.7. QuickCheck

4.1.2.8. Parsers/Combinators

4.1.2.9. DSLs

4.1.2.10. Logical puzzles

4.2. Audience

4.2.1. Haskellers

4.2.2. Java/Groovy/Scalaists/Clojurians

4.3. Domain

4.3.1. Industry

4.3.1.1. Finance

4.3.1.2. Logistics

4.3.1.3. Trade

4.3.2. Academia

4.3.2.1. Research

4.3.2.2. Education

4.4. Architecture

4.4.1. Service Impl

4.4.1.1. In-memory

4.4.1.2. Remote

5. Still open areas

5.1. UI

5.1.1. Web

5.1.2. Desktop

5.1.3. Mobile

5.1.4. FRP

5.1.4.1. OpenDolphin

5.2. DB

5.2.1. Haskell

5.2.1.1. HDBC

5.2.1.2. HaskellDB

5.2.1.3. Esqueletto

5.2.1.4. persistent

5.2.2. Java

5.2.2.1. JDBC

5.2.2.2. JPQL, HQL

5.2.2.3. CriteriaQuery

5.3. IDE support

5.4. Debugger

5.5. Profiler

5.6. Build tool integration

5.7. Logging