short-paper

Public Access

choose your own derivative (extended abstract)

Authors:

Jennifer Paykin,

Antal Spector-Zabusky,

Kenneth FonerAuthors Info & Claims

TyDe 2016: Proceedings of the 1st International Workshop on Type-Driven Development

Pages 58 - 59

https://doi.org/10.1145/2976022.2976024

Published: 18 September 2016 Publication History

PDF eReader

Abstract

We discuss a generalization of the synchronization mechanism selective choice. We argue that selective choice can be extended to synchronize arbitrary data structures of events, based on a typing paradigm introduced by McBride: the derivatives of recursive data types. We discuss our work in progress implementing generalized selective choice as a Haskell library based on generic programming.

References

[1]

K. Claessen and J. Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. In 5th ACM SIGPLAN ICFP, pages 268– 279. ACM, 2000.

Digital Library

Google Scholar

[2]

S. Marlow. async Hackage package. http://hackage.haskell. org/package/async-2.1.0, January 2016.

Google Scholar

[3]

C. McBride. The derivative of a regular type is its type of one-hole contexts. Extended abstract. http://strictlypositive.org/diff. pdf, 2001.

Google Scholar

[4]

J. H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.

Digital Library

Google Scholar

[5]

A. Simon, D. Coutts, et al. gtk Hackage package. http://hackage. haskell.org/package/gtk-0.14.5, June 2016.

Google Scholar

Index Terms

choose your own derivative (extended abstract)
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features

Recommendations

A Transactional Correctness Tool for Abstract Data Types

Transactional memory simplifies multiprocessor programming by providing the guarantee that a sequential block of code in the form of a transaction will exhibit atomicity and isolation. Transactional data structures offer the same guarantee to concurrent ...
Haskell session types with (almost) no class
HASKELL '08

We describe an implementation of session types in Haskell. Session types statically enforce that client-server communication proceeds according to protocols. They have been added to several concurrent calculi, but few implementations of session types ...
Checking Linearizability of Encapsulated Extended Operations
Proceedings of the 23rd European Symposium on Programming Languages and Systems - Volume 8410

Linearizable objects data-structures provide operations that appear to execute atomically. Modern mainstream languages provide many linearizable data-structures, simplifying concurrent programming. In practice, however, programmers often find a need to ...

Comments

Information & Contributors

Information

Published In

TyDe 2016: Proceedings of the 1st International Workshop on Type-Driven Development

September 2016

71 pages

ISBN:9781450344357

DOI:10.1145/2976022

General Chairs:
James Chapman,
Wouter Swierstra

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 September 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Funding Sources

National Science Foundation

Conference

ICFP'16

Sponsor:

SIGPLAN

ICFP'16: ACM SIGPLAN International Conference on Functional Programming

September 18, 2016

Nara, Japan

Upcoming Conference

ICFP '25

Sponsor:
sigplan

ACM SIGPLAN International Conference on Functional Programming

October 12 - 18, 2025

Singapore , Singapore

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
222
Total Downloads

Downloads (Last 12 months)24
Downloads (Last 6 weeks)5

Reflects downloads up to 26 Dec 2024

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

A Transactional Correctness Tool for Abstract Data Types

Haskell session types with (almost) no class

Checking Linearizability of Encapsulated Extended Operations

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Funding Sources

Conference

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

PDF

eReader

Login options

Full Access

Abstract

References

Index Terms

Recommendations

A Transactional Correctness Tool for Abstract Data Types

Haskell session types with (almost) no class

Checking Linearizability of Encapsulated Extended Operations

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Funding Sources

Conference

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations