Concept

Nemerle

Nemerle is a general-purpose, high-level, statically typed programming language designed for platforms using the Common Language Infrastructure (.NET/Mono). It offers functional, object-oriented, aspect-oriented, reflective and imperative features. It has a simple C#-like syntax and a powerful metaprogramming system. In June 2012, the core developers of Nemerle were hired by the Czech software development company JetBrains. The team was focusing on developing Nitra, a framework to implement extant and new programming languages. Both the Nemerle language and Nitra have seemingly been abandoned or discontinued by JetBrains; Nitra has not been updated by its original creators since 2017 and Nemerle is now maintained entirely by the Russian Software Development Network, independently from JetBrains, although no major updates have been released yet and development is progressing very slowly. Neither Nemerle, nor Nitra have been mentioned or referenced by JetBrains for years. Nemerle is named after the Archmage Nemmerle, a character in the fantasy novel A Wizard of Earthsea by Ursula K. Le Guin. Nemerle's most notable feature is the ability to mix styles of programming that are object-oriented and functional. Programs may be structured using object-oriented concepts such as classes and namespaces, while methods can (optionally) be written in a functional style. Other notable features include: strong type inference a flexible metaprogramming subsystem (using macros) full support for object-oriented programming (OOP), in the style of C#, Java, and C++ full support for functional programming, in the style of ML, OCaml, and Haskell, with these features: higher-order functions pattern matching algebraic types local functions tuples and anonymous types partial application of functions The metaprogramming system allows for great compiler extensibility, embedding domain-specific languages, partial evaluation, and aspect-oriented programming, taking a high-level approach to lift as much of the burden as possible from programmers.

Official source

https://en.wikipedia.org/wiki/Nemerle

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related courses (2)

CS-214: Software construction

Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and fundamental software construction concepts (reusability, abstr ...

MATH-611: Scientific programming for Engineers

The students will acquire a solid knowledge on the processes necessary to design, write and use scientific software. Software design techniques will be used to program a multi-usage particles code, aiming at providing the link between algorithmic/complexit ...

Related lectures (10)

Property-Based Testing: Advanced Techniques

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.

Precompiler: Pass Arguments to Your Program

Explores precompilation directives in C language, handling main() arguments, and passing arguments to a program.

Python Complement: Numpy, Scipy, Matplotlib

Covers advanced Python topics like numpy operations, scipy linear algebra, and matplotlib for creating figures.

Related publications (8)

A Practical Unification of Multi-stage Programming and Macros

Martin Odersky, Nicolas Alexander Stucki

Program generation is indispensable. We propose a novel unification of two existing metaprogramming techniques: multi-stage programming and hygienic generative macros. The former supports runtime code generation and execution in a type-safe manner while th ...

2018

Two approaches to portable macros

For any programming language that supports macros and has multiple implementations (each with different AST definitions), there is a common problem: how to make macros that operate on ASTs portable among different compiler implementations? Implementing portable macros is especially important for statically typed languages like Scala, as IDE vendors usually have different implementations of the language in order to support rich IDE features. Unportable macros compromise IDE features and degrade programming e

2017

Yin-Yang: Concealing the Deep Embedding of DSLs

Martin Odersky

Deeply embedded domain-specific languages (EDSLs) intrinsically compromise programmer experience for improved program performance. Shallow EDSLs complement them by trading program performance for good programmer experience. We present Yin-Yang, a framework for DSL embedding that uses Scala macros to reliably translate shallow EDSL programs to the corresponding deep EDSL programs. The translation allows program prototyping and development in the user friendly shallow embedding, while the corresponding deep e

2014

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Official source

https://en.wikipedia.org/wiki/Nemerle

About this result

Related courses (2)

CS-214: Software construction

MATH-611: Scientific programming for Engineers

Related lectures (10)

Property-Based Testing: Advanced Techniques

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.

Precompiler: Pass Arguments to Your Program

Explores precompilation directives in C language, handling main() arguments, and passing arguments to a program.

Python Complement: Numpy, Scipy, Matplotlib

Covers advanced Python topics like numpy operations, scipy linear algebra, and matplotlib for creating figures.

Related publications (8)

A Practical Unification of Multi-stage Programming and Macros

Martin Odersky, Nicolas Alexander Stucki

2018

Two approaches to portable macros

2017

Yin-Yang: Concealing the Deep Embedding of DSLs

Martin Odersky

2014

Related notebooks (4)

Implementing a Fractional Resampler using Local Lagrange Interpolation

FIR Resampling[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

In this notebook we will implement a simple fractional resampler that uses local Lagrange interpolation. The resampler can be used to perform any rational sampling rate change (but beware of aliasing when downsampling!) In [1]: import numpy as np import IPython from scipy.io import wavfile Local Lagrange interpolation[4]¶ To perform resampling we will need to compute subsample values and, in

Modeling and Analysis of a PN-Junction in Inhomogeneous Semiconductors.

In [1]: import matplotlib.pyplot as plt import matplotlib.ticker as mtick import numpy as np import ipywidgets as widgets import scipy.integrate as integrate from ipywidgets import interact, fixed from scipy.interpolate import interp1d from textwrap import dedent from bokeh.io import push_notebook, show, output_notebook, output_file, curdoc from bokeh.plotting import figure from bokeh.layouts import column, row from bokeh.themes import built_in_themes from bokeh.models import Range1d, BasicTickFormatter, L

Block Processing of Audio Files Using Stateful FIR Filters

Block-processing of audio files[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

This notebook shows a simple way to process audio files (in WAV format) in a block-by-block fashion; this is useful in two cases 1. when you want to process a data stream in real time but you can accept a small processing delay; in this case a buffered approach can yield computational gains 2. when you need to process a large file that does not fit entirely into

Interactive Phonon Band Structure Visualization

In [1]: import numpy as np import matplotlib.pyplot as plt from matplotlib import animation from matplotlib import rc import ipywidgets as ipw from ipywidgets import interact,interactive import ipywidgets as widgets from IPython.display import HTML %matplotlib widget global global_K1 global global_K2 global global_branche global global_selected_k In [2]: def get_closest_point(clic_x,clic_y): # Get the data from the figure ax= plt.gca() # get axis handle acoustic_data = ax.lines[1] op

Related notebooks (4)

Implementing a Fractional Resampler using Local Lagrange Interpolation

FIR Resampling[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

Modeling and Analysis of a PN-Junction in Inhomogeneous Semiconductors.

Block Processing of Audio Files Using Stateful FIR Filters

Block-processing of audio files[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

Interactive Phonon Band Structure Visualization