research-article

Experience report: a pure shirt fits

Author:

Ravi NanavatiAuthors Info & Claims

ACM SIGPLAN Notices, Volume 43, Issue 9

Pages 347 - 352

https://doi.org/10.1145/1411203.1411252

Published: 20 September 2008 Publication History

Get Access

Abstract

Bluespec is a hardware-design tools startup whose core technology is developed using Haskell. Haskell is an unusual choice for a startup because it adds technical risk to the inherent business risk. In the years since Bluespec's founding, we have discovered that Haskell's purity is an unexpected match for the development needs of a startup. Based on Bluespec's experience, we conclude that pure programming languages can be the source of a competitive advantage for startup software companies.

Supplementary Material

JPG File (1411252.jpg)

Download
21.58 KB

index.html (index.html)

Slides from the presentation

Download
.94 KB

ZIP File (p347-slides.zip)

Supplemental material for: Experience report: a pure shirt fits

Download
11.04 MB

Audio only (1411252.mp3)

Download
8.80 MB

Video (1411252.mp4)

Download
121.67 MB

References

[1]

Bluespec, Inc. Bluespec SystemVerilog Reference Guide, 2008. Please consult http://www.bluespec.com.

Google Scholar

[2]

Luís Damas and Robin Milner. Principal type-schemes for functional programs. In Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pages 207--212, 1982.

Digital Library

Google Scholar

[3]

James C. Hoe and Arvind. Operation-Centric Hardware Description and Synthesis. IEEE TRANSACTIONS on Computer-Aided Design of Integrated Circuits and Systems, 23(9), September 2004.

Digital Library

Google Scholar

[4]

Mark P. Jones. Type Classes with Functional Dependencies. In Proceedings of the 9th European Symposium on Programming, ESOP 2000, pages 230--244, 2000.

Digital Library

Google Scholar

[5]

Mark P. Jones. Typing Haskell in Haskell. In Haskell Workshop, September 1999.

Google Scholar

[6]

John Launchbury and Simon Peyton Jones. Lazy functional state threads. In SIGPLAN Conference on Programming Language Design and Implementation, pages 24--35, 1994.

Digital Library

Google Scholar

[7]

Andrew Moran. Functional Programming in the Real World. ACM SIGPLAN Notices, 39(12):17--20, December 2004.

Google Scholar

[8]

Jeff Newbern. All about monads, 2003. URL http://www.haskell. org/all_about_monads/html/index.html.

Google Scholar

[9]

Simon Peyton Jones. Wearing the hair shirt: a retrospective on Haskell. Invited talk at 30th ACM Symposium on Principles of Programming Languages, 2003.

Google Scholar

[10]

Johanna Rothman. Changing Minds about Context Switching. Better Software, 7(9), November 2005

Google Scholar

Cited By

View all

Cuoq PSignoles JBaudin PBonichon RCanet GCorrenson LMonate BPrevosto VPuccetti A(2009)Experience reportACM SIGPLAN Notices10.1145/1631687.159659144:9(281-286)Online publication date: 31-Aug-2009
https://dl.acm.org/doi/10.1145/1631687.1596591
Cuoq PSignoles JBaudin PBonichon RCanet GCorrenson LMonate BPrevosto VPuccetti AHutton GTolmach A(2009)Experience reportProceedings of the 14th ACM SIGPLAN international conference on Functional programming10.1145/1596550.1596591(281-286)Online publication date: 31-Aug-2009
https://dl.acm.org/doi/10.1145/1596550.1596591
Solodkyy YDos Reis GStroustrup B(2013)Open pattern matching for C++ACM SIGPLAN Notices10.1145/2637365.251722249:3(33-42)Online publication date: 27-Oct-2013
https://dl.acm.org/doi/10.1145/2637365.2517222
Show More Cited By

Index Terms

Experience report: a pure shirt fits
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Functional languages

Recommendations

Experience report: a pure shirt fits
ICFP '08: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming

Bluespec is a hardware-design tools startup whose core technology is developed using Haskell. Haskell is an unusual choice for a startup because it adds technical risk to the inherent business risk. In the years since Bluespec's founding, we have ...
Experience report: using hackage to inform language design
HASKELL '10

Hackage, an online repository of Haskell applications and libraries, provides a hub for programmers to both release code to and use code from the larger Haskell community. We suggest that Hackage can also serve as a valuable resource for language ...
Experience report: using hackage to inform language design
Haskell '10: Proceedings of the third ACM Haskell symposium on Haskell

Hackage, an online repository of Haskell applications and libraries, provides a hub for programmers to both release code to and use code from the larger Haskell community. We suggest that Hackage can also serve as a valuable resource for language ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 43, Issue 9

ICFP '08

September 2008

399 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/1411203

Issue’s Table of Contents

ICFP '08: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
September 2008
422 pages
ISBN:9781595939197
DOI:10.1145/1411204
General Chair:
James Hook
Portland State University, USA
,
Program Chair:
Peter Thiemann
Universität Freiburg, Germany

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 ACM 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: 20 September 2008

Published in SIGPLAN Volume 43, Issue 9

Check for updates

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
280
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Cuoq PSignoles JBaudin PBonichon RCanet GCorrenson LMonate BPrevosto VPuccetti A(2009)Experience reportACM SIGPLAN Notices10.1145/1631687.159659144:9(281-286)Online publication date: 31-Aug-2009
https://dl.acm.org/doi/10.1145/1631687.1596591
Cuoq PSignoles JBaudin PBonichon RCanet GCorrenson LMonate BPrevosto VPuccetti AHutton GTolmach A(2009)Experience reportProceedings of the 14th ACM SIGPLAN international conference on Functional programming10.1145/1596550.1596591(281-286)Online publication date: 31-Aug-2009
https://dl.acm.org/doi/10.1145/1596550.1596591
Solodkyy YDos Reis GStroustrup B(2013)Open pattern matching for C++ACM SIGPLAN Notices10.1145/2637365.251722249:3(33-42)Online publication date: 27-Oct-2013
https://dl.acm.org/doi/10.1145/2637365.2517222
Solodkyy YDos Reis GStroustrup BJärvi JKästner C(2013)Open pattern matching for C++Proceedings of the 12th international conference on Generative programming: concepts & experiences10.1145/2517208.2517222(33-42)Online publication date: 27-Oct-2013
https://dl.acm.org/doi/10.1145/2517208.2517222

View Options

Login options

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

Cited By

Index Terms

Recommendations

Experience report: a pure shirt fits

Experience report: using hackage to inform language design

Experience report: using hackage to inform language design